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.
2477 Publications
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
2020 | Book Chapter | LibreCat-ID: 21216
Jakob EA, Hansjürgen L. Volunteer World GmbH – Schildkrötenretten als Business Case. In: Lutz E, Süß S, eds. Wettbewerbsfähigkeit von Start-ups, Erfolgreiche Düsseldorfer Unternehmen. düsseldorf university press; 2020:91-106. doi:10.1515/9783110663839-008
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21239
Sahoo SK, Heske JJ, Antonietti M, Qin Q, Oschatz M, Kühne T. Electrochemical N2 Reduction to Ammonia Using Single Au/Fe Atoms Supported on Nitrogen-Doped Porous Carbon. ACS Applied Energy Materials. 2020;3(10):10061-10069. doi:10.1021/acsaem.0c01740
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21241
Wiebeler H, Kormath Madam Raghupathy R, Mirhosseini SH, Kühne T. Virtual screening of nitrogen-, phosphorous- and halide-containing materials as p-type transparent conductors. Journal of Physics: Materials. 2020;4(1):015004. doi:10.1088/2515-7639/abc762
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21257
Altenhöner R, Blümel I, Boehm F, et al. NFDI4Culture - Consortium for research data on material and immaterial cultural heritage. Research Ideas and Outcomes. 2020. doi:10.3897/rio.6.e57036
LibreCat
| DOI