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.
12172 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 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, H., & Cabot, J. (Eds.). (2020). Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer. https://doi.org/10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.
LibreCat
2020 | Journal Article | LibreCat-ID: 28242
Heldt, M., Massek, C., Drossel, K., & Eickelmann, B. (2020). The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data. Large-Scale Assessments in Education, 8(1), 1–20. https://doi.org/10.1186/s40536-020-00090-1
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld, J. (2020). Systematik zur Digitalisierung von Produktprogrammen (Vol. 393). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
Lukei, M. (2020). Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel (Vol. 395). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
Wu, L., Weizel, M., & Scheytt, C. (2020). Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. 2020 IEEE International Symposium on Circuits and Systems (ISCAS). https://doi.org/10.1109/ISCAS45731.2020.9180947
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam, S., & Scheytt, C. (2020). Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . https://doi.org/10.1109/PIMRC48278.2020.9217198
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2020). A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat
| Files available
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 | Conference Paper | LibreCat-ID: 24030
Ballandras, S., Abughannam, S., Courjon, E., & Scheytt, C. (2020). Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers. GeMiC 2020 - German Microwave Conference.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24242
Moritzer, E., Hirsch, A., & Dalmer, C. (2020). Investigation of Plastic Freeformed, Open-Pored Structures with Regard to Producibility, Reproducibility and Liquid Permeability. Additive Manufacturing in Products and Applications (AMPA), 112–129.
LibreCat
2020 | Dissertation | LibreCat-ID: 24629
Schlosser, F. (2020). Integration von Wärmepumpen zur Dekarbonisierung der industriellen Wärmeversorgung (Vol. 25). Kassel University Press.
LibreCat
2020 | Report | LibreCat-ID: 24669
Lieneke, T., Künneke, T., Eschner, N., Jacob, A., Schäfer, M., Hickmann, T., Faroun, R., Hoffmann, M., Scholl, M., Baumeister, K., Zimmer, D., & Lanza, G. (2020). Kombination und Integration etablierter Technologien mit additiven Fertigungsverfahren.
LibreCat
| Files available
2020 | Book Chapter | LibreCat-ID: 26016
Gokeler, A., & Büchel, D. (2020). Pre-seasonal Assessment and Performance Diagnostics: Orthopaedic and Functional Aspects. In Injury and Health Risk Management in Sports. https://doi.org/10.1007/978-3-662-60752-7_12
LibreCat
| DOI
2020 | Book | LibreCat-ID: 26872
Klünder, N. (2020). Die Ernährungsversorgung in Familien zwischen Zeit, Alltag und Haushaltsführung. Eine Mixed-Methods-Untersuchung. Beltz Juventa.
LibreCat
2020 | Conference Paper | LibreCat-ID: 3583
Guetttatfi, Z., Kaufmann, P., & Platzner, M. (2020). Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices. In Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC).
LibreCat
2020 | Conference Paper | LibreCat-ID: 3800
Wachsmuth, H., & Werner, T. (2020). Intrinsic Quality Assessment of Arguments. In Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics (pp. 6739–6745).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3878
El Baff, R., Wachsmuth, H., Al-Khatib, K., & Stein, B. (2020). Analyzing the Persuasive Effect of Style in News Editorial Argumentation. In J. Tsujii & J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (pp. 553–564).
LibreCat