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.

22917 Publications


2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” 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 | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 20277
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 | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 20278
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 | DOI
 

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

2020 | Book Chapter | LibreCat-ID: 20295
Schneider, Martin, and Simon Eisele. “Personalwirtschaft.” Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer, 2020, pp. 303–22.
LibreCat
 

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

2020 | Journal Article | LibreCat-ID: 28168
Schulz, Christian, and Tobias Matzner. “Feed the Interface – Social-Media-Feeds Und Filternde Schwellen.” Navigationen, vol. 2, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 28170
Matzner, Tobias, and Carsten Ochs. “Privacy.” Internet Policy Review, 2020, doi:10.14763/2019.4.1427.
LibreCat | DOI
 

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

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

2020 | Journal Article | LibreCat-ID: 28340
Grimminger-Seidensticker, Elke, et al. “SUBCLINICAL DISORDERED EATING AND BODY DISSATISFACTION IN NORMAL WEIGHT CHILDREN—THE ROLE OF PHYSICAL ACTIVITY AND MOTIVES TO EXERCISE.” Journal of Physical Education & Health, vol. 9, no. 16, 2020, pp. 5–13, doi:10.5281/ZENODO.5196091.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 28341
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.” Physical Education and Sport Pedagogy, vol. 25, no. 3, 2020, pp. 316–29, doi:10.1080/17408989.2020.1741532.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 28342
Lautenbach, Franziska, et al. “A 14-Week Intervention Study on Changing Preservice Teachers’ Psychological Perspectives on Inclusion: Explicit and Implicit Attitudes, Self-Efficacy, and Stress Perception Toward Inclusion.” Frontiers in Education, 2020, doi:10.3389/feduc.2020.00007.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 28343
Grimminger-Seidensticker, Elke, et al. “Health Concepts among Socially Disadvantaged Children in France, Germany and Switzerland.” Health Promotion International, vol. 35, 2020, pp. 17–26, doi:10.1093/heapro/day099.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 28351
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.” Fremdsprachen Lehren und Lernen, vol. 49, no. 2, 2020, pp. 46–63, doi:10.2357/FLuL-2020-0018.
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 28367
Echterfeld, Julian. Systematik zur Digitalisierung von Produktprogrammen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
 

2020 | Dissertation | LibreCat-ID: 28368
Lochbichler, Matthias. Systematische Wahl einer Modellierungstiefe im Entwurfsprozess mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
 

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

2020 | Dissertation | LibreCat-ID: 28416 | OA
Homt, Martina. Die Anbahnung Einer Forschenden Grundhaltung Im Praxissemester – Eine Empirische Analyse von Bedingungen Und Entwicklungsverläufen. 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 24020
Zazzi, Andrea, et al. “Mode-Locked Laser Timing Jitter Limitation in Optically Enabled Frequency-Sliced ADCs.” 21. ITG-Fachtagung Photonische Netze, VDE-Verlag, 2020.
LibreCat | Files available
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed