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.
337 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 | 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: 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: 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: 22255 |
Spectral rigidity and nonrigidity of dynamical systems
Y. Li, Spectral Rigidity and Nonrigidity of Dynamical Systems, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
Y. Li, Spectral Rigidity and Nonrigidity of Dynamical Systems, 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: 22281 |
Handling updates and failures: Dynamic graph algorithms and distributed computing on dynamic networks
A. El-Hayek, Handling Updates and Failures: Dynamic Graph Algorithms and Distributed Computing on Dynamic Networks, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
A. El-Hayek, Handling Updates and Failures: Dynamic Graph Algorithms and Distributed Computing on Dynamic Networks, 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: 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: 22258 |
From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics
A. Depope, From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
A. Depope, From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22017
Unraveling the origin and evolution of defects to enable advanced thermoelectric performance
T. Kleinhanns, Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
T. Kleinhanns, Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance, 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 | PhD |
IST-REx-ID: 22334 |
Exploring protein dynamics using specific labeling approaches for solid-state MAS NMR
L.M. Becker, Exploring Protein Dynamics Using Specific Labeling Approaches for Solid-State MAS NMR, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
L.M. Becker, Exploring Protein Dynamics Using Specific Labeling Approaches for Solid-State MAS NMR, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22626
Mechanistic insight into solution-processed p-type tin chalcogenides as a basis for designing their n-type analogs
C. Fiedler, Mechanistic Insight into Solution-Processed p-Type Tin Chalcogenides as a Basis for Designing Their n-Type Analogs, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
C. Fiedler, Mechanistic Insight into Solution-Processed p-Type Tin Chalcogenides as a Basis for Designing Their n-Type Analogs, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22694 |
Equivariant K-theory of affine Grassmannians in representation theory and arithmetic
J. Löwit, Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J. Löwit, Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22684 |
Experimental probing of nanoscale charge features and surface morphology changes during tribocharging
F. Pertl, Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
F. Pertl, Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22744
Large-scale imaging of cellular actin networks at single filament resolution using montage cryo-electron tomography
M. Javoor, Large-Scale Imaging of Cellular Actin Networks at Single Filament Resolution Using Montage Cryo-Electron Tomography, Institute of Science and Technology Austria , 2026.
View
| Files available
| DOI
M. Javoor, Large-Scale Imaging of Cellular Actin Networks at Single Filament Resolution Using Montage Cryo-Electron Tomography, Institute of Science and Technology Austria , 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22664 |
Towards efficient secure group messaging
M. Cueto Noval, Towards Efficient Secure Group Messaging, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Cueto Noval, Towards Efficient Secure Group Messaging, 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.