Richter, Cedric, and Heike 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, 1016–28. IEEE, 2020.
LibreCat: /record/21018

Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-50995-8 .
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

Allgaier, M., V. Ansari, J. M. Donohue, Christof Eigner, V. Quiring, R. Ricken, Benjamin Brecht, and Christine Silberhorn. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.”https://doi.org/10.1103/physreva.101.043819__Physical Review A 101 (2020).https://doi.org/10.1103/physreva.101.043819 .
LibreCat: /record/21022
DOI: 10.1103/physreva.101.043819

Ansari, Vahid, John M. Donohue, Benjamin Brecht, and Christine Silberhorn. “Remotely Projecting States of Photonic Temporal Modes.”https://doi.org/10.1364/oe.395593__Optics Express 28, no. 19 (2020).https://doi.org/10.1364/oe.395593 .
LibreCat: /record/21024
DOI: 10.1364/oe.395593

Menke, Peter. “»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, edited by Bettina Kluge, Wiltrud Mihatsch, and Birte Schaller, 225–244. Tübingen: Narr Francke Attempto, 2020.
LibreCat: /record/21078

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

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

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

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

Pekkarinen, Satu, Lea Hennala, Outi Tuisku, Christine Gustafsson, Rose-Marie Johansson-Pajala, Kirsten Thommes, Julia Amelie Hoppe, and Helinä Melkas. “Care Robots in Society: Knowledge and Orientation Needs.”https://doi.org/10.4017/gt.2020.19.s.69664__Gerontechnology, 2020.https://doi.org/10.4017/gt.2020.19.s.69664 .
LibreCat: /record/21126
DOI: 10.4017/gt.2020.19.s.69664