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