Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.”10.1016/j.nahs.2020.100856__Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, 100856, Elsevier, 2020, doi:10.1016/j.nahs.2020.100856.
LibreCat: https://research-explorer.ista.ac.at/record/7426
DOI: 10.1016/j.nahs.2020.100856
WoS: 000528828600003

Emtenani, Shamsi. Metabolic Regulation of Drosophila Macrophage Tissue Invasion. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8983.
LibreCat: https://research-explorer.ista.ac.at/record/8983
DOI: 10.15479/AT:ISTA:8983

Belyaeva, Vera, et al. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.”10.1101/2020.09.18.301481__BioRxiv, doi:10.1101/2020.09.18.301481.
LibreCat: https://research-explorer.ista.ac.at/record/8557
DOI: 10.1101/2020.09.18.301481

Aggarwal, Kushagra, et al. “Enhancement of Proximity Induced Superconductivity in Planar Germanium.” ArXiv, 2012.00322.
LibreCat: https://research-explorer.ista.ac.at/record/8831
arXiv: 2012.00322

Kleindienst, David, et al. “Deep Learning-Assisted High-Throughput Analysis of Freeze-Fracture Replica Images Applied to Glutamate Receptors and Calcium Channels at Hippocampal Synapses.”10.3390/ijms21186737__International Journal of Molecular Sciences, vol. 21, no. 18, 6737, MDPI, 2020, doi:10.3390/ijms21186737.
LibreCat: https://research-explorer.ista.ac.at/record/8532
DOI: 10.3390/ijms21186737
WoS: 000579945300001

Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.”10.1007/978-3-030-44914-8_5__European Symposium on Programming, vol. 12075, Springer Nature, 2020, pp. 112–40, doi: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, Ali, et al. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.”10.1007/978-3-030-59152-6_14__Automated Technology for Verification and Analysis, vol. 12302, Springer Nature, 2020, pp. 253–70, doi: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, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.”10.1145/3385412.3385969__Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–87, doi:10.1145/3385412.3385969.
LibreCat: https://research-explorer.ista.ac.at/record/8089
DOI: 10.1145/3385412.3385969
WoS: 000614622300045
arXiv: 1902.04373

Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.”10.1016/j.ress.2019.106665__Reliability Engineering and System Safety, vol. 193, 106665, Elsevier, 2020, doi: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, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.”10.1007/s10957-019-01616-6__Journal of Optimization Theory and Applications, vol. 184, Springer Nature, 2020, pp. 877–894, doi: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, Isabella, et al. “Gene Amplification as a Form of Population-Level Gene Expression Regulation.”10.1038/s41559-020-1132-7__Nature Ecology &; Evolution, vol. 4, no. 4, Springer Nature, 2020, pp. 612–25, doi: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, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7258.
LibreCat: https://research-explorer.ista.ac.at/record/7258
DOI: 10.15479/AT:ISTA:7258

Tomanek, Isabella. The Evolution of Gene Expression by Copy Number and Point Mutations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8653.
LibreCat: https://research-explorer.ista.ac.at/record/8653
DOI: 10.15479/AT:ISTA:8653

Tan, Shutang, et al. “Salicylic Acid Targets Protein Phosphatase 2A to Attenuate Growth in Plants.”10.1016/j.cub.2019.11.058__Current Biology, vol. 30, no. 3, Cell Press, 2020, p. 381–395.e8, doi: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., et al. “Auxin Canalization and Vascular Tissue Formation by TI/AFB-Mediated Auxin Signaling in Arabidopsis.”10.1111/nph.16446__New Phytologist, vol. 226, no. 5, Wiley, 2020, pp. 1375–83, doi:10.1111/nph.16446.
LibreCat: https://research-explorer.ista.ac.at/record/7500
DOI: 10.1111/nph.16446
WoS: 000514939700001
PMID: 31971254

Hajny, Jakub. Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8822.
LibreCat: https://research-explorer.ista.ac.at/record/8822
DOI: 10.15479/AT:ISTA:8822

Shamipour, Shayan. Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes . Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8350.
LibreCat: https://research-explorer.ista.ac.at/record/8350
DOI: 10.15479/AT:ISTA:8350

Hansen, Andi H., and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.”10.3389/fcell.2020.574382__Frontiers in Cell and Developmental Biology, vol. 8, no. 9, 574382, Frontiers, 2020, doi: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, Robert J., et al. “Lineage Tracing and Clonal Analysis in Developing Cerebral Cortex Using Mosaic Analysis with Double Markers (MADM).”10.3791/61147__Journal of Visual Experiments, no. 159, e61147, MyJove Corporation, 2020, doi:10.3791/61147.
LibreCat: https://research-explorer.ista.ac.at/record/7815
DOI: 10.3791/61147
WoS: 000546406600043

Contreras, Ximena. Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7902.
LibreCat: https://research-explorer.ista.ac.at/record/7902
DOI: 10.15479/AT:ISTA:7902