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
Ayllón, Sara, Monica Barbovschi, Gianna Casamassima, Kerstin Drossel, Birgit Eickelmann, Cosmin Ghețău, Teo Paul Haragus, et al. ICT Usage across Europe: A Literature Review and an Overview of Existing Data. DigiGen working package 2, 2020. https://doi.org/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. Berlin/Düsseldorf: 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. https://doi.org/10.6084/M9.FIGSHARE.12906737.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser. 6, no. 2 (2020): 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR.” In 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020. https://doi.org/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.” In 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, 1016–28. {IEEE}, 2020.
LibreCat
 

2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21022
Allgaier, M., V. Ansari, J. M. Donohue, Christof Eigner, V. Quiring, R. Ricken, Benjamin Brecht, and Christine Silberhorn. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.” Physical Review A 101 (2020). https://doi.org/10.1103/physreva.101.043819.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21023
Engelkemeier, M., L. Lorz, Syamsundar De, Benjamin Brecht, I. Dhand, M. B. Plenio, Christine Silberhorn, and J. Sperling. “Quantum Photonics with Active Feedback Loops.” Physical Review A 102 (2020). https://doi.org/10.1103/physreva.102.023712.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21024
Ansari, Vahid, John M. Donohue, Benjamin Brecht, and Christine Silberhorn. “Remotely Projecting States of Photonic Temporal Modes.” Optics Express 28, no. 19 (2020). https://doi.org/10.1364/oe.395593.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21025
Eigner, Christof, Laura Padberg, Matteo Santandrea, Harald Herrmann, Benjamin Brecht, and Christine Silberhorn. “Spatially Single Mode Photon Pair Source at 800 Nm in Periodically Poled Rubidium Exchanged KTP Waveguides.” Optics Express 28, no. 22 (2020). https://doi.org/10.1364/oe.399483.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21078
Menke, Peter. “»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen.” In Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, edited by Bettina Kluge, Wiltrud Mihatsch, and Birte Schaller, 225–244. Tübingen: Narr Francke Attempto, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, Philipp. On Batch Proofs of Partial Knowledge, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, Anonymous. Measuring the Performance of SNARK Libraries, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, Anonymous. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21126
Pekkarinen, Satu, Lea Hennala, Outi Tuisku, Christine Gustafsson, Rose-Marie Johansson-Pajala, Kirsten Thommes, Julia Amelie Hoppe, and Helinä Melkas. “Care Robots in Society: Knowledge and Orientation Needs.” Gerontechnology, 2020. https://doi.org/10.4017/gt.2020.19.s.69664.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21127
Johansson-Pajala, Rose-Marie, Kirsten Thommes, Julia Amelie Hoppe, Outi Tuisku, Lea Hennala, Satu Pekkarinen, Helinä Melkas, and Christine Gustafsson. “The Need for Care Robot Orientation in Elder Care Services.” Gerontechnology, 2020. https://doi.org/10.4017/gt.2020.19.s.69574.
LibreCat | DOI
 

2020 | Report | LibreCat-ID: 21152
Otroshi, Mortaza, Gerson Meschut, Lukas Masendorf, and Alfons Esderts. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat | Files available | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky, Dmitry, Georg Volkmar, Maximilian Spliethöver, Stefan Finke, Marc Herrlich, Tanja Döring, Jan David Smeddinck, and Rainer Malaka. “Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy.” In Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 32–45. CHI PLAY’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3410404.3414222.
LibreCat | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed