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