Digitales Potenzial. Erfolgreiche Förderung digitaler Kompetenzen von Schülerinnen und Schülern an nicht-gymnasialen Schulen der Sekundarstufe I
B. Eickelmann, K. Drossel, Digitales Potenzial. Erfolgreiche Förderung digitaler Kompetenzen von Schülerinnen und Schülern an nicht-gymnasialen Schulen der Sekundarstufe I, Vodafone Stiftung, Berlin/Düsseldorf, 2020.
LibreCat: /record/27869

ICT usage across Europe: A literature review and an overview of existing data
G. Teidla-Kunitsõn, ICT Usage across Europe: A Literature Review and an Overview of Existing Data, LibreCat University, 2020.
LibreCat: /record/27873
DOI: 10.6084/M9.FIGSHARE.12906737

Owicki-Gries Reasoning for  RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

Owicki-Gries Reasoning for  RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020, pp. 11:1-11:26.
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, IEEE, 2020, pp. 1016–1028.
LibreCat: /record/21018

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

Pulse shaping using dispersion-engineered difference frequency generation
M. Allgaier, V. Ansari, J.M. Donohue, C. Eigner, V. Quiring, R. Ricken, B. Brecht, C. Silberhorn, Physical Review A 101 (2020).
LibreCat: /record/21022
DOI: 10.1103/physreva.101.043819

Remotely projecting states of photonic temporal modes
V. Ansari, J.M. Donohue, B. Brecht, C. Silberhorn, Optics Express 28 (2020).
LibreCat: /record/21024
DOI: 10.1364/oe.395593

»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen
P. Menke, in: B. Kluge, W. Mihatsch, B. Schaller (Eds.), Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, Narr Francke Attempto, Tübingen, 2020, pp. 225–244.
LibreCat: /record/21078

On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat: /record/21117

Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat: /record/21118

Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat: /record/21119

Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat: /record/21121

Care robots in society: Knowledge and orientation needs
S. Pekkarinen, L. Hennala, O. Tuisku, C. Gustafsson, R.-M. Johansson-Pajala, K. Thommes, J.A. Hoppe, H. Melkas, Gerontechnology (2020).
LibreCat: /record/21126
DOI: 10.4017/gt.2020.19.s.69664

The need for care robot orientation in elder care services
R.-M. Johansson-Pajala, K. Thommes, J.A. Hoppe, O. Tuisku, L. Hennala, S. Pekkarinen, H. Melkas, C. Gustafsson, Gerontechnology (2020).
LibreCat: /record/21127
DOI: 10.4017/gt.2020.19.s.69574

Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile
M. Otroshi, G. Meschut, L. Masendorf, A. Esderts, Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile, Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat: /record/21152

Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy
D. Alexandrovsky, G. Volkmar, M. Spliethöver, S. Finke, M. Herrlich, T. Döring, J.D. Smeddinck, R. Malaka, in: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, Association for Computing Machinery, New York, NY, USA, 2020, pp. 32–45.
LibreCat: /record/21174
DOI: 10.1145/3410404.3414222

Service System Innovation: An Ambidexterity Perspective
V. Wolf, Service System Innovation: An Ambidexterity Perspective, Paderborn, 2020.
LibreCat: /record/21205

Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V 
D. Ahlers, Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V , Shaker, 2020.
LibreCat: /record/21209

Volunteer World GmbH – Schildkrötenretten als Business Case
E.A. Jakob, L. Hansjürgen, in: E. Lutz, S. Süß (Eds.), Wettbewerbsfähigkeit von Start-ups, Erfolgreiche Düsseldorfer Unternehmen, düsseldorf university press, 2020, pp. 91–106.
LibreCat: /record/21216
DOI: 10.1515/9783110663839-008