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