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.
21880 Publications
2020 | Book Chapter | LibreCat-ID: 27867
Eickelmann, Birgit, and Kerstin Drossel. “Students’ Computer Literacy and the Use of Tablets in Upper Secondary Schools.” Encyclopedia of Education and Information Technologies, edited by Arthur Tatnall, Springer, 2020, pp. 1577–89, doi:10.1007/978-3-030-10576-1.
LibreCat
| DOI
2020 | Research Data | LibreCat-ID: 27868
Ayllón, Sara, et al. ICT Usage across Europe: A Literature Review and an Overview of Existing Data. DigiGen working package 2, 2020, doi:10.6084/M9.FIGSHARE.12906737.
LibreCat
| DOI
2020 | Book | LibreCat-ID: 27869
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
2020 | Research Data | LibreCat-ID: 27873
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
| DOI
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” 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{\"{u}}r Informatik, 2020, pp. 11:1-11:26, doi:10.4230/LIPIcs.ECOOP.2020.11.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
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
2020 | Conference (Editor) | LibreCat-ID: 21019
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
| DOI
2020 | Journal Article | LibreCat-ID: 21022
Allgaier, M., et al. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.” Physical Review A, vol. 101, 043819, 2020, doi:10.1103/physreva.101.043819.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21023
Engelkemeier, M., et al. “Quantum Photonics with Active Feedback Loops.” Physical Review A, vol. 102, 023712, 2020, doi:10.1103/physreva.102.023712.
LibreCat
| DOI