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.

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.

Allgaier, M., et al. “Pulse Shaping Using Dispersion-Engineered Difference Frequency Generation.”10.1103/physreva.101.043819__Physical Review A, vol. 101, 043819, 2020, doi:10.1103/physreva.101.043819.

Ansari, Vahid, et al. “Remotely Projecting States of Photonic Temporal Modes.”10.1364/oe.395593__Optics Express, vol. 28, no. 19, 28295–28305, 2020, doi:10.1364/oe.395593.

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.

Manegold, Philipp. On Batch Proofs of Partial Knowledge. 2020.

Anonymous, Anonymous. Measuring the Performance of SNARK Libraries. 2020.

Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.

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

Pekkarinen, Satu, et al. “Care Robots in Society: Knowledge and Orientation Needs.”10.4017/gt.2020.19.s.69664__Gerontechnology, 2020, doi:10.4017/gt.2020.19.s.69664.