Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman &; A. Sokolova (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, pp. 39–58). Springer.https://doi.org/10.1007/978-3-030-50086-3‑3 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, S., &; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-Georg Fill, &; L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress.https://doi.org/10.5220/0009766600150026 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

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: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

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: /record/20277
DOI: 10.1007/978-3-030-45234-6

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: /record/20278
DOI: 10.1007/978-3-030-50995-8

Sharma, A., &; Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.
LibreCat: /record/20279

Brand-Miller, J., &; Buyken, A. (2020). Mapping postprandial responses sets the scene for targeted dietary advice. Nature Medicine, 828–830.https://doi.org/10.1038/s41591-020-0909-1 
LibreCat: /record/28011
DOI: 10.1038/s41591-020-0909-1

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: /record/28242
DOI: 10.1186/s40536-020-00090-1

Gutt, D., von Rechenberg, T., &; Kundisch, D. (2020). Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty. Journal of Business Research, 106, 277–287.https://doi.org/10.1016/j.jbusres.2018.06.019 
LibreCat: /record/2834
DOI: 10.1016/j.jbusres.2018.06.019

Grimminger-Seidensticker, E., &; Möhwald, A. J. (2020). Enhancing social cohesion in PE classes within an intercultural learning program: results of a quasi-experimental intervention study. Physical Education and Sport Pedagogy, 25(3), 316–329.https://doi.org/10.1080/17408989.2020.1741532 
LibreCat: /record/28341
DOI: 10.1080/17408989.2020.1741532

Müller, M., &; Settinieri, J. (2020). “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, 49(2), 46–63.https://doi.org/10.2357/FLuL-2020-0018 
LibreCat: /record/28351
DOI: 10.2357/FLuL-2020-0018

Echterfeld, J. (2020). Systematik zur Digitalisierung von Produktprogrammen (Vol. 393). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/28367

Lukei, M. (2020). Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel (Vol. 395). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/28369

Homt, M. (2020). Die Anbahnung einer forschenden Grundhaltung im Praxissemester – eine empirische Analyse von Bedingungen und Entwicklungsverläufen.
LibreCat: /record/28416

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: /record/24021
DOI: 10.1109/ISCAS45731.2020.9180947

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: /record/24022
DOI: 10.1109/PIMRC48278.2020.9217198

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: /record/24027

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: /record/24029
DOI: 10.1109/JRFID.2020.3009741

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: /record/24030

Schraeder, D. T., Schafran, T., Geisen, B., &; Rubbert, L. (2020). Ein interdisziplinärer und akutmedizinischer Ansatz zur frühestmöglichen Intervention bei Patienten mit Diabetischem Fußsyndrom. Orthopädie Technik, 71 (9), 32–37.
LibreCat: /record/24031