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.
9725 Publications
2020 | Conference Paper | LibreCat-ID: 20274
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory,” in Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, 2020, vol. 12136, pp. 39–58.
LibreCat
| DOI
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 | Conference (Editor) | LibreCat-ID: 20277
H. Wehrheim and J. Cabot, Eds., 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, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
M. Heldt, C. Massek, K. Drossel, and B. Eickelmann, “The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data,” Large-scale Assessments in Education, vol. 8, no. 1, pp. 1–20, 2020, doi: 10.1186/s40536-020-00090-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28351
M. Müller and J. Settinieri, “‘Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...’: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen,” Fremdsprachen Lehren und Lernen, vol. 49, no. 2, pp. 46–63, 2020, doi: 10.2357/FLuL-2020-0018.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
J. Echterfeld, Systematik zur Digitalisierung von Produktprogrammen, vol. 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
M. Lukei, Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel, vol. 395. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
L. Wu, M. Weizel, and C. Scheytt, “Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology,” 2020, doi: 10.1109/ISCAS45731.2020.9180947.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
S. Abughannam and C. Scheytt, “Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator,” 2020, doi: 10.1109/PIMRC48278.2020.9217198.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures,” 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
S. Haddadian and C. Scheytt, “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, pp. 1–1, 2020, doi: 10.1109/JRFID.2020.3009741.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
S. Ballandras, S. Abughannam, E. Courjon, and C. Scheytt, “Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers,” 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24242
E. Moritzer, A. Hirsch, and C. Dalmer, “Investigation of Plastic Freeformed, Open-Pored Structures with Regard to Producibility, Reproducibility and Liquid Permeability,” in Additive Manufacturing in Products and Applications (AMPA), Zurich (Switzerland), 2020, pp. 112–129.
LibreCat
2020 | Dissertation | LibreCat-ID: 24629
F. Schlosser, Integration von Wärmepumpen zur Dekarbonisierung der industriellen Wärmeversorgung, vol. 25. Kassel: Kassel University Press, 2020.
LibreCat
2020 | Report | LibreCat-ID: 24669
T. Lieneke et al., Kombination und Integration etablierter Technologien mit additiven Fertigungsverfahren. 2020.
LibreCat
| Files available
2020 | Book | LibreCat-ID: 26872
N. Klünder, Die Ernährungsversorgung in Familien zwischen Zeit, Alltag und Haushaltsführung. Eine Mixed-Methods-Untersuchung. Weinheim: Beltz Juventa, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 28842
M. Heldt, R. Lorenz, and B. Eickelmann, “Relevanz schulischer Medienkonzepte als Orientierung für die Schule im Zuge der fortschreitenden Digitalisierung,” Unterrichtswissenschaft, vol. 48, no. 3, pp. 447–468, 2020, doi: 10.1007/s42010-020-00070-y.
LibreCat
| DOI