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.
37005 Publications
2020 | Book Chapter | LibreCat-ID: 27867
Eickelmann B, Drossel K. Students’ computer literacy and the use of tablets in upper secondary schools. In: Tatnall A, ed. Encyclopedia of Education and Information Technologies. Springer; 2020:1577-1589. doi:10.1007/978-3-030-10576-1
LibreCat
| DOI
2020 | Book | LibreCat-ID: 27869
Eickelmann B, Drossel K. 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 G. 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 S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 2020;6(2):15:1-15:2. doi:10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26. doi:10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter C, Wehrheim H. 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. {IEEE}; 2020:1016-1028.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt W, Wehrheim H, eds. 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, Ansari V, Donohue JM, et al. Pulse shaping using dispersion-engineered difference frequency generation. Physical Review A. 2020;101. doi:10.1103/physreva.101.043819
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
Ansari V, Donohue JM, Brecht B, Silberhorn C. Remotely projecting states of photonic temporal modes. Optics Express. 2020;28(19). doi:10.1364/oe.395593
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21078
Menke P. »ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen. In: Kluge B, Mihatsch W, Schaller B, eds. Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag. Tübingen: Narr Francke Attempto; 2020:225–244.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold P. On Batch Proofs of Partial Knowledge.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous A. Measuring the Performance of SNARK Libraries.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle M. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous A. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21126
Pekkarinen S, Hennala L, Tuisku O, et al. Care robots in society: Knowledge and orientation needs. Gerontechnology. 2020. doi:10.4017/gt.2020.19.s.69664
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21127
Johansson-Pajala R-M, Thommes K, Hoppe JA, et al. The need for care robot orientation in elder care services. Gerontechnology. 2020. doi:10.4017/gt.2020.19.s.69574
LibreCat
| DOI
2020 | Report | LibreCat-ID: 21152
Otroshi M, Meschut G, Masendorf L, Esderts A. 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 D, Volkmar G, Spliethöver M, et al. 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. CHI PLAY’20. New York, NY, USA: Association for Computing Machinery; 2020:32–45. doi:10.1145/3410404.3414222
LibreCat
| DOI
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 21205
Wolf V. Service System Innovation: An Ambidexterity Perspective. Paderborn; 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 21209
Ahlers D. Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V . Vol 19. Shaker; 2020.
LibreCat