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.
316 Publications
2026 |
Published |
Thesis | MS |
IST-REx-ID: 21401 |
Privacy-preserving runtime verification
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21393 |
Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | MS |
IST-REx-ID: 20964
Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels
D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Data heterogeneity and personalization in federated learning
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21021 |
Braiding geometry and topology to study shapes and data
C.D. Fillmore, Braiding Geometry and Topology to Study Shapes and Data, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
C.D. Fillmore, Braiding Geometry and Topology to Study Shapes and Data, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21651 |
On secure chain selection rules from physical resources in a permissionless setting
M.A. Baig, On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M.A. Baig, On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 20991 |
The genomic architecture of local adaptation in introduced populations
D.F. Garcia Castillo, The Genomic Architecture of Local Adaptation in Introduced Populations, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D.F. Garcia Castillo, The Genomic Architecture of Local Adaptation in Introduced Populations, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21854 |
On the utility and effects of efficiency in artificial neural networks
E.B. Iofinova, On the Utility and Effects of Efficiency in Artificial Neural Networks, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
E.B. Iofinova, On the Utility and Effects of Efficiency in Artificial Neural Networks, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21863 |
Interfacing superconducting qubits with optical photons
T. Werner, Interfacing Superconducting Qubits with Optical Photons, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
T. Werner, Interfacing Superconducting Qubits with Optical Photons, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21360
Root system plasticity under nutrient limitation : Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea species
S. Riegler, Root System Plasticity under Nutrient Limitation : Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea Species, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
S. Riegler, Root System Plasticity under Nutrient Limitation : Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea Species, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21423
Geometry-driven self-organization of migrating cells and chiral filaments
Z. Dunajova, Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
Z. Dunajova, Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21957 |
Overcoming degeneracy and singularity : Techniques for semidefinite programs and homotopy continuation endgames
J. Zapata, Overcoming Degeneracy and Singularity : Techniques for Semidefinite Programs and Homotopy Continuation Endgames, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J. Zapata, Overcoming Degeneracy and Singularity : Techniques for Semidefinite Programs and Homotopy Continuation Endgames, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21918
How epistasis and purifying selection shape genetic diversity
K. Khudiakova, How Epistasis and Purifying Selection Shape Genetic Diversity, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
K. Khudiakova, How Epistasis and Purifying Selection Shape Genetic Diversity, Institute of Science and Technology Austria, 2026.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19684 |
Transition to turbulence : Data-, solution-, and pattern-driven approaches
G. Yalniz, Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Yalniz, Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 18979 |
Structures and computations in topological data analysis
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20206 |
Construction of a cryo-super-resolution microscope to guide in situ structure analysis
J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
Cell-Surface Auxin Signaling: Linking molecular pathways to plant development
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19393 |
Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Structural properties of games on graphs
J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20117
The role of dynamin related protein 2A in cytokinin regulated plant growth and development
Y. Wang, The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
Y. Wang, The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development, Institute of Science and Technology Austria, 2025.