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, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26, doi: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.” 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–28.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, editors. 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., et al. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.” Physical Review A, vol. 101, 043819, 2020, doi:10.1103/physreva.101.043819.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
Ansari, Vahid, et al. “Remotely Projecting States of Photonic Temporal Modes.” Optics Express, vol. 28, no. 19, 28295–28305, 2020, doi:10.1364/oe.395593.
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.” Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, edited by Bettina Kluge et al., Narr Francke Attempto, 2020, pp. 225–244.
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, 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, Rose-Marie, 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, Mortaza, et al. 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, et al. “Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy.” Proceedings of the Annual Symposium on Computer-Human Interaction in Play, Association for Computing Machinery, 2020, pp. 32–45, doi:10.1145/3410404.3414222.
LibreCat
| DOI
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 21205
Wolf, Verena. Service System Innovation: An Ambidexterity Perspective. 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 21209
Ahlers, Dominik. 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, Eva Alexandra, and Lea Hansjürgen. “Volunteer World GmbH – Schildkrötenretten als Business Case.” Wettbewerbsfähigkeit von Start-ups, Erfolgreiche Düsseldorfer Unternehmen, edited by Eva Lutz and Stefan Süß, düsseldorf university press, 2020, pp. 91–106, doi:10.1515/9783110663839-008.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21239
Sahoo, Sudhir K., et al. “Electrochemical N2 Reduction to Ammonia Using Single Au/Fe Atoms Supported on Nitrogen-Doped Porous Carbon.” ACS Applied Energy Materials, vol. 3, no. 10, American Chemical Society, 2020, pp. 10061–69, doi:10.1021/acsaem.0c01740.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21241
Wiebeler, Hendrik, et al. “Virtual Screening of Nitrogen-, Phosphorous- and Halide-Containing Materials as p-Type Transparent Conductors.” Journal of Physics: Materials, vol. 4, no. 1, {IOP} Publishing, 2020, p. 015004, doi:10.1088/2515-7639/abc762.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21257
Altenhöner, Reinhard, 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