Owicki-Gries Reasoning for  RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020, pp. 11:1-11:26.
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, IEEE, 2020, pp. 1016–1028.
LibreCat: /record/21018

Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

Pulse shaping using dispersion-engineered difference frequency generation
M. Allgaier, V. Ansari, J.M. Donohue, C. Eigner, V. Quiring, R. Ricken, B. Brecht, C. Silberhorn, Physical Review A 101 (2020).
LibreCat: /record/21022
DOI: 10.1103/physreva.101.043819

Remotely projecting states of photonic temporal modes
V. Ansari, J.M. Donohue, B. Brecht, C. Silberhorn, Optics Express 28 (2020).
LibreCat: /record/21024
DOI: 10.1364/oe.395593

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

On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat: /record/21117

Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat: /record/21118

Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat: /record/21119

Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat: /record/21121