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.
36785 Publications
2020 | Book | LibreCat-ID: 27869
Eickelmann, B., & Drossel, K. (2020). Digitales Potenzial. Erfolgreiche Förderung digitaler Kompetenzen von Schülerinnen und Schülern an nicht-gymnasialen Schulen der Sekundarstufe I. Vodafone Stiftung.
LibreCat
2020 | Research Data | LibreCat-ID: 27873
Teidla-Kunitsõn, G. (2020). ICT usage across Europe: A literature review and an overview of existing data. LibreCat University. https://doi.org/10.6084/M9.FIGSHARE.12906737
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser., 6(2), 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, C., & Wehrheim, H. (2020). Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020 (pp. 1016–1028). {IEEE}.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21022
Allgaier, M., Ansari, V., Donohue, J. M., Eigner, C., Quiring, V., Ricken, R., … Silberhorn, C. (2020). Pulse shaping using dispersion-engineered difference frequency generation. Physical Review A, 101. https://doi.org/10.1103/physreva.101.043819
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
Ansari, V., Donohue, J. M., Brecht, B., & Silberhorn, C. (2020). Remotely projecting states of photonic temporal modes. Optics Express, 28(19). https://doi.org/10.1364/oe.395593
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21078
Menke, P. (2020). »ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen. In B. Kluge, W. Mihatsch, & B. Schaller (Eds.), Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag (pp. 225–244). Tübingen: Narr Francke Attempto.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, P. (2020). On Batch Proofs of Partial Knowledge.
LibreCat