Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.”https://doi.org/10.1007/978-3-030-53288-8_14__In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53288-8_14 .

Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.”https://doi.org/10.1145/3385412.3385980__In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020.https://doi.org/10.1145/3385412.3385980 .

Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.”https://doi.org/10.15479/AT:ISTA:8358__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8358 .

Osang, Georg F, Mael Rouxel-Labbé, and Monique Teillaud. “Generalizing CGAL Periodic Delaunay Triangulations.”https://doi.org/10.4230/LIPIcs.ESA.2020.75__In 28th Annual European Symposium on Algorithms, Vol. 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.ESA.2020.75 .

Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence of ReLU Networks.” In 8th International Conference on Learning Representations, 2020.

Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of Minimizers of the Pekar Functional on a Ball.”https://doi.org/10.1137/19m126284x__SIAM Journal on Mathematical Analysis. Society for Industrial &; Applied Mathematics , 2020.https://doi.org/10.1137/19m126284x .

Fischer, Julian L, and Sebastian Hensel. “Weak–Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Surface Tension.”https://doi.org/10.1007/s00205-019-01486-2__Archive for Rational Mechanics and Analysis. Springer Nature, 2020.https://doi.org/10.1007/s00205-019-01486-2 .

Fischer, Julian L, Sebastian Hensel, Tim Laux, and Thilo Simon. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, n.d.

Peruzzo, Matilda, Andrea Trioni, Farid Hassani, Martin Zemlicka, and Johannes M Fink. “Surpassing the Resistance Quantum with a Geometric Superinductor.”https://doi.org/10.1103/PhysRevApplied.14.044055__Physical Review Applied. American Physical Society, 2020.https://doi.org/10.1103/PhysRevApplied.14.044055 .

Gladbach, Peter, Eva Kopfer, Jan Maas, and Lorenzo Portinale. “Homogenisation of One-Dimensional Discrete Optimal Transport.”https://doi.org/10.1016/j.matpur.2020.02.008__Journal de Mathematiques Pures et Appliquees. Elsevier, 2020.https://doi.org/10.1016/j.matpur.2020.02.008 .

Forkert, Dominik L, Jan Maas, and Lorenzo Portinale. “Evolutionary -Convergence of Entropic Gradient Flow Structures for Fokker-Planck Equations in Multiple Dimensions.” ArXiv, n.d.

Konstantinov, Nikola H, Elias Frantar, Dan-Adrian Alistarh, and Christoph Lampert. “On the Sample Complexity of Adversarial Multi-Source PAC Learning.” In Proceedings of the 37th International Conference on Machine Learning, 119:5416–25. ML Research Press, 2020.

Rzadkowski, Wojciech, N Defenu, S Chiacchiera, A Trombettoni, and Giacomo Bighin. “Detecting Composite Orders in Layered Models via Machine Learning.”https://doi.org/10.1088/1367-2630/abae44__New Journal of Physics. IOP Publishing, 2020.https://doi.org/10.1088/1367-2630/abae44 .

Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.”https://doi.org/10.1007/s00023-020-00969-3__Annales Henri Poincare. Springer Nature, 2020.https://doi.org/10.1007/s00023-020-00969-3 .

Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.”https://doi.org/10.1371/journal.pcbi.1007642__PLOS Computational Biology. Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1007642 .

Santini, Laura, Florian Halbritter, Fabian Titz-Teixeira, Toru Suzuki, Maki Asami, Julia Ramesmayer, Xiaoyan Ma, et al. “Novel Imprints in Mouse Blastocysts Are Predominantly DNA Methylation Independent.”https://doi.org/10.1101/2020.11.03.366948__BioRxiv. Cold Spring Harbor Laboratory, n.d.https://doi.org/10.1101/2020.11.03.366948 .

Grah, Rok, and Tamar Friedlander. “Maximizing Crosstalk.”https://doi.org/10.1371/journal.pcbi.1007642.s002__Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1007642.s002 .

Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.”https://doi.org/10.15479/AT:ISTA:8332__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8332 .

Gladbach, Peter, Eva Kopfer, and Jan Maas. “Scaling Limits of Discrete Optimal Transport.”https://doi.org/10.1137/19M1243440__SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics, 2020.https://doi.org/10.1137/19M1243440 .

Hikaru, Ibayashi, Chris Wojtan, Nils Thuerey, Takeo Igarashi, and Ryoichi Ando. “Simulating Liquids on Dynamically Warping Grids.”https://doi.org/10.1109/TVCG.2018.2883628__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2020.https://doi.org/10.1109/TVCG.2018.2883628 .