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.
7251 Publications
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole PK. Plurality Consensus in Hybrid Networks.; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 | 
Myroshnychenko V, Smirnov S, Jose PMM, Brosseau C, Förstner J. Nonlinear dielectric properties of random paraelectric-dielectric composites. Acta Materialia. 2020;203:116432. doi:10.1016/j.actamat.2020.10.051
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In: Gotsman A, Sokolova A, eds. 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. Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3\_3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, 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. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim H, Cabot J, 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. doi:10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
Heldt M, Massek C, Drossel K, Eickelmann B. The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data. Large-scale Assessments in Education. 2020;8(1):1-20. doi:10.1186/s40536-020-00090-1
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld J. Systematik zur Digitalisierung von Produktprogrammen. Vol 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
Lukei M. 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
Wu L, Weizel M, Scheytt C. Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. In: 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE; 2020. doi:10.1109/ISCAS45731.2020.9180947
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam S, Scheytt C. Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . IEEE; 2020. doi:10.1109/PIMRC48278.2020.9217198
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt P, Koppelmann B, Müller W, Scheytt C. A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. In: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. ; 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
Haddadian S, Scheytt C. 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. Published online 2020:1-1. doi:10.1109/JRFID.2020.3009741
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
Ballandras S, Abughannam S, Courjon E, Scheytt C. Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers. In: GeMiC 2020 - German Microwave Conference. ; 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24242
Moritzer E, Hirsch A, Dalmer C. Investigation of Plastic Freeformed, Open-Pored Structures with Regard to Producibility, Reproducibility and Liquid Permeability. In: Additive Manufacturing in Products and Applications (AMPA). ; 2020:112-129.
LibreCat
2020 | Dissertation | LibreCat-ID: 24629
Schlosser F. Integration von Wärmepumpen Zur Dekarbonisierung Der Industriellen Wärmeversorgung. Vol 25. Kassel University Press; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 24630
Schlosser F, Wiebe H, Walmsley TG, Atkins MJ, Walmsley MRW, Hesselbach J. Heat Pump Bridge Analysis Using the Modified Energy Transfer Diagram. Energies. Published online 2020. doi:10.3390/en14010137
LibreCat
| DOI
2020 | Report | LibreCat-ID: 24669
Lieneke T, Künneke T, Eschner N, et al. Kombination und Integration etablierter Technologien mit additiven Fertigungsverfahren.; 2020.
LibreCat
| Files available
2020 | Book Chapter | LibreCat-ID: 26016
Gokeler A, Büchel D. Pre-seasonal Assessment and Performance Diagnostics: Orthopaedic and Functional Aspects. In: Injury and Health Risk Management in Sports. ; 2020. doi:10.1007/978-3-662-60752-7_12
LibreCat
| DOI
2020 | Book | LibreCat-ID: 26872
Klünder N. Die Ernährungsversorgung in Familien zwischen Zeit, Alltag und Haushaltsführung. Eine Mixed-Methods-Untersuchung. Beltz Juventa; 2020.
LibreCat