Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, 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, Springer, 2020, pp. 143–167.
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

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
H. Wehrheim, 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, Springer, 2020.
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

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

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

The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data
M. Heldt, C. Massek, K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 8 (2020) 1–20.
LibreCat: /record/28242
DOI: 10.1186/s40536-020-00090-1

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

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

"Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...": Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen
M. Müller, J. Settinieri, Fremdsprachen Lehren und Lernen 49 (2020) 46–63.
LibreCat: /record/28351
DOI: 10.2357/FLuL-2020-0018

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