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

Eickelmann, B., &; Drossel, K. (2020). Schulschließungen und Perspektiven für die Pandemie-Zeit. SchulVerwaltung Baden-Württemberg, 29(12), 328–331.
LibreCat: /record/27865

Drossel, K., &; Eickelmann, B. (2020). Der Einsatz von Tablets am Gymnasium und der Zusammenhang mit der Entwicklung computerbezogener Kompetenzen von Schüler*innen. In D. M. Meister &; I. Midt (Eds.), Mobile Medien im Schulkontext (Reihe Medienbildung und Gesellschaft) (pp. 135–153). Springer.
LibreCat: /record/27866

Eickelmann, B., &; Drossel, K. (2020). Students’ computer literacy and the use of tablets in upper secondary schools. In A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies (pp. 1577–1589). Springer.https://doi.org/10.1007/978-3-030-10576-1 
LibreCat: /record/27867
DOI: 10.1007/978-3-030-10576-1

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

Teidla-Kunitsõn, G. (2020). ICT usage across Europe: A literature review and an overview of existing data. LibreCat University.https://doi.org/10.6084/M9.FIGSHARE.12906737 
LibreCat: /record/27873
DOI: 10.6084/M9.FIGSHARE.12906737

Dalvandi, S., Doherty, S., Dongol, B., &; Wehrheim, H. (2020). Owicki-Gries Reasoning forhttps://doi.org/10.4230/DARTS.6.2.15__RAR (Artifact). Dagstuhl Artifacts Ser., 6(2), 15:1-15:2.https://doi.org/10.4230/DARTS.6.2.15 
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

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

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

Ahrendt, W., &; Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer.https://doi.org/10.1007/978-3-030-50995-8 
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

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

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

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

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

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

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

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

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

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

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