Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
646 Publications
2020 |Published| Journal Article | IST-REx-ID: 7426 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, 100856, Elsevier, 2020, doi:10.1016/j.nahs.2020.100856.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7885
Reversat, Anne, et al. “Cellular Locomotion Using Environmental Topography.” Nature, vol. 582, Springer Nature, 2020, pp. 582–585, doi:10.1038/s41586-020-2283-z.
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8983 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Emtenani, Shamsi. Metabolic Regulation of Drosophila Macrophage Tissue Invasion. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8983.
[Published Version]
View
| Files available
| DOI
2020 |Submitted| Preprint | IST-REx-ID: 8557 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Belyaeva, Vera, et al. “Cortical Actin Properties Controlled by Drosophila Fos Aid Macrophage Infiltration against Surrounding Tissue Resistance.” BioRxiv, doi:10.1101/2020.09.18.301481.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 |Submitted| Preprint | IST-REx-ID: 8831 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aggarwal, Kushagra, et al. “Enhancement of Proximity Induced Superconductivity in Planar Germanium.” ArXiv, 2012.00322.
[Submitted Version]
View
| Files available
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8532 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.” International Journal of Molecular Sciences, vol. 21, no. 18, 6737, MDPI, 2020, doi:10.3390/ijms21186737.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 7810 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” European Symposium on Programming, vol. 12075, Springer Nature, 2020, pp. 112–40, doi:10.1007/978-3-030-44914-8_5.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8728 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Asadi, Ali, et al. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.” Automated Technology for Verification and Analysis, vol. 12302, Springer Nature, 2020, pp. 253–70, doi:10.1007/978-3-030-59152-6_14.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8089 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” 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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 6918 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety, vol. 193, 106665, Elsevier, 2020, doi:10.1016/j.ress.2019.106665.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7161 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shehu, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications, vol. 184, Springer Nature, 2020, pp. 877–894, doi:10.1007/s10957-019-01616-6.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7652 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tomanek, Isabella, et al. “Gene Amplification as a Form of Population-Level Gene Expression Regulation.” Nature Ecology & Evolution, vol. 4, no. 4, Springer Nature, 2020, pp. 612–25, doi:10.1038/s41559-020-1132-7.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 7258 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scarselli, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7258.
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8653 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7427 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tan, Shutang, et al. “Salicylic Acid Targets Protein Phosphatase 2A to Attenuate Growth in Plants.” Current Biology, vol. 30, no. 3, Cell Press, 2020, p. 381–395.e8, doi:10.1016/j.cub.2019.11.058.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7500 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mazur, E., et al. “Auxin Canalization and Vascular Tissue Formation by TIR1/AFB-Mediated Auxin Signaling in Arabidopsis.” New Phytologist, vol. 226, no. 5, Wiley, 2020, pp. 1375–83, doi:10.1111/nph.16446.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Thesis | IST-REx-ID: 8822 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8350 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shamipour, Shayan. Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes . Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8350.
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hansen, Andi H., and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” Frontiers in Cell and Developmental Biology, vol. 8, no. 9, 574382, Frontiers, 2020, doi:10.3389/fcell.2020.574382.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7815 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Beattie, Robert J., et al. “Lineage Tracing and Clonal Analysis in Developing Cerebral Cortex Using Mosaic Analysis with Double Markers (MADM).” Journal of Visual Experiments, no. 159, e61147, MyJove Corporation, 2020, doi:10.3791/61147.
[Published Version]
View
| Files available
| DOI
| WoS