Please note that ISTA 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.
174 Publications
2022 | Thesis | IST-REx-ID: 11393
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, ISTA, 2022.
View
| Files available
| DOI
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11362 |

Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11388
The genetic basis of complex traits studied via analysis of evolve and resequence experiments
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, ISTA, 2022.
View
| Files available
| DOI
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11473 |

Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria (ISTA), 2022.
View
| Files available
| DOI
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria (ISTA), 2022.
2022 | Thesis | IST-REx-ID: 10799 |

Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, IST Austria, 2022.
View
| Files available
| DOI
N.H. Konstantinov, Robustness and Fairness in Machine Learning, IST Austria, 2022.
2022 | Thesis | IST-REx-ID: 11626 |

Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria (ISTA), 2022.
View
| Files available
| DOI
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria (ISTA), 2022.
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.
2021 | Thesis | IST-REx-ID: 10007 |

Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, IST Austria, 2021.
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10030 |

Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, IST Austria, 2021.
View
| Files available
| DOI
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10035 |

On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, IST Austria, 2021.
View
| Files available
| DOI
K. Klein, On the Adaptive Security of Graph-Based Games, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10083
Rapid cell growth regulation in Arabidopsis
L. Li, Rapid Cell Growth Regulation in Arabidopsis, IST Austria, 2021.
View
| Files available
| DOI
L. Li, Rapid Cell Growth Regulation in Arabidopsis, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10135
Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, IST Austria, 2021.
View
| Files available
| DOI
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10307
Pathogenic Escherichia coli hijack the host immune response
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, IST Austria, 2021.
View
| Files available
| DOI
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10422 |

Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, IST Austria, 2021.
View
| Files available
| DOI
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10429 |

On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, IST Austria, 2021.
View
| Files available
| DOI
G. Nadiradze, On Achieving Scalability through Relaxation, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9418 |

Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, IST Austria, 2021.
View
| Files available
| DOI
M. Phuong, Underspecification in Deep Learning, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9920 |

Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, IST Austria, 2021.
View
| Files available
| DOI
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9962
Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, IST Austria, 2021.
View
| Files available
| DOI
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10303
Role of hormones in nitrate regulated growth
R. Abualia, Role of Hormones in Nitrate Regulated Growth, IST Austria, 2021.
View
| Files available
| DOI
R. Abualia, Role of Hormones in Nitrate Regulated Growth, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10058
Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, 2021.
View
| Files available
| DOI
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, 2021.
2021 | Thesis | IST-REx-ID: 10293
Evolution of cooperation via (in)direct reciprocity under imperfect information
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, IST Austria, 2021.
View
| Files available
| DOI
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9733 |

The polaron at strong coupling
D. Feliciangeli, The Polaron at Strong Coupling, IST Austria, 2021.
View
| Files available
| DOI
D. Feliciangeli, The Polaron at Strong Coupling, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10199 |

Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, IST Austria, 2021.
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9728 |

Transition to turbulence and drag reduction in particle-laden pipe flows
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, IST Austria, 2021.
View
| Files available
| DOI
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9562 |

2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, IST Austria, 2021.
View
| Files available
| DOI
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9623 |

Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, IST Austria, 2021.
View
| Files available
| DOI
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9992 |

Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, IST Austria, 2021.
View
| Files available
| DOI
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9397 |

Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, IST Austria, 2021.
View
| Files available
| DOI
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, IST Austria, 2021.
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.
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: 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: 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: 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: 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: 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: 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: 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.