Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
36786 Publications
2020 | Book Chapter | LibreCat-ID: 27860
Advancing Conceptual Models of Technology Integration in Education: Implications for Researchers, Practitioners and Policymakers
J. Tondeur, D. Petko, S. Barma, R. Christensen, K. Drossel, K. Eichhorn, G. Knezek, E. Mukama, D. Schmidt-Crawford, L. Starkey, P. Thabano Nleya, in: P. Fisser, M. Phillips (Eds.), Report of EDUsummIT 2019. Learners and Learning Contexts: New Alignments for the Digital Age, EDUsummIT, Québec City, Canada, 2020, pp. 70–75.
LibreCat
| Download (ext.)
J. Tondeur, D. Petko, S. Barma, R. Christensen, K. Drossel, K. Eichhorn, G. Knezek, E. Mukama, D. Schmidt-Crawford, L. Starkey, P. Thabano Nleya, in: P. Fisser, M. Phillips (Eds.), Report of EDUsummIT 2019. Learners and Learning Contexts: New Alignments for the Digital Age, EDUsummIT, Québec City, Canada, 2020, pp. 70–75.
2020 | Book Chapter | LibreCat-ID: 27863
Lehrer*innenbildung durch medienbezogene Kooperation
K. Drossel, M. Heldt, B. Eickelmann, in: K. Kaspar, M. Becker-Mrozek, S. Hofhues, J. König, D. Schmeinck (Eds.), Bildung, Schule und Digitalisierung, Waxmann, Münster, 2020, pp. 45–50.
LibreCat
K. Drossel, M. Heldt, B. Eickelmann, in: K. Kaspar, M. Becker-Mrozek, S. Hofhues, J. König, D. Schmeinck (Eds.), Bildung, Schule und Digitalisierung, Waxmann, Münster, 2020, pp. 45–50.
2020 | Journal Article | LibreCat-ID: 27864
The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data
M. Heldt, C. Massek, K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 8 (2020) 1–20.
LibreCat
| DOI
M. Heldt, C. Massek, K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 8 (2020) 1–20.
2020 | Journal Article | LibreCat-ID: 27865
Schulschließungen und Perspektiven für die Pandemie-Zeit
B. Eickelmann, K. Drossel, SchulVerwaltung Baden-Württemberg 29 (2020) 328–331.
LibreCat
B. Eickelmann, K. Drossel, SchulVerwaltung Baden-Württemberg 29 (2020) 328–331.
2020 | Book Chapter | LibreCat-ID: 27866
Der Einsatz von Tablets am Gymnasium und der Zusammenhang mit der Entwicklung computerbezogener Kompetenzen von Schüler*innen
K. Drossel, B. Eickelmann, in: D.M. Meister, I. Midt (Eds.), Mobile Medien im Schulkontext (Reihe Medienbildung und Gesellschaft), Springer, Wiesbaden, 2020, pp. 135–153.
LibreCat
K. Drossel, B. Eickelmann, in: D.M. Meister, I. Midt (Eds.), Mobile Medien im Schulkontext (Reihe Medienbildung und Gesellschaft), Springer, Wiesbaden, 2020, pp. 135–153.
2020 | Book Chapter | LibreCat-ID: 27867
Students’ computer literacy and the use of tablets in upper secondary schools
B. Eickelmann, K. Drossel, in: A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies, Springer, Cham, 2020, pp. 1577–1589.
LibreCat
| DOI
B. Eickelmann, K. Drossel, in: A. Tatnall (Ed.), Encyclopedia of Education and Information Technologies, Springer, Cham, 2020, pp. 1577–1589.
2020 | Book | LibreCat-ID: 27869
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
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.
2020 | Research Data | LibreCat-ID: 27873
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
| DOI
G. Teidla-Kunitsõn, ICT Usage across Europe: A Literature Review and an Overview of Existing Data, LibreCat University, 2020.
2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
2020 | Conference Paper | LibreCat-ID: 21017
Owicki-Gries Reasoning for C11 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{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
LibreCat
| DOI
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{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
2020 | Conference Paper | LibreCat-ID: 21018
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
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.
2020 | Conference (Editor) | LibreCat-ID: 21019
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
| DOI
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
2020 | Journal Article | LibreCat-ID: 21022
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
| DOI
M. Allgaier, V. Ansari, J.M. Donohue, C. Eigner, V. Quiring, R. Ricken, B. Brecht, C. Silberhorn, Physical Review A 101 (2020).
2020 | Journal Article | LibreCat-ID: 21024
Remotely projecting states of photonic temporal modes
V. Ansari, J.M. Donohue, B. Brecht, C. Silberhorn, Optics Express 28 (2020).
LibreCat
| DOI
V. Ansari, J.M. Donohue, B. Brecht, C. Silberhorn, Optics Express 28 (2020).
2020 | Book Chapter | LibreCat-ID: 21078
»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
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.
2020 | Bachelorsthesis | LibreCat-ID: 21117
On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21118
Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21119
Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21121
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
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
2020 | Journal Article | LibreCat-ID: 21126
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
| DOI
S. Pekkarinen, L. Hennala, O. Tuisku, C. Gustafsson, R.-M. Johansson-Pajala, K. Thommes, J.A. Hoppe, H. Melkas, Gerontechnology (2020).