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.
114 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
2020 | Thesis | IST-REx-ID: 8340
Kampjut, D. (2020). Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria. https://doi.org/10.15479/AT:ISTA:8340
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria. https://doi.org/10.15479/AT:ISTA:8358
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8386 |
Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria. https://doi.org/10.15479/AT:ISTA:8386
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7996 |
Kukucka, J. (2020). Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. IST Austria. https://doi.org/10.15479/AT:ISTA:7996
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8589
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. IST Austria. https://doi.org/10.15479/AT:ISTA:8589
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8620
Morandell, J. (2020). Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. IST Austria. https://doi.org/10.15479/AT:ISTA:8620
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8653
Tomanek, I. (2020). The evolution of gene expression by copy number and point mutations. IST Austria. https://doi.org/10.15479/AT:ISTA:8653
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8657
Kavcic, B. (2020). Perturbations of protein synthesis: from antibiotics to genetics and physiology. IST Austria. https://doi.org/10.15479/AT:ISTA:8657
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8822
Hajny, J. (2020). Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. IST Austria. https://doi.org/10.15479/AT:ISTA:8822
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |
Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria. https://doi.org/10.15479/AT:ISTA:8390
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8983
Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue invasion. IST Austria. https://doi.org/10.15479/AT:ISTA:8983
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7258 |
Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. IST Austria. https://doi.org/10.15479/AT:ISTA:7258
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6179 |
Schröder, D. J. (2019). From Dyson to Pearcey: Universal statistics in random matrix theory. IST Austria. https://doi.org/10.15479/AT:ISTA:th6179
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6269 |
Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . IST Austria. https://doi.org/10.15479/at:ista:th1075
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |
Espinoza Martinez, C. M. (2019). Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. IST Austria. https://doi.org/10.15479/AT:ISTA:6363
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6435 |
Casillas Perez, B. E. (2019). Collective defenses of garden ants against a fungal pathogen. IST Austria. https://doi.org/10.15479/AT:ISTA:6435
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546 |
Valosková, K. (2019). The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6546
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6371 |
Igler, C. (2019). On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. IST Austria. https://doi.org/10.15479/AT:ISTA:6371
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6681 |
Zhechev, S. Y. (2019). Algorithmic aspects of homotopy theory and embeddability. IST Austria. https://doi.org/10.15479/AT:ISTA:6681
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6894 |
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. IST Austria. https://doi.org/10.15479/AT:ISTA:6894
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. IST Austria. https://doi.org/10.15479/AT:ISTA:6473
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6957 |
Paranjape, C. S. (2019). Onset of turbulence in plane Poiseuille flow. IST Austria. https://doi.org/10.15479/AT:ISTA:6957
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7132 |
Mckenzie, C. (2019). Design and characterization of methods and biological components to realize synthetic neurotransmission. IST Austria. https://doi.org/10.15479/at:ista:7132
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7172 |
Vasileva, M. K. (2019). Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. IST Austria. https://doi.org/10.15479/AT:ISTA:7172
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7186 |
Schwayer, C. (2019). Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. IST Austria. https://doi.org/10.15479/AT:ISTA:7186
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6071 |
Prizak, R. (2019). Coevolution of transcription factors and their binding sites in sequence space. IST Austria. https://doi.org/10.15479/at:ista:th6071
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6891 |
Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6891
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6947 |
Assen, F. P. (2019). Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. IST Austria. https://doi.org/10.15479/AT:ISTA:6947
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849 |
Rangel Guerrero, D. K. (2019). The role of CCK-interneurons in regulating hippocampal network dynamics. IST Austria. https://doi.org/10.15479/AT:ISTA:6849
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6825 |
Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. IST Austria. https://doi.org/10.15479/AT:ISTA:6825
View
| Files available
| DOI