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
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
View
| Files available
| DOI
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9022 |

Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, IST Austria, 2021.
View
| Files available
| DOI
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9056 |

Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, IST Austria, 2021.
View
| Files available
| DOI
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, IST Austria, 2021.
2020 | Thesis | IST-REx-ID: 7996 |

Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
View
| Files available
| DOI
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8032 |

Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
View
| Files available
| DOI
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8155 |

Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View
| Files available
| DOI
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8156 |

Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View
| Files available
| DOI
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8332 |

Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8340
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
View
| Files available
| DOI
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8341
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8350
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
View
| Files available
| DOI
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8353
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
View
| Files available
| DOI
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8358 |

Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, IST Austria, 2020.
View
| Files available
| DOI
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8366 |

Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
View
| Files available
| DOI
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8386 |

Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8390 |

Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
View
| Files available
| DOI
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8574 |

Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
View
| Files available
| DOI
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8589
Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
View
| Files available
| DOI
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8620
Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, IST Austria, 2020.
View
| Files available
| DOI
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8653
The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, IST Austria, 2020.
View
| Files available
| DOI
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8657
Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, IST Austria, 2020.
View
| Files available
| DOI
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8822
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, IST Austria, 2020.
View
| Files available
| DOI
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7196 |

A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View
| Files available
| DOI
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7460 |

The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7514 |

The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
View
| Files available
| DOI
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7629 |

Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
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
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7680
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
View
| Files available
| DOI
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7896 |

On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, IST Austria, 2020.
View
| Files available
| DOI
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7902
Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, IST Austria, 2020.
View
| Files available
| DOI
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7944 |

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

Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, IST Austria, 2020.
View
| Files available
| DOI
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8983
Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, IST Austria, 2020.
View
| Files available
| DOI
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7258 |

New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, IST Austria, 2020.
View
| Files available
| DOI
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, IST Austria, 2020.
2019 | Thesis | IST-REx-ID: 7172 |

Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
View
| Files available
| DOI
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 7186 |

Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
View
| Files available
| DOI
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6071 |

Coevolution of transcription factors and their binding sites in sequence space
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
View
| Files available
| DOI
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6179 |

From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6473 |

Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
View
| Files available
| DOI
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6681 |

Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View
| Files available
| DOI
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6894 |

Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6957 |

Onset of turbulence in plane Poiseuille flow
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, IST Austria, 2019.
View
| Files available
| DOI
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6435 |

Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
View
| Files available
| DOI
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6269 |

Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
View
| Files available
| DOI
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6849 |

The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
View
| Files available
| DOI
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6891 |

The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6947 |

Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
View
| Files available
| DOI
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6371 |

On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View
| Files available
| DOI
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 7132 |

Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
View
| Files available
| DOI
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6546 |

The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
View
| Files available
| DOI
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.