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
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 | OA
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 | OA
Z. Masárová, “Reconfiguration problems,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
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 | OA
E. Szep, “Local adaptation in metapopulations,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
R. Grah, “Gene regulation across scales – how biophysical constraints shape evolution,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
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
 

Filters and Search Terms

type=dissertation

Search

Filter Publications