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
Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7196.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7680
Kainrath, Stephanie. “Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7680.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová, Zuzana. “Reconfiguration Problems.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7944.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov, Sergey. “Topological Methods in Geometry and Discrete Mathematics.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8156.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353
Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8353.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8350
Shamipour, Shayan. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes .” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8350.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep, Eniko. “Local Adaptation in Metapopulations.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8574.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8366.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8958 | OA
Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8958.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7460 | OA
Ölsböck, Katharina. “The Hole System of Triangulated Shapes.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7460.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7525
Bhandari, Pradeep. “Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7525.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
Mayer, Simon. “The Free Energy of a Dilute Two-Dimensional Bose Gas.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7514.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7629 | OA
Forkert, Dominik L. “Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7629.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg, Chethan. “On the Average-Case Hardness of Total Search Problems.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7896.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902
Contreras, Ximena. “Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7902.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints Shape Evolution.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8155.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications