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.

617 Publications


2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” In 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}, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\_8.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 24029
Haddadian, Sanaz, and Christoph Scheytt. “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, 2020, 1–1. https://doi.org/10.1109/JRFID.2020.3009741.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 27130
Poddubnyi, Vladimir I., Ansgar Trächtler, Andreas Warkentin, and Christian Henke. “Mechanical and Mathematical Model of a Caterpillar Drive with a Triangular Contour for Solving Problems of Vertical Dynamics of a Tracked Vehicle.” Vestnik Mashinostroeniya, 2020, 26–29. https://doi.org/10.36652/0042-4633-2020-12-26-29.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 27797
Della Corte, Karen, Jessica Fife, Alexis Gardner, Britta L Murphy, Linda Kleis, Dennis Della Corte, Lukas Schwingshackl, James D LeCheminant, and Anette Buyken. “World Trends in Sugar-Sweetened Beverage and Dietary Sugar Intakes in Children and Adolescents: A Systematic Review.” Nutrition Reviews, 2020, 274–88. https://doi.org/10.1093/nutrit/nuaa070.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky, Dmitry, Georg Volkmar, Maximilian Spliethöver, Stefan Finke, Marc Herrlich, Tanja Döring, Jan David Smeddinck, and Rainer Malaka. “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, 32–45. CHI PLAY’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3410404.3414222.
LibreCat | DOI | Download (ext.)
 

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

2020 | Conference Paper | LibreCat-ID: 21440
Wiecher, Carsten, Sergej Japs, Lydia Kaiser, Joel Greenyer, Carsten Wolff, and Roman Dumitrescu. “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, Muhammad, Dirk Reuter, Andreas Dirk Wieck, and Caspar van der Wal. “Characterization of Low-Resistance Ohmic Contacts to a Two-Dimensional Electron Gas in a GaAs/AlGaAs Heterostructure.” The European Physical Journal Applied Physics, 2020. https://doi.org/10.1051/epjap/2020190202.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 17836
Werneck Richa, Andrea, and Christian Scheideler, eds. Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings. Vol. 12156. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-54921-3.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 17839
Scheideler, Christian, and Michael Spear, eds. SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020. ACM, 2020. https://doi.org/10.1145/3350755.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 18779
Seng, Eva- Maria, and Marco Silvestri. “Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert.” In LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours, edited by Isabelle Chave. Paris: (im Druck), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19178
Kowatz, Jannik, Dominik Teutenberg, and Gerson Meschut. “Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts.” In 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, edited by DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V., 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 23522
Gräßler, Iris, Philipp Scholle, and Henrik Thiele. “Scenario Technique.” In Integrated Design Engineering. Interdisciplinary and Holistic Product Development, edited by Vajna Sandor, 507–29. Kapitel 20. Springer International Publishing Switzerland, 2020. https://doi.org/10.1007/978-3-030-19357-7.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20321
Göddecke, Johannes, Gerson Meschut, Dominik Teutenberg, Thomas Ummenhofer, Matthias Albiez, Jannis Damm, Anton Matzenmiller, and Fabian Kötz. “Experimentelle Und Numerische Untersuchung Der Dämpfungseigenschaften Geklebter Strukturen Unter Dynamischer Beanspruchung.” In 20. Kolloquium Gemeinsame Forschung in Der Klebtechnik, edited by DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. . 20. Kolloquium Gemeinsame Forschung in Der Klebtechnik, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20331
Ditz, Michael, Gerson Meschut, Thomas Schwarze, and Dominic Smart. “Entwicklung Und Qualifizierung Einer Rechnergestützten Auswertemethode Zur Differenzierung Der Versagensanteile Klebtechnisch Gefügter Proben,” 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20378
Çavdar, Serkan, Dominik Teutenberg, Gerson Meschut, A. Wulf, O. Hesebeck, M. Brede, B. Mayer, et al. “Lebensdauerberechnung hybrider Verbindungen.” In 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM, 2020. https://doi.org/10.1145/3365438.3410946.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20647
Aßmuth, Verena, Dominik Teutenberg, Gerson Meschut, Sergey Stepanov, Annika Stalling, Jörg Ihde, and Bernd Mayer. “Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas.” In 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, edited by DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., 97–98, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20650
Aßmuth, Verena, Dominik Teutenberg, and Gerson Meschut. “Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile.” In 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, edited by DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., 99–101, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20652
Aßmuth, Verena, Dominik Teutenberg, Gerson Meschut, Jens Philipp, Elisabeth Stammen, and Klaus Dilger. “Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl).” In 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, edited by DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., 85–87, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20755
Feldmann, Michael, Kristian Hinnenthal, and Christian Scheideler. “Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs.” In Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.OPODIS.2020.31.
LibreCat | Files available | DOI | arXiv
 

2020 | Journal Article | LibreCat-ID: 20893
Bürger, Julius, Vinay S. Kunnathully, Daniel Kool, Jörg K. N. Lindner, and Katharina Brassat. “Characterisation of the PS-PMMA Interfaces in Microphase Separated Block Copolymer Thin Films by Analytical (S)TEM.” Nanomaterials, 2020. https://doi.org/10.3390/nano10010141.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18021
Yigitbas, Enes, Christopher Bernal Tejedor, and Gregor Engels. “Experiencing and Programming the ENIAC in VR.” In Proceedings of the Mensch Und Computer 2020 (MuC ’20), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18022
Augstein, Mirjam, Daniel Buschek, Eelco Herder, Benedikt Loepp, Enes Yigitbas, and Jürgen Ziegler. “UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence.” In Proceedings of the Mensch Und Computer 2020 (MuC ’20). ACM, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18249 | OA
Gottschalk, Sebastian, Enes Yigitbas, Eugen Schmidt, and Gregor Engels. “Model-Based Product Configuration in Augmented Reality Applications.” In Human-Centered Software Engineering. HCSE 2020, edited by Regina Bernhaupt, Carmelo Ardito, and Stefan Sauer, Vol. 12481. Lecture Notes in Computer Science. Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-64266-2_5.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 16487 | OA
Bobolz, Jan, Fabian Eidens, Stephan Krenn, Daniel Slamanig, and Christoph Striecks. “Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection.” In Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20),. New York, NY, USA: ACM, 2020. https://doi.org/10.1145/3320269.3384769.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 17063
Hansmeier, Tim, Paul Kaufmann, and Marco Platzner. “An Adaption Mechanism for the Error Threshold of XCSF.” In GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 1756–64. New York, NY, United States: Association for Computing Machinery (ACM), 2020. https://doi.org/10.1145/3377929.3398106.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 15604
Jovanovikj, Ivan, Enes Yigitbas, Stefan Sauer, and Gregor Engels. “Concept-Based Co-Migration of Test Cases.” In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 2020. https://doi.org/10.5220/0009171404490456.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 15605
Jovanovikj, Ivan, Enes Yigitbas, Stefan Sauer, and Gregor Engels. “Test Case Co-Migration Method Patterns.” Software Engineering 2020 Workshopband, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16363
Hansmeier, Tim, Paul Kaufmann, and Marco Platzner. “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold.” In GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 125–26. New York, NY, United States: Association for Computing Machinery (ACM), 2020. https://doi.org/10.1145/3377929.3389968.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19422
Sprenger, Alexander, Somayeh Sadeghi-Kohan, Jan Dennis Reimer, and Sybille Hellebrand. “Variation-Aware Test for Logic Interconnects Using Neural Networks - A Case Study.” 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
Unruh, Roland, Frank Schafmeister, and Joachim Böcker. “Evaluation of MMCs for High-Power Low-Voltage DC-Applications in Combination with the Module LLC-Design.” In 2020 22nd European Conference on Power Electronics and Applications (EPE’20 ECCE Europe). IEEE, 2020. https://doi.org/10.23919/epe20ecceeurope43536.2020.9215687.
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 29894
Rehlaender, Philipp, Sergey Tikhonov, Frank Schafmeister, and Joachim Böcker. “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.” In 2020 22nd European Conference on Power Electronics and Applications (EPE’20 ECCE Europe). IEEE, 2020. https://doi.org/10.23919/epe20ecceeurope43536.2020.9215736.
LibreCat | DOI
 

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

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

2020 | Conference Paper | LibreCat-ID: 25336
Schwenk, Jörg, Marcus Brinkmann, Damian Poddebniak, Jens Müller, Juraj Somorovsky, and Sebastian Schinzel. “Mitigation of Attacks on Email End-to-End Encryption.” In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 1647–1664. CCS ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3372297.3417878.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 29298 | OA
Opel, Simone Anna, and Michael Schlichtig. “Data Science und Big Data in der beruflichen Bildung – Konzeption und Erprobung eines Projektkurses für die Sekundarstufe II.” In Sammelband der 27. Fachtagung der BAG Berufliche Bildung, edited by Thomas Vollmer, Torben Karges, Tim Richter, Britta Schlömer, and Sören Schütt-Sayed, 55:176–94. Berufsbildung, Arbeit und Innovation. Bielefeld: wbv Media GmbH & Co. KG, 2020. https://doi.org/10.3278/6004722w.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 29105
Goller, Michael, Bianca Steffen, and Dirk Lau. “Schulstationen in der Pflegeausbildung: Zur Lernförderlichkeit eines komplexen Lehr-Lernarrangements.” Zeitschrift für Berufs- und Wirtschaftspädagogik 116, no. 3 (2020): 364–90. https://doi.org/10.25162/zbw-2020-0016.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 19421
Holst, Stefan, Matthias Kampmann, Alexander Sprenger, Jan Dennis Reimer, Sybille Hellebrand, Hans-Joachim Wunderlich, and Xiaoqing Weng. “Logic Fault Diagnosis of Hidden Delay Defects.” In IEEE International Test Conference (ITC’20), November 2020. Virtual Conference - Originally Washington, DC, USA, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 31356
Elit, Stefan. “Typen der deutschsprachigen Versepik 1745/1848.” In Forcierte Form. Deutschsprachige Versepik des 20. und 21. Jahrhunderts im europäischen Kontext (Abhandlungen zur Literaturwissenschaft), edited by Kai Bremer and Stefan Elit, 39–55. (Abhandlungen zur Literaturwissenschaft). Stuttgart, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 31562
Egidi, Margreth. “„Zeit, Raum und Subjektivität bei Hartmann von Aue und Burkhard von Hohenfels“.” In Raum und Zeit im Minnesang. Ansätze – Spielarten – Funktionen (Studien zur historischen Poetik 29) , edited by Annette Gerok-Reiter, Anna-Sara Lahr, and Simone Leidinger, 377–93. Heidelberg, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 33389
Bosutti, Alessandra, Edwin Mulder, Jochen Zange, Judith Bühlmeier, Bergita Ganse, and Hans Degens. “Effects of 21 Days of Bed Rest and Whey Protein Supplementation on Plantar Flexor Muscle Fatigue Resistance during Repeated Shortening Contractions.” European Journal of Applied Physiology 120, no. 5 (2020): 969–83. https://doi.org/10.1007/s00421-020-04333-5.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 32679
Steigerwald Jörn. “Montaignes Launen und Fantasien oder : Vom Erschreiben des Essays (‘Essais’ I.20; III.5).” In Der Essay als “neue Form” , edited by Mahler Andreas, 65–82. Wiesbaden: Harrassowitz, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 34092
Bürger, Julius, Vinay Kunnathully, Daniel Kool, Jörg Lindner, and Katharina Brassat. “Characterisation of the PS-PMMA Interfaces in Microphase Separated Block Copolymer Thin Films by Analytical (S)TEM.” Nanomaterials 10, no. 1 (2020). https://doi.org/10.3390/nano10010141.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 36956
Schmidt, Jochen. “Dialektische Theologie.” In Theologische Grundbegriffe. Ein Handbuch, edited by Cornelia Dockter, Martin Dürnberger, and Aaron Langefeld. Paderborn: Schöningh, 2020.
LibreCat
 

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

2020 | Book Chapter | LibreCat-ID: 37610
Schröer, Franz. “Technisches Lernen inklusiv gestalten – Zur Beschaffenheit von Lernbedürfnissen im Kontext technikbezogenen Sachunterrichts.” In 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, edited by Martin Binder, Christian Wiesmüller, and Timo Finkbeiner, 119–41. Karlsruhe: BE.ER Konzept, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 37828
Otto, Ann-Kathrin, Juliane Pietschmann, Luisa-Marie Appelles, Michael Bebenek, Laura L Bischoff, Claudia Hildebrand, Bettina Johnen, et al. “Physical Activity and Health Promotion for Nursing Staff in Elderly Care: A Study Protocol for a Randomised Controlled Trial.” BMJ Open 10, no. 10 (2020). https://doi.org/10.1136/bmjopen-2020-038202.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 37787
Krause, Daniel, and Matthias Weigelt. “Mental Rotation and Performance in Basketball: Effects of Self-Controlled and Externally Controlled Time Constraints on the Processing and Execution of Tactic Board Instructions with Varied Orientations.” German Journal of Exercise and Sport Research 50, no. 3 (2020): 354–65. https://doi.org/10.1007/s12662-020-00659-6.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 38213
Koch, Benjamin, and Reinhold Noé. “PMD-Tolerant 20 Krad/s Endless Polarization and Phase Control for BB84-Based QKD with TDM Pilot Signals.” In Photonic Networks; 21th ITG-Symposium, 1–3, 2020.
LibreCat
 

Filters and Search Terms

%28project%3D78%29%20

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Chicago

Export / Embed