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.
343 Publications
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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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.
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.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, 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: 19048 |
Emergent physics of rotating quantum impurities in many-body environments
M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, 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: 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: 19478
The cAMP second messenger in auxin signalling
H. Chen, The CAMP Second Messenger in Auxin Signalling, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
H. Chen, The CAMP Second Messenger in Auxin Signalling, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19540 |
Modeling complex quantum systems : Random matrices, BCS theory, and quantum lattice systems
S.J. Henheik, Modeling Complex Quantum Systems : Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S.J. Henheik, Modeling Complex Quantum Systems : Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.