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
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.
2020 | Journal Article | LibreCat-ID: 24029
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
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
LibreCat
| Files available
| DOI
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
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
V.I. Poddubnyi, A. Trächtler, A. Warkentin, C. Henke, Vestnik Mashinostroeniya (2020) 26–29.
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
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.
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.)
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.
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
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
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
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.
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
M. Javaid Iqbal, D. Reuter, A.D. Wieck, C. van der Wal, The European Physical Journal Applied Physics (2020).
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
2020 | Conference Paper | LibreCat-ID: 20331
Entwicklung und Qualifizierung einer rechnergestützten Auswertemethode zur Differenzierung der Versagensanteile klebtechnisch gefügter Proben
M. Ditz, G. Meschut, T. Schwarze, D. Smart, in: 2020.
LibreCat
M. Ditz, G. Meschut, T. Schwarze, D. Smart, in: 2020.
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
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.
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
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.
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
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.
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
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.
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
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.