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.
258 Publications
2021 | Published | Thesis | IST-REx-ID: 10199 | 
Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10199
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10429 |
Nadiradze, G. (2021). On achieving scalability through relaxation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10429
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10007 |
Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9418 |
Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9056 |
Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10035 |
Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10293 |
Schmid, L. (2021). Evolution of cooperation via (in)direct reciprocity under imperfect information. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10293
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9728 |
Agrawal, N. (2021). Transition to turbulence and drag reduction in particle-laden pipe flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9728
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10135 |
Semerádová, H. (2021). Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10135
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9992 |
Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9992
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10058 |
Jirovec, D. (2021). Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10058
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9562 |
Kleindienst, D. (2021). 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9562
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9397 |
Huljev, K. (2021). Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9397
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10307 |
Tomasek, K. (2021). Pathogenic Escherichia coli hijack the host immune response. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10307
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9962 |
Hansen, A. H. (2021). Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9962
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9623 |
Caballero Mancebo, S. (2021). Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9623
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 8934 |
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8934
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10303 |
Abualia, R. (2021). Role of hormones in nitrate regulated growth. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10303
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10083 |
Li, L. (2021). Rapid cell growth regulation in Arabidopsis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10083
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8032 |
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032
[Published Version]
View
| Files available
| DOI