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, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. 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} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 24029
Haddadian, S., & Scheytt, C. (2020). 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, 1–1. https://doi.org/10.1109/JRFID.2020.3009741
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 27130
Poddubnyi, V. I., Trächtler, A., Warkentin, A., & Henke, C. (2020). Mechanical and mathematical model of a caterpillar drive with a triangular contour for solving problems of vertical dynamics of a tracked vehicle. Vestnik Mashinostroeniya, 26–29. https://doi.org/10.36652/0042-4633-2020-12-26-29
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27797
Della Corte, K., Fife, J., Gardner, A., Murphy, B. L., Kleis, L., Della Corte, D., Schwingshackl, L., LeCheminant, J. D., & Buyken, A. (2020). World trends in sugar-sweetened beverage and dietary sugar intakes in children and adolescents: a systematic review. Nutrition Reviews, 274–288. https://doi.org/10.1093/nutrit/nuaa070
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky, D., Volkmar, G., Spliethöver, M., Finke, S., Herrlich, M., Döring, T., … Malaka, R. (2020). 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 (pp. 32–45). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/3410404.3414222
LibreCat
| DOI
| Download (ext.)
2020 | Bachelorsthesis | LibreCat-ID: 21432
Henke, L.-S. (2020). Evaluation of a ReconOS-ROS Combination based on a Video Processing Application.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21440
Wiecher, C., Japs, S., Kaiser, L., Greenyer, J., Wolff, C., & Dumitrescu, R. (2020). 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).
LibreCat
2020 | Journal Article | LibreCat-ID: 17436
Javaid Iqbal, M., Reuter, D., Wieck, A. D., & van der Wal, C. (2020). Characterization of low-resistance ohmic contacts to a two-dimensional electron gas in a GaAs/AlGaAs heterostructure. The European Physical Journal Applied Physics. https://doi.org/10.1051/epjap/2020190202
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 17836
Werneck Richa, A., & Scheideler, C. (Eds.). (2020). Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings (Vol. 12156). Springer. https://doi.org/10.1007/978-3-030-54921-3
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 17839
Scheideler, C., & Spear, M. (Eds.). (2020). SPAA ’20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020. ACM. https://doi.org/10.1145/3350755
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 18779
Seng, E.-M., & Silvestri, M. (2020). Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert. 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. Paris: (im Druck).
LibreCat
2020 | Conference Paper | LibreCat-ID: 19178
Kowatz, J., Teutenberg, D., & Meschut, G. (2020). Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts. In DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik. Würzburg.
LibreCat
2020 | Book Chapter | LibreCat-ID: 23522
Gräßler, I., Scholle, P., & Thiele, H. (2020). Scenario Technique. In V. Sandor (Ed.), Integrated Design Engineering. Interdisciplinary and Holistic Product Development (pp. 507–529). Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-030-19357-7
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20321
Göddecke, J., Meschut, G., Teutenberg, D., Ummenhofer, T., Albiez, M., Damm, J., … Kötz, F. (2020). Experimentelle und numerische Untersuchung der Dämpfungseigenschaften geklebter Strukturen unter dynamischer Beanspruchung. In DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20331
Ditz, M., Meschut, G., Schwarze, T., & Smart, D. (2020). 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.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20378
Çavdar, S., Teutenberg, D., Meschut, G., Wulf, A., Hesebeck, O., Brede, M., … Melz, T. (2020). Lebensdauerberechnung hybrider Verbindungen. In 20. Kolloquium Gemeinsame Forschung in der Klebtechnik. Würzburg.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). https://doi.org/10.1145/3365438.3410946
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20647
Aßmuth, V., Teutenberg, D., Meschut, G., Stepanov, S., Stalling, A., Ihde, J., & Mayer, B. (2020). Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas. In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp. 97–98). Würzburg.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20650
Aßmuth, V., Teutenberg, D., & Meschut, G. (2020). Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile. In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp. 99–101). Würzburg.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20652
Aßmuth, V., Teutenberg, D., Meschut, G., Philipp, J., Stammen, E., & Dilger, K. (2020). Lokales Konzept zur Auslegung von elastischen Klebverbindungen (LoKAl). In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp. 85–87). Würzburg.
LibreCat