Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.”10.1007/978-3-030-50086-3‑3__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, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:10.1007/978-3-030-50086-3‑3.
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.”10.5220/0009766600150026__Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.”10.1007/978-3-030-61362-4‑8__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, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4‑8.
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Wehrheim, Heike, and Jordi Cabot, editors. 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: /record/20277
DOI: 10.1007/978-3-030-45234-6

Ahrendt, Wolfgang, and Heike Wehrheim, editors. 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: /record/20278
DOI: 10.1007/978-3-030-50995-8

Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” CoRR, vol. abs/2002.12278, 2020.
LibreCat: /record/20279

Brand-Miller, Jennie, and Anette Buyken. “Mapping Postprandial Responses Sets the Scene for Targeted Dietary Advice.”10.1038/s41591-020-0909-1__Nature Medicine, 2020, pp. 828–30, doi:10.1038/s41591-020-0909-1.
LibreCat: /record/28011
DOI: 10.1038/s41591-020-0909-1

Heldt, Melanie, et al. “The Relationship between Differences in Students’ Computer and Information Literacy and Response Times: An Analysis of IEA-ICILS Data.”10.1186/s40536-020-00090-1__Large-Scale Assessments in Education, vol. 8, no. 1, 2020, pp. 1–20, doi:10.1186/s40536-020-00090-1.
LibreCat: /record/28242
DOI: 10.1186/s40536-020-00090-1

Gutt, Dominik, et al. “Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty.”10.1016/j.jbusres.2018.06.019__Journal of Business Research, vol. 106, Elsevier, 2020, pp. 277–87, doi:10.1016/j.jbusres.2018.06.019.
LibreCat: /record/2834
DOI: 10.1016/j.jbusres.2018.06.019

Grimminger-Seidensticker, Elke, and Aiko Julia Möhwald. “Enhancing Social Cohesion in PE Classes within an Intercultural Learning Program: Results of a Quasi-Experimental Intervention Study.”10.1080/17408989.2020.1741532__Physical Education and Sport Pedagogy, vol. 25, no. 3, 2020, pp. 316–29, doi:10.1080/17408989.2020.1741532.
LibreCat: /record/28341
DOI: 10.1080/17408989.2020.1741532

Müller, Mareike, and Julia Settinieri. “‘Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...’: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen.”10.2357/FLuL-2020-0018__Fremdsprachen Lehren und Lernen, vol. 49, no. 2, 2020, pp. 46–63, doi:10.2357/FLuL-2020-0018.
LibreCat: /record/28351
DOI: 10.2357/FLuL-2020-0018

Echterfeld, Julian. Systematik zur Digitalisierung von Produktprogrammen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat: /record/28367

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

Homt, Martina. Die Anbahnung Einer Forschenden Grundhaltung Im Praxissemester – Eine Empirische Analyse von Bedingungen Und Entwicklungsverläufen. 2020.
LibreCat: /record/28416

Wu, Liang, et al. “Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 Nm SiGe BiCMOS Technology.”10.1109/ISCAS45731.2020.9180947__2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, 2020, doi:10.1109/ISCAS45731.2020.9180947.
LibreCat: /record/24021
DOI: 10.1109/ISCAS45731.2020.9180947

Abughannam, Saed, and Christoph Scheytt. “Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator.”10.1109/PIMRC48278.2020.9217198__IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, 2020, doi:10.1109/PIMRC48278.2020.9217198.
LibreCat: /record/24022
DOI: 10.1109/PIMRC48278.2020.9217198

Adelt, Peer, et al. “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, 2020.
LibreCat: /record/24027

Haddadian, Sanaz, and Christoph 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.”10.1109/JRFID.2020.3009741__IEEE Journal of Radio Frequency Identification, 2020, pp. 1–1, doi:10.1109/JRFID.2020.3009741.
LibreCat: /record/24029
DOI: 10.1109/JRFID.2020.3009741

Ballandras, Sylvain, et al. “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, 2020.
LibreCat: /record/24030

Schraeder, Dirk Theodor, et al. “Ein interdisziplinärer und akutmedizinischer Ansatz zur frühestmöglichen Intervention bei Patienten mit Diabetischem Fußsyndrom.” Orthopädie Technik, vol. 71 (9), 2020, pp. 32–37.
LibreCat: /record/24031