Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. dikeli, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.

Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.

Solving partially observable stochastic shortest-path games
P. Tomásek, K. Horák, A. Aradhye, B. Bosanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.

Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.

Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.

The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).

Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.

Long-term activity drives dendritic branch elaboration of a C. elegans sensory neuron
J.A. Cohn, E.R. Cebul, G. Valperga, L. Brose, M. de Bono, M.G. Heiman, J.T. Pierce, Developmental Biology 461 (2020) 66–74.

Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.

Weighted Poisson–Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.

Inferring symbolic dynamics of chaotic flows from persistence
G. Yalniz, N.B. Budanur, Chaos 30 (2020).

Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.

The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).

Slow quantum thermalization and many-body revivals from mixed phase space
A. Michailidis, C.J. Turner, Z. Papi, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).

Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.

Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.

Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.

Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).

Lithium–Oxygen batteries
Y.K. Petit, E. Mourad, S.A. Freunberger, in:, Encyclopedia of Electrochemistry, Wiley, 2020, pp. 1–42.

LI determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).