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
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