Dalvandi, S., Doherty, S., Dongol, B., &; Wehrheim, H. (2020). Owicki-Gries Reasoning forhttps://doi.org/10.4230/LIPIcs.ECOOP.2020.11__RAR. In R. Hirschfeld &; T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik.https://doi.org/10.4230/LIPIcs.ECOOP.2020.11 

Richter, C., &; Wehrheim, H. (2020). 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 (pp. 1016–1028). IEEE.

Ahrendt, W., &; Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer.https://doi.org/10.1007/978-3-030-50995-8 

Allgaier, M., Ansari, V., Donohue, J. M., Eigner, C., Quiring, V., Ricken, R.,https://doi.org/10.1103/physreva.101.043819__Silberhorn, C. (2020). Pulse shaping using dispersion-engineered difference frequency generation. Physical Review A, 101.https://doi.org/10.1103/physreva.101.043819 

Ansari, V., Donohue, J. M., Brecht, B., &; Silberhorn, C. (2020). Remotely projecting states of photonic temporal modes. Optics Express, 28(19).https://doi.org/10.1364/oe.395593 

Menke, P. (2020). »ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen. In B. Kluge, W. Mihatsch, &; B. Schaller (Eds.), Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag (pp. 225–244). Tübingen: Narr Francke Attempto.

Manegold, P. (2020). On Batch Proofs of Partial Knowledge.

Anonymous, A. (2020). Measuring the Performance of SNARK Libraries.

Westerwelle, M. (2020). Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.

Anonymous, A. (2020). Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.

Pekkarinen, S., Hennala, L., Tuisku, O., Gustafsson, C., Johansson-Pajala, R.-M., Thommes, K.,https://doi.org/10.4017/gt.2020.19.s.69664__Melkas, H. (2020). Care robots in society: Knowledge and orientation needs. Gerontechnology.https://doi.org/10.4017/gt.2020.19.s.69664 

Johansson-Pajala, R.-M., Thommes, K., Hoppe, J. A., Tuisku, O., Hennala, L., Pekkarinen, S.,https://doi.org/10.4017/gt.2020.19.s.69574__Gustafsson, C. (2020). The need for care robot orientation in elder care services. Gerontechnology.https://doi.org/10.4017/gt.2020.19.s.69574 

Otroshi, M., Meschut, G., Masendorf, L., &; Esderts, A. (2020). Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB).

Alexandrovsky, D., Volkmar, G., Spliethöver, M., Finke, S., Herrlich, M., Döring, T.,https://doi.org/10.1145/3410404.3414222__Malaka, R. (2020). 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 (pp. 32–45). New York, NY, USA: Association for Computing Machinery.https://doi.org/10.1145/3410404.3414222 

Wolf, V. (2020). Service System Innovation: An Ambidexterity Perspective. Paderborn.

Ahlers, D. (2020). Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V  (Vol. 19). Shaker.

Jakob, E. A., &; Hansjürgen, L. (2020). Volunteer World GmbH – Schildkrötenretten als Business Case. In E. Lutz &; S. Süß (Eds.), Wettbewerbsfähigkeit von Start-ups, Erfolgreiche Düsseldorfer Unternehmen (pp. 91–106). düsseldorf university press.https://doi.org/10.1515/9783110663839-008 

Sahoo, S. K., Heske, J. J., Antonietti, M., Qin, Q., Oschatz, M., &; Kühne, T. (2020). Electrochemical N2 Reduction to Ammonia Using Single Au/Fe Atoms Supported on Nitrogen-Doped Porous Carbon. ACS Applied Energy Materials, 3(10), 10061–10069.https://doi.org/10.1021/acsaem.0c01740 

Wiebeler, H., Kormath Madam Raghupathy, R., Mirhosseini, S. H., &; Kühne, T. (2020). Virtual screening of nitrogen-, phosphorous- and halide-containing materials as p-type transparent conductors. Journal of Physics: Materials, 4(1), 015004.https://doi.org/10.1088/2515-7639/abc762 

Altenhöner, R., Blümel, I., Boehm, F., Bove, J., Bicher, K., Bracht, C.,https://doi.org/10.3897/rio.6.e57036__Wiermann, B. (2020). NFDCulture - Consortium for research data on material and immaterial cultural heritage. Research Ideas and Outcomes.https://doi.org/10.3897/rio.6.e57036