Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

605 Publications


2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 24029 LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 27130
Mechanical and mathematical model of a caterpillar drive with a triangular contour for solving problems of vertical dynamics of a tracked vehicle
V.I. Poddubnyi, A. Trächtler, A. Warkentin, C. Henke, Vestnik Mashinostroeniya (2020) 26–29.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 27797
World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review
K. Della Corte, J. Fife, A. Gardner, B.L. Murphy, L. Kleis, D. Della Corte, L. Schwingshackl, J.D. LeCheminant, A. Buyken, Nutrition Reviews (2020) 274–288.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21174
Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy
D. Alexandrovsky, G. Volkmar, M. Spliethöver, S. Finke, M. Herrlich, T. Döring, J.D. Smeddinck, R. Malaka, in: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, Association for Computing Machinery, New York, NY, USA, 2020, pp. 32–45.
LibreCat | DOI | Download (ext.)
 

2020 | Bachelorsthesis | LibreCat-ID: 21432
Evaluation of a ReconOS-ROS Combination based on a Video Processing Application
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21440
Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd  International Conference on Model Driven Engineering Languages and Systems  (MODELS ’20 Companion), 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 17436
Characterization of low-resistance ohmic contacts to a two-dimensional electron gas in a GaAs/AlGaAs heterostructure
M. Javaid Iqbal, D. Reuter, A.D. Wieck, C. van der Wal, The European Physical Journal Applied Physics (2020).
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 17836
Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings
A. Werneck Richa, C. Scheideler, eds., Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings, Springer, 2020.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 17839
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020
C. Scheideler, M. Spear, eds., SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020, ACM, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 18779
Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert
E.-M. Seng, M. Silvestri, in: I. Chave (Ed.), LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours, (im Druck), Paris, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19178
Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts
J. Kowatz, D. Teutenberg, G. Meschut, in: DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 23522
Scenario Technique
I. Gräßler, P. Scholle, H. Thiele, in: V. Sandor (Ed.), Integrated Design Engineering. Interdisciplinary and Holistic Product Development, Springer International Publishing Switzerland, 2020, pp. 507–529.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20321
Experimentelle und numerische Untersuchung der Dämpfungseigenschaften geklebter Strukturen unter dynamischer Beanspruchung
J. Göddecke, G. Meschut, D. Teutenberg, T. Ummenhofer, M. Albiez, J. Damm, A. Matzenmiller, F. Kötz, in: DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in Der Klebtechnik, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20331 LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20378
Lebensdauerberechnung hybrider Verbindungen
S. Çavdar, D. Teutenberg, G. Meschut, A. Wulf, O. Hesebeck, M. Brede, B. Mayer, K. Tittmann, I. Koch, H. Jäger, J.-D. Wacker, G. Rybar, T. Melz, in: 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20647
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, A. Stalling, J. Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 97–98.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20650
Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 99–101.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20652
Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl)
V. Aßmuth, D. Teutenberg, G. Meschut, J. Philipp, E. Stammen, K. Dilger, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020, pp. 85–87.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20755
Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs
M. Feldmann, K. Hinnenthal, C. Scheideler, in: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat | Files available | DOI | arXiv
 

2020 | Journal Article | LibreCat-ID: 20893
Characterisation of the PS-PMMA Interfaces in Microphase Separated Block Copolymer Thin Films by Analytical (S)TEM
J. Bürger, V.S. Kunnathully, D. Kool, J.K.N. Lindner, K. Brassat, Nanomaterials (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18021
Experiencing and Programming the ENIAC in VR
E. Yigitbas, C.B. Tejedor, G. Engels, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18022
UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence
M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18249 | OA
Model-based Product Configuration in Augmented Reality Applications
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 16487 | OA
Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 17063
An Adaption Mechanism for the Error Threshold of XCSF
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 1756–1764.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 15604
Concept-based Co-Migration of Test Cases
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 15605
Test Case Co-Migration Method Patterns
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Software Engineering 2020 Workshopband (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16363
Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 125–126.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19422
Variation-Aware Test for Logic Interconnects using Neural Networks - A Case Study
A. Sprenger, S. Sadeghi-Kohan, J.D. Reimer, S. Hellebrand, in: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT’20), October 2020, Virtual Conference - Originally Frascati (Rome), Italy, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 29939
Evaluation of MMCs for High-Power Low-Voltage DC-Applications in Combination with the Module LLC-Design
R. Unruh, F. Schafmeister, J. Böcker, in: 2020 22nd European Conference on Power Electronics and Applications (EPE’20 ECCE Europe), IEEE, 2020.
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 29894
Dual Interleaved 3.6 kW LLC Converter Operating in Half-Bridge, Full-Bridge and Phase-Shift Mode as a Single-Stage Architecture of an Automotive On-Board DC-DC Converter
P. Rehlaender, S. Tikhonov, F. Schafmeister, J. Böcker, in: 2020 22nd European Conference on Power Electronics and Applications (EPE’20 ECCE Europe), IEEE, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 30339
Practical Implementation and Verification of Simple-to-Implement Digital Current Observer for Half-Bridge Topologies
M.E. Ahmmad, F. Schafmeister, J. Böcker, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM Digital Days), IEEE, Nuremberg, Germany, 2020.
LibreCat
 

2020 | Misc | LibreCat-ID: 15419
Dynamic Multi-Frequency Test Method for Hidden Interconnect Defects
S. Sadeghi-Kohan, S. Hellebrand, Dynamic Multi-Frequency Test Method for Hidden Interconnect Defects, 32. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’20), 16. - 18. Februar 2020, Ludwigsburg, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 25336
Mitigation of Attacks on Email End-to-End Encryption
J. Schwenk, M. Brinkmann, D. Poddebniak, J. Müller, J. Somorovsky, S. Schinzel, in: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, New York, NY, USA, 2020, pp. 1647–1664.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 29298 | OA
Data Science und Big Data in der beruflichen Bildung – Konzeption und Erprobung eines Projektkurses für die Sekundarstufe II
S.A. Opel, M. Schlichtig, in: T. Vollmer, T. Karges, T. Richter, B. Schlömer, S. Schütt-Sayed (Eds.), Sammelband der 27. Fachtagung der BAG Berufliche Bildung, wbv Media GmbH & Co. KG, Bielefeld, 2020, pp. 176–194.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 29105
Schulstationen in der Pflegeausbildung: Zur Lernförderlichkeit eines komplexen Lehr-Lernarrangements
M. Goller, B. Steffen, D. Lau, Zeitschrift für Berufs- und Wirtschaftspädagogik 116 (2020) 364–390.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19421
Logic Fault Diagnosis of Hidden Delay Defects
S. Holst, M. Kampmann, A. Sprenger, J.D. Reimer, S. Hellebrand, H.-J. Wunderlich, X. Weng, in: IEEE International Test Conference (ITC’20), November 2020, Virtual Conference - Originally Washington, DC, USA, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 31356
Typen der deutschsprachigen Versepik 1745/1848
S. Elit, in: K. Bremer, S. Elit (Eds.), Forcierte Form. Deutschsprachige Versepik des 20. und 21. Jahrhunderts im europäischen Kontext (Abhandlungen zur Literaturwissenschaft), Stuttgart, 2020, pp. 39–55.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 31562
„Zeit, Raum und Subjektivität bei Hartmann von Aue und Burkhard von Hohenfels“
M. Egidi, in: A. Gerok-Reiter, A.-S. Lahr, S. Leidinger (Eds.), Raum und Zeit im Minnesang. Ansätze – Spielarten – Funktionen (Studien zur historischen Poetik 29) , Heidelberg, 2020, pp. 377–393.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 33389
Effects of 21 days of bed rest and whey protein supplementation on plantar flexor muscle fatigue resistance during repeated shortening contractions
A. Bosutti, E. Mulder, J. Zange, J. Bühlmeier, B. Ganse, H. Degens, European Journal of Applied Physiology 120 (2020) 969–983.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 32679
Montaignes Launen und Fantasien oder : Vom Erschreiben des Essays ("Essais" I.20; III.5)
Steigerwald J., in: Mahler A. (Ed.), Der Essay als “neue Form” , Harrassowitz, Wiesbaden, 2020, pp. 65–82.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 34092
Characterisation of the PS-PMMA Interfaces in Microphase Separated Block Copolymer Thin Films by Analytical (S)TEM
J. Bürger, V. Kunnathully, D. Kool, J. Lindner, K. Brassat, Nanomaterials 10 (2020).
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 36956
Dialektische Theologie
J. Schmidt, in: C. Dockter, M. Dürnberger, A. Langefeld (Eds.), Theologische Grundbegriffe. Ein Handbuch, Schöningh, Paderborn, 2020.
LibreCat
 

2020 | Special Issue | LibreCat-ID: 37536 | OA
Technosecurity Cultures. Special Issue of ‚Science as Culture‘. Vol. 29(1), März 2020
J. Weber, K. Kämpf, eds., Technosecurity Cultures. Special Issue of ‚Science as Culture‘. Vol. 29(1), März 2020, 2020.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 37610
Technisches Lernen inklusiv gestalten – Zur Beschaffenheit von Lernbedürfnissen im Kontext technikbezogenen Sachunterrichts
F. Schröer, in: M. Binder, C. Wiesmüller, T. Finkbeiner (Eds.), Technikunterricht: handfest und geistreich - Der Beitrag technischer Bildung zur kulturellen Bildung - Tagungsband zur 21. Tagung der Deutschen Gesellschaft für Technische Bildung in Flensburg vom 20.-21. September 2019. Offenbach am Main, BE.ER Konzept, Karlsruhe, 2020, pp. 119–141.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 37828
Physical activity and health promotion for nursing staff in elderly care: a study protocol for a randomised controlled trial
A.-K. Otto, J. Pietschmann, L.-M. Appelles, M. Bebenek, L.L. Bischoff, C. Hildebrand, B. Johnen, T. Jöllenbeck, W. Kemmler, T. Klotzbier, H. Korbus, J. Rudisch, N. Schott, D. Schoene, C. Voelcker-Rehage, O. Vogel, L. Vogt, M. Weigelt, J. Wilke, K. Zwingmann, B. Wollesen, BMJ Open 10 (2020).
LibreCat | DOI
 
 

2020 | Conference Paper | LibreCat-ID: 38213
PMD-Tolerant 20 krad/s Endless Polarization and Phase Control for BB84-Based QKD with TDM Pilot Signals
B. Koch, R. Noé, in: Photonic Networks; 21th ITG-Symposium, 2020, pp. 1–3.
LibreCat
 

Filters and Search Terms

%28project%3D24%29%20%20AND%20%28department%3D75%29

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year

Export / Embed