@inproceedingsBila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, volume=12136, DOI=10.1007/978-3-030-50086-3‑3, booktitle=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, publisher=Springer, author=Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Gotsman, Alexey and Sokolova, AnaEditors, year=2020, pages=39–58, collection=Lecture Notes in Computer Science 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

@inproceedingsBeringer_Wehrheim_2020, title=Consistency Analysis of AUTOSAR Timing Requirements, DOI=10.5220/0009766600150026, booktitle=Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, publisher=ScitePress, author=Beringer, Steffen and Wehrheim, Heike, editor=van Sinderen, Marten and Fill, Hans-Georg and A. Maciaszek, LeszekEditors, year=2020, pages=15–26 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

@inproceedingsBeyer_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework, volume=12476, DOI=10.1007/978-3-030-61362-4‑8, booktitle=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, publisher=Springer, author=Beyer, Dirk and Wehrheim, Heike, editor=Margaria, Tiziana and Steffen, BernhardEditors, year=2020, pages=143–167, collection=Lecture Notes in Computer Science 
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

@bookWehrheim_Cabot_2020, series=Lecture Notes in Computer Science, title=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, volume=12076, DOI=10.1007/978-3-030-45234-6, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

@articleSharma_Wehrheim_2020, title=Testing Monotonicity of Machine Learning Models, volume=abs/2002.12278, journal=CoRR, author=Sharma, Arnab and Wehrheim, Heike, year=2020 
LibreCat: /record/20279

@articleBrand-Miller_Buyken_2020, title=Mapping postprandial responses sets the scene for targeted dietary advice, DOI=10.1038/s41591-020-0909-1, journal=Nature Medicine, author=Brand-Miller, Jennie and Buyken, Anette, year=2020, pages=828–830 
LibreCat: /record/28011
DOI: 10.1038/s41591-020-0909-1

@articleHeldt_Massek_Drossel_Eickelmann_2020, title=The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data, volume=8, DOI=10.1186/s40536-020-00090-1, number=1, journal=Large-scale Assessments in Education, author=Heldt, Melanie and Massek, Corinna and Drossel, Kerstin and Eickelmann, Birgit, year=2020, pages=1–20 
LibreCat: /record/28242
DOI: 10.1186/s40536-020-00090-1

@articleGutt_von Rechenberg_Kundisch_2020, title=Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty, volume=106, DOI=10.1016/j.jbusres.2018.06.019, journal=Journal of Business Research, publisher=Elsevier, author=Gutt, Dominik and von Rechenberg, Tobias and Kundisch, Dennis, year=2020, pages=277–287 
LibreCat: /record/2834
DOI: 10.1016/j.jbusres.2018.06.019

@articleGrimminger-Seidensticker_Möhwald_2020, title=Enhancing social cohesion in PE classes within an intercultural learning program: results of a quasi-experimental intervention study, volume=25, DOI=10.1080/17408989.2020.1741532, number=3, journal=Physical Education and Sport Pedagogy, author=Grimminger-Seidensticker, Elke and Möhwald, Aiko Julia, year=2020, pages=316–329 
LibreCat: /record/28341
DOI: 10.1080/17408989.2020.1741532

@articleMüller_Settinieri_2020, title=“Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...”: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen, volume=49, DOI=10.2357/FLuL-2020-0018, number=2, journal=Fremdsprachen Lehren und Lernen, author=Müller, Mareike and Settinieri, Julia, year=2020, pages=46–63 
LibreCat: /record/28351
DOI: 10.2357/FLuL-2020-0018

@bookEchterfeld_2020, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Systematik zur Digitalisierung von Produktprogrammen, volume=393, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Echterfeld, Julian, year=2020, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/28367

@bookLukei_2020, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel, volume=395, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Lukei, Meinolf, year=2020, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/28369

@bookHomt_2020, title=Die Anbahnung einer forschenden Grundhaltung im Praxissemester – eine empirische Analyse von Bedingungen und Entwicklungsverläufen, author=Homt, Martina, year=2020 
LibreCat: /record/28416

@inproceedingsWu_Weizel_Scheytt_2020, place=Sevilla, Spain, title=Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology, DOI=10.1109/ISCAS45731.2020.9180947, booktitle=2020 IEEE International Symposium on Circuits and Systems (ISCAS), publisher=IEEE, author=Wu, Liang and Weizel, Maxim and Scheytt, Christoph, year=2020 
LibreCat: /record/24021
DOI: 10.1109/ISCAS45731.2020.9180947

@inproceedingsAbughannam_Scheytt_2020, place=Virtuelle Konferenz, title=Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator, DOI=10.1109/PIMRC48278.2020.9217198, booktitle=IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , publisher=IEEE, author=Abughannam, Saed and Scheytt, Christoph, year=2020 
LibreCat: /record/24022
DOI: 10.1109/PIMRC48278.2020.9217198

@inproceedingsAdelt_Koppelmann_Müller_Scheytt_2020, place=Stuttgart, DE, title=A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures, booktitle=MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, author=Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph, year=2020 
LibreCat: /record/24027

@articleHaddadian_Scheytt_2020, title=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, DOI=10.1109/JRFID.2020.3009741, journal=IEEE Journal of Radio Frequency Identification, author=Haddadian, Sanaz and Scheytt, Christoph, year=2020, pages=1–1 
LibreCat: /record/24029
DOI: 10.1109/JRFID.2020.3009741

@inproceedingsBallandras_Abughannam_Courjon_Scheytt_2020, title=Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers, booktitle=GeMiC 2020 - German Microwave Conference, author=Ballandras, Sylvain and Abughannam, Saed and Courjon, Emilie and Scheytt, Christoph, year=2020 
LibreCat: /record/24030

@articleSchraeder_Schafran_Geisen_Rubbert_2020, title=Ein interdisziplinärer und akutmedizinischer Ansatz zur frühestmöglichen Intervention bei Patienten mit Diabetischem Fußsyndrom, volume=71 (9), journal=Orthopädie Technik, author=Schraeder, Dirk Theodor and Schafran, Tommy and Geisen, Bärbel and Rubbert, Lisa, year=2020, pages=32–37 
LibreCat: /record/24031