Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., &; Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature.https://doi.org/10.1007/978-3-030-59152-6_14 

Chatterjee, K., Fu, H., Goharshady, A. K., &; Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery.https://doi.org/10.1145/3385412.3385969 

Goharshady, A. K., &; Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier.https://doi.org/10.1016/j.ress.2019.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. Springer Nature.https://doi.org/10.1007/s10957-019-01616-6 

Tomanek, I., Grah, R., Lagator, M., Andersson, A. M. C., Bollback, J. P., Tkadik, G., &; Guet, C. C. (2020). Gene amplification as a form of population-level gene expression regulation. Nature Ecology &; Evolution. Springer Nature.https://doi.org/10.1038/s41559-020-1132-7 

Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7258 

Tomanek, I. (2020). The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8653 

Tan, S., Abas, M. F., Verstraeten, I., Glanc, M., Molnar, G., Hajny, J.,https://doi.org/10.1016/j.cub.2019.11.058__Friml, J. (2020). Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2019.11.058 

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. Wiley.https://doi.org/10.1111/nph.16446 

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.https://doi.org/10.15479/AT:ISTA:8822 

Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8350 

Hansen, A. H., &; Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers.https://doi.org/10.3389/fcell.2020.574382 

Beattie, R. J., Streicher, C., Amberg, N., Cheung, G. T., Contreras, X., Hansen, A. H., &; Hippenmeyer, S. (2020). Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. MyJove Corporation.https://doi.org/10.3791/61147 

Contreras, X. (2020). Genetic dissection of neural development in health and disease at single cell resolution. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7902 

Sixt, M. K., &; Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.202007029 

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. AAAS.https://doi.org/10.1126/sciadv.abc8895 

Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y.,https://doi.org/10.3390/ijms21165727__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. MDPI.https://doi.org/10.3390/ijms21165727 

Johnson, A. J., 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. The Company of Biologists.https://doi.org/10.1242/jcs.248062 

Semerádová, H., Montesinos López, J. C., &; Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. Elsevier.https://doi.org/10.1016/j.xplc.2020.100048 

Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A.,https://doi.org/10.29007/rjwn__Zaffanella, E. (2019). ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse &; M. Althoff (Eds.), ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13). Montreal, Canada: EasyChair.https://doi.org/10.29007/rjwn 

Kalinin, N., &; Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature.https://doi.org/10.1007/s40879-018-0218-0 

Asaoka, Y., Morita, H., Furumoto, H., Heisenberg, C.-P. J., &; Furutani-Seiki, M. (2019). Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In A. Hergovich (Ed.), The hippo pathway (Vol. 1893, pp. 167–181). Springer.https://doi.org/10.1007/978-1-4939-8910-2_14 

Demay, G., Gazi, P., Maurer, U., &; Tackmann, B. (2019). Per-session security: Password-based cryptography revisited. Journal of Computer Security. IOS Press.https://doi.org/10.3233/JCS-181131 

Dyer, R., Vegter, G., &; Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . Carleton University.https://doi.org/10.20382/jocg.v10i1a9 

Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ITCS.2019.60 

Kundu, A., Garcia Soto, M., &; Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE.https://doi.org/10.1109/INDIANCC.2019.8715598 

Vegter, G., &; Wintraecken, M. (2019). The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. In The 31st Canadian Conference in Computational Geometry (pp. 275–279). Edmonton, Canada.

Edelsbrunner, H., Virk, Z., &; Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SOCG.2019.31 

Zenmyo, N., Tokumaru, H., Uchinomiya, S., Fuchida, H., Tabata, S., Hamachi, I.,https://doi.org/10.1246/bcsj.20190034__Ojida, A. (2019). Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan. Bulletin of the Chemical Society of Japan.https://doi.org/10.1246/bcsj.20190034 

Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ICALP.2019.77 

Walter, M. (2019). Sampling the integers with low relative error. In J. Buchmann, A. Nitaj, &; T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019 (Vol. 11627, pp. 157–180). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-23696-0_9 

Hashemi, S. A., Condo, C., Mondelli, M., &; Gross, W. J. (2019). Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. IEEE.https://doi.org/10.1109/TSP.2019.2944738 

Jelínek, V., &; Töpfer, M. (2019). On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics.https://doi.org/10.37236/8096 

Avni, G., Henzinger, T. A., Ibsen-Jensen, R., &; Novotny, P. (2019). Bidding games on Markov decision processes. In https://doi.org/10.1007/978-3-030-30806-3_1__Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer.https://doi.org/10.1007/978-3-030-30806-3_1 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.7 

Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., &; Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE.https://doi.org/10.1109/icra.2019.8793840 

Aghajohari, M., Avni, G., &; Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.20 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.27 

Chatterjee, K., &; Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.6 

Nowak, T., &; Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.DISC.2019.29 

Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., &; Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE.https://doi.org/10.1109/ijcnn.2019.8851954 

Mondelli, M., Hassani, S. H., &; Urbanke, R. (2019). A new coding paradigm for the primitive relay channel. Algorithms. MDPI.https://doi.org/10.3390/a12100218 

Geher, G. P., Titkos, T., &; Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.

Kersting, K., Lampert, C., &; Rothkopf, C. (Eds.). (2019). Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt (1st ed.). Wiesbaden: Springer Nature.https://doi.org/10.1007/978-3-658-26763-6 

Fulek, R., &; Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SOCG.2019.39 

Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., &; Mikudionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen &; G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature.https://doi.org/10.1007/978-3-319-91908-9_22 

Portinale, L., &; Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.

Bialek, W., Gregor, T., &; Tkadik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.

Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M.,https://doi.org/10.29007/m75b__Schilling, C. (2019). ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications.https://doi.org/10.29007/m75b 

Betea, D., Bouttier, J., Nejjar, P., &; Vuletíc, M. (2019). New edge asymptotics of skew Young diagrams via free boundaries. In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana, Slovenia: Formal Power Series and Algebraic Combinatorics.