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.
37434 Publications
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.