Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Endocytosis of BRASSINOSTEROID INSENSITIV is partly driven by a canonical tyrosine-based Motif
D. Liu, R. Kumar, C. LAN, A.J. Johnson, W. Siao, I. Vanhoutte, P. Wang, K. Bender, K. Yperman, S. Martins, X. Zhao, G. Vert, D. Van Damme, J. Friml, E. Russinova, Plant Cell 32 (2020) 3598–3612.

Reduction of neuronal activity mediated by blood-vessel regression in the brain
X. Gao, J.-L. Li, X. Chen, B. Ci, F. Chen, N. Lu, B. Shen, L. Zheng, J.-M. Jia, Y. Yi, S. Zhang, Y.-C. Shi, K. Shi, N.E. Propson, Y. Huang, K. Poinsatte, Z. Zhang, Y. Yue, D.B. Bosco, Y. Lu, S. Yang, R.H. Adams, V. Lindner, F. Huang, L.-J. Wu, H. Zheng, F. Han, S. Hippenmeyer, A.M. Stowe, B. Peng, M. Margeta, X. Wang, Q. Liu, J. Körbelin, M. Trepel, H. Lu, B.O. Zhou, H. Zhao, W. Su, R.M. Bachoo, W. Ge, BioRxiv (n.d.).

Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, Institute of Science and Technology Austria, 2020.

Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.

Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).

A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).

Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).

HypercubeME: Two hundred million combinatorially complete datasets from a single experiment
L.A. Esteban, L.R. Lonishin, D.M. Bobrovskiy, G. Leleytner, N.S. Bogatyreva, F. Kondrashov, D.N. Ivankov, Bioinformatics 36 (2020) 1960–1962.

Filtering spins by scattering from a lattice of point magnets
A. Ghazaryan, M. Lemeshko, A. Volosniev, Communications Physics 3 (2020).

The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, Institute of Science and Technology Austria, 2020.

Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, Institute of Science and Technology Austria, 2020.

Tracing the cellular basis of islet specification in mouse pancreas
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).

Equality conditions of data processing inequality for ;1-z Rényi relative entropies
H. Zhang, Journal of Mathematical Physics 61 (2020).

A note on belief structures and s-approximation spaces
A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar Meybodi, Iranian Journal of Mathematical Sciences and Informatics 15 (2020) 117–128.

Abscission couples cell division to embryonic stem cell fate
A. Chaigne, C. Labouesse, I.J. White, M. Agnew, E.B. Hannezo, K.J. Chalut, E.K. Paluch, Developmental Cell 55 (2020) 195–208.

LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia
C. Henneberger, L. Bard, A. Panatier, J.P. Reynolds, O. Kopach, N.I. Medvedev, D. Minge, M.K. Herde, S. Anders, I. Kraev, J.P. Heller, S. Rama, K. Zheng, T.P. Jensen, I. Sanchez-Romero, C.J. Jackson, H.L. Janovjak, O.P. Ottersen, E.A. Nagelhus, S.H.R. Oliet, M.G. Stewart, U.Va. Nägerl, D.A. Rusakov, Neuron 108 (2020) 9–936..

Neural circuit policies enabling auditable autonomy
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.

An adhesion code ensures robust pattern formation during tissue morphogenesis
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.

A KAM theorem for finitely differentiable Hamiltonian systems
E. Koudjinan, Journal of Differential Equations 269 (2020) 4720–4750.