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 AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec J. 2020. A role of graphs in evolutionary processes. IST Austria.
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.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová Z. 2020. Reconfiguration problems. IST Austria.
View | Files available | DOI
 

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

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. 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: 8350
Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep E. 2020. Local adaptation in metapopulations. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
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: 8958 | OA
Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body environment. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7460 | OA
Ölsböck K. 2020. The hole system of triangulated shapes. IST Austria.
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.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
Mayer S. 2020. The free energy of a dilute two-dimensional Bose gas. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7629 | OA
Forkert DL. 2020. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. 2020. On the average-case hardness of total search problems. IST Austria.
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.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. 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
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications