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
S. Dalvandi, S. Doherty, B. Dongol, and H. 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), 2020, vol. 166, pp. 11:1-11:26.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
C. Richter and H. 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, 2020, pp. 1016–1028.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21078
P. Menke, “»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, B. Kluge, W. Mihatsch, and B. Schaller, Eds. Tübingen: Narr Francke Attempto, 2020, pp. 225–244.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
A. Anonymous, Measuring the Performance of SNARK Libraries. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems. 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
M. Otroshi, G. Meschut, L. Masendorf, and A. 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
D. Alexandrovsky 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, 2020, pp. 32–45.
LibreCat
| DOI
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 21205
V. Wolf, Service System Innovation: An Ambidexterity Perspective. Paderborn, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 21209
D. Ahlers, Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V , vol. 19. Shaker, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21239
S. K. Sahoo, J. J. Heske, M. Antonietti, Q. Qin, M. Oschatz, and T. Kühne, “Electrochemical N2 Reduction to Ammonia Using Single Au/Fe Atoms Supported on Nitrogen-Doped Porous Carbon,” ACS Applied Energy Materials, vol. 3, no. 10, pp. 10061–10069, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21241
H. Wiebeler, R. Kormath Madam Raghupathy, S. H. Mirhosseini, and T. Kühne, “Virtual screening of nitrogen-, phosphorous- and halide-containing materials as p-type transparent conductors,” Journal of Physics: Materials, vol. 4, no. 1, p. 015004, 2020.
LibreCat
| DOI