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.
10763 Publications
2020 | Published | Journal Article | IST-REx-ID: 7161 | 
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: 8190 |
Sixt, Michael K., and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology in Context.” The Journal of Cell Biology, vol. 219, no. 8, e202007029, Rockefeller University Press, 2020, doi:10.1083/jcb.202007029.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7387 |
Baranova, Natalia S., et al. “Diffusion and Capture Permits Dynamic Coupling between Treadmilling FtsZ Filaments and Cell Division Proteins.” Nature Microbiology, vol. 5, Springer Nature, 2020, pp. 407–17, doi:10.1038/s41564-019-0657-5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
Shevchenko, Aleksandr, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, ML Research Press, 2020, pp. 8773–84.
[Published Version]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7426 |
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 | Thesis | IST-REx-ID: 8340 |
Kampjut, Domen. Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8340.
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8434 |
Dimchev, Georgi A., et al. “Lamellipodin Tunes Cell Migration by Stabilizing Protrusions and Promoting Adhesion Formation.” Journal of Cell Science, vol. 133, no. 7, jcs239020, The Company of Biologists, 2020, doi:10.1242/jcs.239020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8707 |
Galan, Silvia, et al. “CHESS Enables Quantitative Comparison of Chromatin Contact Data and Automatic Feature Extraction.” Nature Genetics, vol. 52, Springer Nature, 2020, pp. 1247–55, doi:10.1038/s41588-020-00712-y.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 7680 |
Kainrath, Stephanie. Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7680.
View
| Files available
| DOI
2020 | Draft | Preprint | IST-REx-ID: 8831 |
Aggarwal, Kushagra, et al. “Enhancement of Proximity Induced Superconductivity in Planar Germanium.” ArXiv, 2012.00322, doi:10.48550/arXiv.2012.00322.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8002 |
Hörmayer, Lukas, et al. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 26, 202003346, National Academy of Sciences, 2020, doi:10.1073/pnas.2003346117.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 7258 |
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 | Journal Article | IST-REx-ID: 6918 |
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 | Conference Paper | IST-REx-ID: 7810 |
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 |
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 |
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: 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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8350 |
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: 8532 |
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 | Journal Article | IST-REx-ID: 8569 |
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