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 | Research Data | LibreCat-ID: 27868
ICT usage across Europe: A literature review and an overview of existing data
S. Ayllón, M. Barbovschi, G. Casamassima, K. Drossel, B. Eickelmann, C. Ghețău, T.P. Haragus, H.B. Holmarsdottir, C. Hyggen, O. Kapella, A. Karatzogianni, S. Lado, D. Levine, T. Lorenz, L. Mifsud, D. Parsanoglou, S. Port, M. Sisask, M. Symeonaki, G. Teidla-Kunitsõn, ICT Usage across Europe: A Literature Review and an Overview of Existing Data, DigiGen working package 2, 2020.
LibreCat
| DOI
S. Ayllón, M. Barbovschi, G. Casamassima, K. Drossel, B. Eickelmann, C. Ghețău, T.P. Haragus, H.B. Holmarsdottir, C. Hyggen, O. Kapella, A. Karatzogianni, S. Lado, D. Levine, T. Lorenz, L. Mifsud, D. Parsanoglou, S. Port, M. Sisask, M. Symeonaki, G. Teidla-Kunitsõn, ICT Usage across Europe: A Literature Review and an Overview of Existing Data, DigiGen working package 2, 2020.
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: 21023
Quantum photonics with active feedback loops
M. Engelkemeier, L. Lorz, S. De, B. Brecht, I. Dhand, M.B. Plenio, C. Silberhorn, J. Sperling, Physical Review A 102 (2020).
LibreCat
| DOI
M. Engelkemeier, L. Lorz, S. De, B. Brecht, I. Dhand, M.B. Plenio, C. Silberhorn, J. Sperling, Physical Review A 102 (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).