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.
620 Publications
2021 | Book Chapter | LibreCat-ID: 54307
Janus R. Jubilate (08.05.2022): 1. Mose 1,1-4a.26-28.31a; 2, 1-4a. In: Schult M, ed. Er ist unser Friede. Lesepredigten 1. Advent 2021 bis Pfingstmontag 2022. Textreihe IV/1. Evangelischer Verlagsanstalt; 2021:234-239.
LibreCat
2021 | Conference Paper | LibreCat-ID: 54539
Bauer M. Diaspora-Literatures in the EFL Classroom – A new Didactic Impulse? In: ; 2021.
LibreCat
2021 | Book Review | LibreCat-ID: 29144
Peckhaus V. Vlasáková, Marta, “Logic and Sets”, In: Logic and Logical Philosophy 29 (2020), 71-95. Mathematical Reviews, MR4086076. Published online 2021.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 25334
Fiterau-Brostean P, Jonsson B, Merget R, de Ruiter J, Sagonas K, Somorovsky J. Analysis of DTLS Implementations Using Protocol State Fuzzing. In: 29th {USENIX} Security Symposium ({USENIX} Security 20). {USENIX} Association; 2020:2523-2540.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19606 | 
Gottschalk S, Yigitbas E, Schmidt E, Engels G. ProConAR: A Tool Support for Model-based AR Product Configuration. In: Bernhaupt R, Ardito C, Sauer S, eds. Human-Centered Software Engineering. HCSE 2020. Vol 12481. Lecture Notes in Computer Science. Cham: Springer; 2020. doi:10.1007/978-3-030-64266-2_14
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19632
Jovanovikj I, Yigitbas E, Sauer S, Engels G. Augmented and Virtual Reality Object Repository for Rapid Prototyping . In: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20). Springer; 2020:216-224.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20276
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, 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}. Vol 12476. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 24029
Haddadian S, Scheytt C. Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers. IEEE Journal of Radio Frequency Identification. Published online 2020:1-1. doi:10.1109/JRFID.2020.3009741
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 27130
Poddubnyi VI, Trächtler A, Warkentin A, Henke C. Mechanical and mathematical model of a caterpillar drive with a triangular contour for solving problems of vertical dynamics of a tracked vehicle. Vestnik Mashinostroeniya. Published online 2020:26-29. doi:10.36652/0042-4633-2020-12-26-29
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27797
Della Corte K, Fife J, Gardner A, et al. World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review. Nutrition Reviews. Published online 2020:274-288. doi:10.1093/nutrit/nuaa070
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky D, Volkmar G, Spliethöver M, et al. Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy. In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. CHI PLAY’20. New York, NY, USA: Association for Computing Machinery; 2020:32–45. doi:10.1145/3410404.3414222
LibreCat
| DOI
| Download (ext.)
2020 | Bachelorsthesis | LibreCat-ID: 21432
Henke L-S. Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application.; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21440
Wiecher C, Japs S, Kaiser L, Greenyer J, Wolff C, Dumitrescu R. Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation. In: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion). ; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 17436
Javaid Iqbal M, Reuter D, Wieck AD, van der Wal C. Characterization of low-resistance ohmic contacts to a two-dimensional electron gas in a GaAs/AlGaAs heterostructure. The European Physical Journal Applied Physics. 2020. doi:10.1051/epjap/2020190202
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 17836
Werneck Richa A, Scheideler C, eds. Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings. Vol 12156. Springer; 2020. doi:10.1007/978-3-030-54921-3
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 17839
Scheideler C, Spear M, eds. SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020. ACM; 2020. doi:10.1145/3350755
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 18779
Seng E-M, Silvestri M. Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert. In: Chave I, ed. LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours. Paris: (im Druck); 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19178
Kowatz J, Teutenberg D, Meschut G. Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts. 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
Gräßler I, Scholle P, Thiele H. Scenario Technique. In: Sandor V, ed. Integrated Design Engineering. Interdisciplinary and Holistic Product Development. Kapitel 20. Springer International Publishing Switzerland; 2020:507-529. doi:10.1007/978-3-030-19357-7
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20321
Göddecke J, Meschut G, Teutenberg D, et al. Experimentelle und numerische Untersuchung der Dämpfungseigenschaften geklebter Strukturen unter dynamischer Beanspruchung. In: DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. , ed. 20. Kolloquium Gemeinsame Forschung in Der Klebtechnik. 20. Kolloquium Gemeinsame Forschung in der Klebtechnik. ; 2020.
LibreCat