@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

@articlePekkarinen_Hennala_Tuisku_Gustafsson_Johansson-Pajala_Thommes_Hoppe_Melkas_2020, title=Care robots in society: Knowledge and orientation needs, DOI=10.4017/gt.2020.19.s.69664, journal=Gerontechnology, author=Pekkarinen, Satu and Hennala, Lea and Tuisku, Outi and Gustafsson, Christine and Johansson-Pajala, Rose-Marie and Thommes, Kirsten and Hoppe, Julia Amelie and Melkas, Helinä, year=2020 
LibreCat: /record/21126
DOI: 10.4017/gt.2020.19.s.69664

@articleJohansson-Pajala_Thommes_Hoppe_Tuisku_Hennala_Pekkarinen_Melkas_Gustafsson_2020, title=The need for care robot orientation in elder care services, DOI=10.4017/gt.2020.19.s.69574, journal=Gerontechnology, author=Johansson-Pajala, Rose-Marie and Thommes, Kirsten and Hoppe, Julia Amelie and Tuisku, Outi and Hennala, Lea and Pekkarinen, Satu and Melkas, Helinä and Gustafsson, Christine, year=2020 
LibreCat: /record/21127
DOI: 10.4017/gt.2020.19.s.69574

@bookOtroshi_Meschut_Masendorf_Esderts_2020, title=Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile, publisher=Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), author=Otroshi, Mortaza and Meschut, Gerson and Masendorf, Lukas and Esderts, Alfons, year=2020 
LibreCat: /record/21152

@inproceedingsAlexandrovsky_Volkmar_Spliethöver_Finke_Herrlich_Döring_Smeddinck_Malaka_2020, place=New York, NY, USA, series=CHI PLAY’20, title=Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy, DOI=10.1145/3410404.3414222, booktitle=Proceedings of the Annual Symposium on Computer-Human Interaction in Play, publisher=Association for Computing Machinery, author=Alexandrovsky, Dmitry and Volkmar, Georg and Spliethöver, Maximilian and Finke, Stefan and Herrlich, Marc and Döring, Tanja and Smeddinck, Jan David and Malaka, Rainer, year=2020, pages=32–45, collection=CHI PLAY’20 
LibreCat: /record/21174
DOI: 10.1145/3410404.3414222

@bookWolf_2020, place=Paderborn, title=Service System Innovation: An Ambidexterity Perspective, author=Wolf, Verena, year=2020 
LibreCat: /record/21205

@bookAhlers_2020, series=Forschungsberichte des Direct Manufacturing Research Centers, title=Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V , volume=19, publisher=Shaker, author=Ahlers, Dominik, year=2020, collection=Forschungsberichte des Direct Manufacturing Research Centers 
LibreCat: /record/21209