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.
145 Publications
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: 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: 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: 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: 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: 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: 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: 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: 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.