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.
116 Publications
2021 | Thesis | IST-REx-ID: 8934
Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9022 | 
Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. IST Austria.
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9056 |
Osang GF. 2021. Multi-cover persistence and Delaunay mosaics. Klosterneuburg: IST Austria.
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.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |
Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8156 |
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8340
Kampjut D. 2020. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8350
Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . IST Austria.
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.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria.
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.
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.
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.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8574 |
Szep E. 2020. Local adaptation in metapopulations. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8589
Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. IST Austria.
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.
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.
View
| Files available
| DOI