Zebrafish embryonic explants undergo genetically encoded self-assembly
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).

Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, Institute of Science and Technology Austria, 2020.

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.

Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, BioRxiv (n.d.).

Molecular mechanisms for targeted ASD treatments
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.

Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.

Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation
G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).

Plants with genetically encoded autoluminescence
T. Mitiouchkina, A.S. Mishin, L. Gonzalez Somermeyer, N.M. Markina, T.V. Chepurnyh, E.B. Guglya, T.A. Karataeva, K.A. Palkina, E.S. Shakhova, L.I. Fakhranurova, S.V. Chekova, A.S. Tsarkova, Y.V. Golubev, V.V. Negrebetsky, S.A. Dolgushin, P.V. Shalaev, D. Shlykov, O.A. Melnik, V.O. Shipunova, S.M. Deyev, A.I. Bubyrev, A.S. Pushin, V.V. Choob, S.V. Dolgov, F. Kondrashov, I.V. Yampolsky, K.S. Sarkisyan, Nature Biotechnology 38 (2020) 944–946.

Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).

Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).

Cellular locomotion using environmental topography
A. Reversat, F.R. Gärtner, J. Merrin, J.A. Stopp, S. Tasciyan, J.L. Aguilera Servin, I. de Vries, R. Hauschild, M. Hons, M. Piel, A. Callan-Jones, R. Voituriez, M.K. Sixt, Nature 582 (2020) 582–585.

Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.

Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).

Enhancement of proximity induced superconductivity in planar Germanium
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Marti-Sanchez, M. Veldhorst, J. Arbiol, G. Scappucci, G. Katsaros, ArXiv (n.d.).

Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (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.

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.

An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).

Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.