Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).

New optimal control problems in density functional theory motivated by photovoltaics
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.

Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.

The Regge symmetry, confocal conics, and the Schläfli formula
A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society 51 (2019) 765–775.

Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.

Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.

Social dilemmas among unequals
O.P. Hauser, C. Hilbe, K. Chatterjee, M.A. Nowak, Nature 572 (2019) 524–527.

On isometric embeddings of Wasserstein spaces – the discrete case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (2019).

Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.

Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.

Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.

Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.

Modeling cell-cell interactions in the brain using cerebral organoids
B. Oliveira, A.Ç. Yahya, G. Novarino, Brain Research 1724 (2019).

Ethylene and cytokinin - partners in root growth regulation
C. Artner, E. Benková, Molecular Plant 12 (2019) 1312–1314.

SparCML: High-performance sparse communication for machine learning
C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, T. Hoefler, in:, International Conference for High Performance Computing, Networking, Storage and Analysis, SC, ACM, 2019.

Large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. Di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, Nature Biotechnology 37 (2019) 1466–1470.

Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018
V. Jaksic, R. Seiringer, Journal of Mathematical Physics 60 (2019).

Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R. Butlin, (2019).

Reversible proofs of sequential work
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.

Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.