@articleHeldt_Drossel_Eickelmann_2020, title=Lieber gemeinsam als alleine!? Ein Überblick über die Situation unterrichtsbezogener Lehrerkooperationen im Zeitalter der Digitalisierung in Deutschland, volume=175, number=3, journal=Schulmanagement-Handbuch, author=Heldt, Melanie and Drossel, Kerstin and Eickelmann, Birgit, year=2020, pages=19–37 
LibreCat: /record/27859

@inbookTondeur_Petko_Barma_Christensen_Drossel_Eichhorn_Knezek_Mukama_Schmidt-Crawford_Starkey_et al._2020, place=Québec City, Canada, title=Advancing Conceptual Models of Technology Integration in Education: Implications for Researchers, Practitioners and Policymakers, booktitle=Report of EDUsummIT 2019. Learners and learning contexts: new alignments for the digital age, publisher=EDUsummIT, author=Tondeur, Jo and Petko, Dominik and Barma, Sylvie and Christensen, Rhonda and Drossel, Kerstin and Eichhorn, Koos and Knezek, Gerald and Mukama, Evode and Schmidt-Crawford, Denise and Starkey, Louise and et al., editor=Fisser, Petra and Phillips, Michael, year=2020, pages=70–75 
LibreCat: /record/27860

@inbookDrossel_Heldt_Eickelmann_2020, place=Münster, title=Lehrer*innenbildung durch medienbezogene Kooperation, booktitle=Bildung, Schule und Digitalisierung, publisher=Waxmann, author=Drossel, Kerstin and Heldt, Melanie and Eickelmann, Birgit, editor=Kaspar, Kai and Becker-Mrozek, Michael and Hofhues, Sandra and König, Johannes and Schmeinck, Daniela, year=2020, pages=45–50 
LibreCat: /record/27863

@articleHeldt_Massek_Drossel_Eickelmann_2020, title=The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data, volume=8, DOI=10.1186/s40536-020-00090-1, journal=Large-scale Assessments in Education, author=Heldt, Melanie and Massek, Corinna and Drossel, Kerstin and Eickelmann, Birgit, year=2020, pages=1–20 
LibreCat: /record/27864
DOI: 10.1186/s40536-020-00090-1

@articleEickelmann_Drossel_2020, title=Schulschließungen und Perspektiven für die Pandemie-Zeit, volume=29, number=12, journal=SchulVerwaltung Baden-Württemberg, author=Eickelmann, Birgit and Drossel, Kerstin, year=2020, pages=328–331 
LibreCat: /record/27865

@inbookDrossel_Eickelmann_2020, place=Wiesbaden, title=Der Einsatz von Tablets am Gymnasium und der Zusammenhang mit der Entwicklung computerbezogener Kompetenzen von Schüler*innen, booktitle=Mobile Medien im Schulkontext (Reihe Medienbildung und Gesellschaft), publisher=Springer, author=Drossel, Kerstin and Eickelmann, Birgit, editor=Meister, Dorothee M. and Midt, Ilka, year=2020, pages=135–153 
LibreCat: /record/27866

@inbookEickelmann_Drossel_2020, place=Cham, title=Students’ computer literacy and the use of tablets in upper secondary schools, DOI=10.1007/978-3-030-10576-1, booktitle=Encyclopedia of Education and Information Technologies, publisher=Springer, author=Eickelmann, Birgit and Drossel, Kerstin, editor=Tatnall, Arthur, year=2020, pages=1577–1589 
LibreCat: /record/27867
DOI: 10.1007/978-3-030-10576-1

@bookEickelmann_Drossel_2020, place=Berlin/Düsseldorf, title=Digitales Potenzial. Erfolgreiche Förderung digitaler Kompetenzen von Schülerinnen und Schülern an nicht-gymnasialen Schulen der Sekundarstufe I, publisher=Vodafone Stiftung, author=Eickelmann, Birgit and Drossel, Kerstin, year=2020 
LibreCat: /record/27869

@bookTeidla-Kunitsõn_2020, title=ICT usage across Europe: A literature review and an overview of existing data, DOI=10.6084/M9.FIGSHARE.12906737, publisher=LibreCat University, author=Teidla-Kunitsõn, Gertha, year=2020 
LibreCat: /record/27873
DOI: 10.6084/M9.FIGSHARE.12906737

@articleDalvandi_Doherty_Dongol_Wehrheim_2020, title=Owicki-Gries Reasoning for10.4230/DARTS.6.2.15__RAR (Artifact), volume=6, DOI=10.4230/DARTS.6.2.15, number=2, journal=Dagstuhl Artifacts Ser., author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, year=2020, pages=15:1-15:2 
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

@inproceedingsDalvandi_Doherty_Dongol_Wehrheim_2020, series=LIPIcs, title=Owicki-Gries Reasoning for10.4230/LIPIcs.ECOOP.2020.11__RAR, volume=166, DOI=10.4230/LIPIcs.ECOOP.2020.11, booktitle=34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), publisher=Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, editor=Hirschfeld, Robert and Pape, TobiasEditors, year=2020, pages=11:1-11:26, collection=LIPIcs 
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

@inproceedingsRichter_Wehrheim_2020, title=Attend and Represent: A Novel View on Algorithm Selection for Software Verification, booktitle=35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, publisher=IEEE, author=Richter, Cedric and Wehrheim, Heike, year=2020, pages=1016–1028 
LibreCat: /record/21018

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

@articleAllgaier_Ansari_Donohue_Eigner_Quiring_Ricken_Brecht_Silberhorn_2020, title=Pulse shaping using dispersion-engineered difference frequency generation, volume=101, DOI=10.1103/physreva.101.043819, number=043819, journal=Physical Review A, author=Allgaier, M. and Ansari, V. and Donohue, J. M. and Eigner, Christof and Quiring, V. and Ricken, R. and Brecht, Benjamin and Silberhorn, Christine, year=2020 
LibreCat: /record/21022
DOI: 10.1103/physreva.101.043819

@articleAnsari_Donohue_Brecht_Silberhorn_2020, title=Remotely projecting states of photonic temporal modes, volume=28, DOI=10.1364/oe.395593, number=1928295–28305, journal=Optics Express, author=Ansari, Vahid and Donohue, John M. and Brecht, Benjamin and Silberhorn, Christine, year=2020 
LibreCat: /record/21024
DOI: 10.1364/oe.395593

@inbookMenke_2020, place=Tübingen, title=»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen, booktitle=Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, publisher=Narr Francke Attempto, author=Menke, Peter, editor=Kluge, Bettina and Mihatsch, Wiltrud and Schaller, BirteEditors, year=2020, pages=225–244 
LibreCat: /record/21078

@bookManegold_2020, title=On Batch Proofs of Partial Knowledge, author=Manegold, Philipp, year=2020 
LibreCat: /record/21117

@bookAnonymous_2020, title=Measuring the Performance of SNARK Libraries, author=Anonymous, Anonymous, year=2020 
LibreCat: /record/21118

@bookWesterwelle_2020, title=Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, author=Westerwelle, Max, year=2020 
LibreCat: /record/21119

@bookAnonymous_2020, title=Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, author=Anonymous, Anonymous, year=2020 
LibreCat: /record/21121