Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 12302, 253–270.

Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 672–687.

Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665.

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

Tomanek I, Grah R, Lagator M, Andersson AMC, Bollback JP, Tkadik G, Guet CC. 2020. Gene amplification as a form of population-level gene expression regulation. Nature Ecology &; Evolution. 4(4), 612–625.

Scarselli D. 2020. New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria.

Tomanek I. 2020. The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria.

Tan S, Abas MF, Verstraeten I, Glanc M, Molnar G, Hajny J, Lasák P, Petík I, Russinova E, Petrásek J, Novák O, Pospísil J, Friml J. 2020. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 30(3), 381–395.e8.

Mazur E, Kulik I, Hajny J, Friml J. 2020. Auxin canalization and vascular tissue formation by TI/AFB-mediated auxin signaling in arabidopsis. New Phytologist. 226(5), 1375–1383.

Hajny J. 2020. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. Institute of Science and Technology Austria.

Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.

Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 8(9), 574382.

Beattie RJ, Streicher C, Amberg N, Cheung GT, Contreras X, Hansen AH, Hippenmeyer S. 2020. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. (159), e61147.

Contreras X. 2020. Genetic dissection of neural development in health and disease at single cell resolution. Institute of Science and Technology Austria.

Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 219(8), e202007029.

Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. 2020. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 6(50), eab95.

Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMY, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.

Johnson AJ, Gnyliukh N, Kaufmann W, Narasimhan M, Vert G, Bednarek S, Friml J. 2020. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 133(15), j62.

Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 1(3), 100048.

Frehse G, Abate A, Adzkiya D, Becchi A, Bu L, Cimatti A, Giacobbe M, Griggio A, Mover S, Mufid MS, Riouak I, Tonetta S, Zaffanella E. 2019. ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems, EPiC Series in Computing, vol. 61, 1–13.