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

Eickelmann, Birgit, and Kerstin Drossel. “Schulschließungen und Perspektiven für die Pandemie-Zeit.” SchulVerwaltung Baden-Württemberg, vol. 29, no. 12, 2020, pp. 328–31.
LibreCat: /record/27865

Drossel, Kerstin, and Birgit Eickelmann. “Der Einsatz von Tablets am Gymnasium und der Zusammenhang mit der Entwicklung computerbezogener Kompetenzen von Schüler*innen.” Mobile Medien im Schulkontext (Reihe Medienbildung und Gesellschaft), edited by Dorothee M. Meister and Ilka Midt, Springer, 2020, pp. 135–53.
LibreCat: /record/27866

Eickelmann, Birgit, and Kerstin Drossel. “Students’ Computer Literacy and the Use of Tablets in Upper Secondary Schools.”10.1007/978-3-030-10576-1__Encyclopedia of Education and Information Technologies, edited by Arthur Tatnall, Springer, 2020, pp. 1577–89, doi:10.1007/978-3-030-10576-1.
LibreCat: /record/27867
DOI: 10.1007/978-3-030-10576-1

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

Teidla-Kunitsõn, Gertha. ICT Usage across Europe: A Literature Review and an Overview of Existing Data. LibreCat University, 2020, doi:10.6084/M9.FIGSHARE.12906737.
LibreCat: /record/27873
DOI: 10.6084/M9.FIGSHARE.12906737

Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for10.4230/DARTS.6.2.15__RAR (Artifact).”10.4230/DARTS.6.2.15__Dagstuhl Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for10.4230/LIPIcs.ECOOP.2020.11__RAR.”10.4230/LIPIcs.ECOOP.2020.11__34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020, pp. 11:1-11:26, doi:10.4230/LIPIcs.ECOOP.2020.11.
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

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

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

Allgaier, M., et al. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.”10.1103/physreva.101.043819__Physical Review A, vol. 101, 043819, 2020, doi:10.1103/physreva.101.043819.
LibreCat: /record/21022
DOI: 10.1103/physreva.101.043819

Ansari, Vahid, et al. “Remotely Projecting States of Photonic Temporal Modes.”10.1364/oe.395593__Optics Express, vol. 28, no. 19, 28295–28305, 2020, doi:10.1364/oe.395593.
LibreCat: /record/21024
DOI: 10.1364/oe.395593

Menke, Peter. “»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen.” Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, edited by Bettina Kluge et al., Narr Francke Attempto, 2020, pp. 225–244.
LibreCat: /record/21078

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

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

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

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

Pekkarinen, Satu, et al. “Care Robots in Society: Knowledge and Orientation Needs.”10.4017/gt.2020.19.s.69664__Gerontechnology, 2020, doi:10.4017/gt.2020.19.s.69664.
LibreCat: /record/21126
DOI: 10.4017/gt.2020.19.s.69664

Johansson-Pajala, Rose-Marie, et al. “The Need for Care Robot Orientation in Elder Care Services.”10.4017/gt.2020.19.s.69574__Gerontechnology, 2020, doi:10.4017/gt.2020.19.s.69574.
LibreCat: /record/21127
DOI: 10.4017/gt.2020.19.s.69574

Otroshi, Mortaza, et al. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat: /record/21152