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.
792 Publications
2020 | Conference Paper | LibreCat-ID: 19606 | 
S. Gottschalk, E. Yigitbas, E. Schmidt, and G. Engels, “ProConAR: A Tool Support for Model-based AR Product Configuration,” in Human-Centered Software Engineering. HCSE 2020, Eindhoven, 2020, vol. 12481.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19632
I. Jovanovikj, E. Yigitbas, S. Sauer, and G. Engels, “Augmented and Virtual Reality Object Repository for Rapid Prototyping ,” in Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20), 2020, pp. 216–224.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20276
D. Beyer and H. 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}, 2020, vol. 12476, pp. 143–167.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27130
V. I. Poddubnyi, A. Trächtler, A. Warkentin, and C. 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, pp. 26–29, 2020, doi: 10.36652/0042-4633-2020-12-26-29.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27797
K. Della Corte et al., “World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review,” Nutrition Reviews, pp. 274–288, 2020, doi: 10.1093/nutrit/nuaa070.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21174
D. Alexandrovsky 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, 2020, pp. 32–45.
LibreCat
| DOI
| Download (ext.)
2020 | Bachelorsthesis | LibreCat-ID: 21432
L.-S. Henke, Evaluation of a ReconOS-ROS Combination based on a Video Processing Application. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21440
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, and R. 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 | Book Chapter | LibreCat-ID: 18779
E.-M. Seng and M. 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, I. Chave, Ed. Paris: (im Druck), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19178
J. Kowatz, D. Teutenberg, and G. Meschut, “Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20321
J. Göddecke et al., “Experimentelle und numerische Untersuchung der Dämpfungseigenschaften geklebter Strukturen unter dynamischer Beanspruchung,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20331
M. Ditz, G. Meschut, T. Schwarze, and D. Smart, “Entwicklung und Qualifizierung einer rechnergestützten Auswertemethode zur Differenzierung der Versagensanteile klebtechnisch gefügter Proben,” presented at the 20. Kolloquium: Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20378
S. Çavdar et al., “Lebensdauerberechnung hybrider Verbindungen,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20647
V. Aßmuth et al., “Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 97–98.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20650
V. Aßmuth, D. Teutenberg, and G. Meschut, “Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile,” in 20. Kolloquium Gemeinsame Forschung in der Klebtechnik, Würzburg, 2020, pp. 99–101.
LibreCat