Please note that IST 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.
139 Publications
2021 | Thesis | IST-REx-ID: 8934
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 | 
Tkadlec, J. (2020). A role of graphs in evolutionary processes. IST Austria. https://doi.org/10.15479/AT:ISTA:7196
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7680
Kainrath, S. (2020). Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. IST Austria. https://doi.org/10.15479/AT:ISTA:7680
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7944 |
Masárová, Z. (2020). Reconfiguration problems. IST Austria. https://doi.org/10.15479/AT:ISTA:7944
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. IST Austria. https://doi.org/10.15479/AT:ISTA:8032
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8156 |
Avvakumov, S. (2020). Topological methods in geometry and discrete mathematics. IST Austria. https://doi.org/10.15479/AT:ISTA:8156
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8353
Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. IST Austria. https://doi.org/10.15479/AT:ISTA:8353
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8350
Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . IST Austria. https://doi.org/10.15479/AT:ISTA:8350
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8574 |
Szep, E. (2020). Local adaptation in metapopulations. IST Austria. https://doi.org/10.15479/AT:ISTA:8574
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8366 |
Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. IST Austria. https://doi.org/10.15479/AT:ISTA:8366
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8958 |
Li, X. (2020). Rotation of coupled cold molecules in the presence of a many-body environment. IST Austria. https://doi.org/10.15479/AT:ISTA:8958
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7460 |
Ölsböck, K. (2020). The hole system of triangulated shapes. IST Austria. https://doi.org/10.15479/AT:ISTA:7460
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7525
Bhandari, P. (2020). Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. IST Austria. https://doi.org/10.15479/AT:ISTA:7525
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7514 |
Mayer, S. (2020). The free energy of a dilute two-dimensional Bose gas. IST Austria. https://doi.org/10.15479/AT:ISTA:7514
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7629 |
Forkert, D. L. (2020). Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. IST Austria. https://doi.org/10.15479/AT:ISTA:7629
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7896 |
Kamath Hosdurg, C. (2020). On the average-case hardness of total search problems. IST Austria. https://doi.org/10.15479/AT:ISTA:7896
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7902
Contreras, X. (2020). Genetic dissection of neural development in health and disease at single cell resolution. IST Austria. https://doi.org/10.15479/AT:ISTA:7902
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |
Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:8155
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria. https://doi.org/10.15479/AT:ISTA:8332
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8341
Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. IST Austria. https://doi.org/10.15479/AT:ISTA:8341
View
| Files available
| DOI