B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.

P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020.

G. F. Osang, M. Rouxel-Labbé, and M. Teillaud, “Generalizing CGAL periodic Delaunay triangulations,” in 28th Annual European Symposium on Algorithms, Virtual, Online; Pisa, Italy, 2020, vol. 173.

M. Phuong and C. Lampert, “Functional vs. parametric equivalence of ReLU networks,” in 8th International Conference on Learning Representations, Online, 2020.

D. Feliciangeli and R. Seiringer, “Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball,” SIAM Journal on Mathematical Analysis, vol. 52, no. 1. Society for Industrial &; Applied Mathematics , pp. 605–622, 2020.

J. L. Fischer and S. Hensel, “Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension,” Archive for Rational Mechanics and Analysis, vol. 236. Springer Nature, pp. 967–1087, 2020.

J. L. Fischer, S. Hensel, T. Laux, and T. Simon, “The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions,” arXiv. .

M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, and J. M. Fink, “Surpassing the resistance quantum with a geometric superinductor,” Physical Review Applied, vol. 14, no. 4. American Physical Society, 2020.

P. Gladbach, E. Kopfer, J. Maas, and L. Portinale, “Homogenisation of one-dimensional discrete optimal transport,” Journal de Mathematiques Pures et Appliquees, vol. 139, no. 7. Elsevier, pp. 204–234, 2020.

D. L. Forkert, J. Maas, and L. Portinale, “Evolutionary -convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions,” arXiv. .

N. H. Konstantinov, E. Frantar, D.-A. Alistarh, and C. Lampert, “On the sample complexity of adversarial multi-source PAC learning,” in Proceedings of the 37th International Conference on Machine Learning, Online, 2020, vol. 119, pp. 5416–5425.

W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, and G. Bighin, “Detecting composite orders in layered models via machine learning,” New Journal of Physics, vol. 22, no. 9. IOP Publishing, 2020.

K. Mysliwy and R. Seiringer, “Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit,” Annales Henri Poincare, vol. 21, no. 12. Springer Nature, pp. 4003–4025, 2020.

R. Grah and T. Friedlander, “The relation between crosstalk and gene regulation form revisited,” PLOS Computational Biology, vol. 16, no. 2. Public Library of Science, 2020.

L. Santini et al., “Novel imprints in mouse blastocysts are predominantly DNA methylation independent,” bioRxiv. Cold Spring Harbor Laboratory.

R. Grah and T. Friedlander, “Maximizing crosstalk.” Public Library of Science, 2020.

B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” Institute of Science and Technology Austria, 2020.

P. Gladbach, E. Kopfer, and J. Maas, “Scaling limits of discrete optimal transport,” SIAM Journal on Mathematical Analysis, vol. 52, no. 3. Society for Industrial and Applied Mathematics, pp. 2759–2802, 2020.

I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, and R. Ando, “Simulating liquids on dynamically warping grids,” IEEE Transactions on Visualization and Computer Graphics, vol. 26, no. 6. IEEE, pp. 2288–2302, 2020.

X. Li, “Rotation of coupled cold molecules in the presence of a many-body environment,” Institute of Science and Technology Austria, 2020.