Kampjut, D. (2020). Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8340 
LibreCat: https://research-explorer.ista.ac.at/record/8340
DOI: 10.15479/AT:ISTA:8340

Dimchev, G. A., Amiri, B., Humphries, A. C., Schaks, M., Dimchev, V., Stradal, T. E. B.,https://doi.org/10.1242/jcs.239020__Rottner, K. (2020). Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation. Journal of Cell Science. The Company of Biologists.https://doi.org/10.1242/jcs.239020 
LibreCat: https://research-explorer.ista.ac.at/record/8434
DOI: 10.1242/jcs.239020
WoS: 000534387800005
PMID:  32094266

Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Nicolas, A., Sommer, C. M.,https://doi.org/10.1101/2020.01.10.902064 __Novarino, G. (n.d.). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2020.01.10.902064  
LibreCat: https://research-explorer.ista.ac.at/record/7800
DOI: 10.1101/2020.01.10.902064 

Basilico, B., Morandell, J., &; Novarino, G. (2020). Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. Elsevier.https://doi.org/10.1016/j.gde.2020.06.004 
LibreCat: https://research-explorer.ista.ac.at/record/8131
DOI: 10.1016/j.gde.2020.06.004
WoS: 000598918900019
PMID: 32659636

Mitiouchkina, T., Mishin, A. S., Gonzalez Somermeyer, L., Markina, N. M., Chepurnyh, T. V., Guglya, E. B.,https://doi.org/10.1038/s41587-020-0500-9__Sarkisyan, K. S. (2020). Plants with genetically encoded autoluminescence. Nature Biotechnology. Springer Nature.https://doi.org/10.1038/s41587-020-0500-9 
LibreCat: https://research-explorer.ista.ac.at/record/7889
DOI: 10.1038/s41587-020-0500-9
WoS: 000529298800003
PMID: 32341562

Slovakova, J., Sikora, M. K., Caballero Mancebo, S., Krens, G., Kaufmann, W., Huljev, K., &; Heisenberg, C.-P. J. (2020). Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2020.11.20.391284 
LibreCat: https://research-explorer.ista.ac.at/record/9750
DOI: 10.1101/2020.11.20.391284

Garcia Soto, M., &; Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2020.100856 
LibreCat: https://research-explorer.ista.ac.at/record/7426
DOI: 10.1016/j.nahs.2020.100856
WoS: 000528828600003

Reversat, A., Gärtner, F. R., Merrin, J., Stopp, J. A., Tasciyan, S., Aguilera Servin, J. L.,https://doi.org/10.1038/s41586-020-2283-z__Sixt, M. K. (2020). Cellular locomotion using environmental topography. Nature. Springer Nature.https://doi.org/10.1038/s41586-020-2283-z 
LibreCat: https://research-explorer.ista.ac.at/record/7885
DOI: 10.1038/s41586-020-2283-z
WoS: 000532688300008

Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8983 
LibreCat: https://research-explorer.ista.ac.at/record/8983
DOI: 10.15479/AT:ISTA:8983

Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A.,https://doi.org/10.1101/2020.09.18.301481__Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv.https://doi.org/10.1101/2020.09.18.301481 
LibreCat: https://research-explorer.ista.ac.at/record/8557
DOI: 10.1101/2020.09.18.301481

Aggarwal, K., Hofmann, A. C., Jirovec, D., Prieto Gonzalez, I., Sammak, A., Botifoll, M.,  Katsaros, G. (n.d.). Enhancement of proximity induced superconductivity in planar Germanium. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/8831
arXiv: 2012.00322

Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., &; Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms21186737 
LibreCat: https://research-explorer.ista.ac.at/record/8532
DOI: 10.3390/ijms21186737
WoS: 000579945300001

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature.https://doi.org/10.1007/978-3-030-44914-8_5 
LibreCat: https://research-explorer.ista.ac.at/record/7810
DOI: 10.1007/978-3-030-44914-8_5
WoS: 000681656800005

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 
LibreCat: https://research-explorer.ista.ac.at/record/8728
DOI: 10.1007/978-3-030-59152-6_14
WoS: 000723555700014

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 
LibreCat: https://research-explorer.ista.ac.at/record/8089
DOI: 10.1145/3385412.3385969
WoS: 000614622300045
arXiv: 1902.04373

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 
LibreCat: https://research-explorer.ista.ac.at/record/6918
DOI: 10.1016/j.ress.2019.106665
WoS: 000501641400050
arXiv: 1712.09692

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 
LibreCat: https://research-explorer.ista.ac.at/record/7161
DOI: 10.1007/s10957-019-01616-6
WoS: 000511805200009

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 
LibreCat: https://research-explorer.ista.ac.at/record/7652
DOI: 10.1038/s41559-020-1132-7
WoS: 000519008300005

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 
LibreCat: https://research-explorer.ista.ac.at/record/7258
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8653
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/7427
DOI: 10.1016/j.cub.2019.11.058
WoS: 000511287900018
PMID: 31956021

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 
LibreCat: https://research-explorer.ista.ac.at/record/7500
DOI: 10.1111/nph.16446
WoS: 000514939700001
PMID: 31971254

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 
LibreCat: https://research-explorer.ista.ac.at/record/8822
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8350
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8569
DOI: 10.3389/fcell.2020.574382
WoS: 000577915900001
PMID: 33102480

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 
LibreCat: https://research-explorer.ista.ac.at/record/7815
DOI: 10.3791/61147
WoS: 000546406600043

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 
LibreCat: https://research-explorer.ista.ac.at/record/7902
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8190
DOI: 10.1083/jcb.202007029
WoS: 000573631000004

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 
LibreCat: https://research-explorer.ista.ac.at/record/8986
DOI: 10.1126/sciadv.abc8895
WoS: 000599903600014
PMID: 33310852

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 
LibreCat: https://research-explorer.ista.ac.at/record/8283
DOI: 10.3390/ijms21165727
WoS: 000565090300001
PMID: 32785037

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 
LibreCat: https://research-explorer.ista.ac.at/record/8139
DOI: 10.1242/jcs.248062
WoS: 000561047900021
PMID: 32616560

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 
LibreCat: https://research-explorer.ista.ac.at/record/9160
DOI: 10.1016/j.xplc.2020.100048
WoS: 000654052800010
PMID: 33367243

Yankowitz, M., Chen, S., Polshyn, H., Watanabe, K., Taniguchi, T., Graf, D.,https://doi.org/10.36471/jccm_february_2019_03__Finney, J. (2019). New correlated phenomena in magic-angle twisted bilayer graphene/s. Journal Club for Condensed Matter Physics. Simons Foundationf; University of California, Riverside.https://doi.org/10.36471/jccm_february_2019_03 
LibreCat: https://research-explorer.ista.ac.at/record/10664
DOI: 10.36471/jccm_february_2019_03

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 
LibreCat: https://research-explorer.ista.ac.at/record/10877
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/441
DOI: 10.1007/s40879-018-0218-0
arXiv: 1711.02089

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 
LibreCat: https://research-explorer.ista.ac.at/record/5793
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5887
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6515
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6528
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6565
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/6628

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 
LibreCat: https://research-explorer.ista.ac.at/record/6648
DOI: 10.4230/LIPICS.SOCG.2019.31
arXiv: 1903.08510

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 
LibreCat: https://research-explorer.ista.ac.at/record/6659
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6725
DOI: 10.4230/LIPICS.ICALP.2019.77
arXiv: 1803.02289

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 
LibreCat: https://research-explorer.ista.ac.at/record/6726
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6750
DOI: 10.1109/TSP.2019.2944738
arXiv: 1903.09203

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 
LibreCat: https://research-explorer.ista.ac.at/record/6759
DOI: 10.37236/8096
arXiv: 1808.04148

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 
LibreCat: https://research-explorer.ista.ac.at/record/6822
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6887
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840