Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.

Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.

Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.

Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.

Prioritised learning in snowdrift-type games
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).

Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.

Approximating values of generalized-reachability stochastic games
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, 2020, pp. 102–115.

Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.

A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.

Singular SPDEs in domains with boundaries
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.

Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.

Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.

Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.

Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.

The wonderful compactification for quantum groups
I.V. Ganev, Journal of the London Mathematical Society 99 (2019) 778–806.

Poisson–Delaunay Mosaics of Order k
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 62 (2019) 865–878.

Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone
C. Andalo, M. Burrus, S. Paute, C. Lauzeral, D. Field, Botany Letters 166 (2019) 80–92.

Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling
N. Petridou, S. Grigolon, G. Salbreux, E.B. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.

Extending partial representations of circle graphs
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory 91 (2019) 365–394.