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.
308 Publications
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.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22745
Mechanistic insights into MDA5 selectivity and regulation
D. Michalik, Mechanistic Insights into MDA5 Selectivity and Regulation, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Michalik, Mechanistic Insights into MDA5 Selectivity and Regulation, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22667
Dissecting the molecular and functional basis of motor control in the frog Xenopus laevis
D. Vijatovic, Dissecting the Molecular and Functional Basis of Motor Control in the Frog Xenopus Laevis, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Vijatovic, Dissecting the Molecular and Functional Basis of Motor Control in the Frog Xenopus Laevis, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22735
Calibrating the teacher synapse: Mechanisms and functional significance of presynaptic inhibition at hippocampal mossy fiber synapses
P. Lin, Calibrating the Teacher Synapse: Mechanisms and Functional Significance of Presynaptic Inhibition at Hippocampal Mossy Fiber Synapses, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
P. Lin, Calibrating the Teacher Synapse: Mechanisms and Functional Significance of Presynaptic Inhibition at Hippocampal Mossy Fiber Synapses, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22775
Timing and strength of synaptic transmission at hippocampal mossy fiber synapses in mice and humans
S. Jamrichova, Timing and Strength of Synaptic Transmission at Hippocampal Mossy Fiber Synapses in Mice and Humans, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
S. Jamrichova, Timing and Strength of Synaptic Transmission at Hippocampal Mossy Fiber Synapses in Mice and Humans, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Monitoring algorithmic fairness in sequential decision making
K. Kueffner, Monitoring Algorithmic Fairness in Sequential Decision Making, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
K. Kueffner, Monitoring Algorithmic Fairness in Sequential Decision Making, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22873
Biological functionality without biochemistry: Designing nanomachines for target behavior
A. Ehrmann, Biological Functionality without Biochemistry: Designing Nanomachines for Target Behavior, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
A. Ehrmann, Biological Functionality without Biochemistry: Designing Nanomachines for Target Behavior, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22857 |
Trustworthy machine learning in high dimensions
S. Bombari, Trustworthy Machine Learning in High Dimensions, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
S. Bombari, Trustworthy Machine Learning in High Dimensions, 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: 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: 23005 |
The morphology underneath a levitated hydrogel sphere
V.L. Diaz Melian, The Morphology underneath a Levitated Hydrogel Sphere, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
V.L. Diaz Melian, The Morphology underneath a Levitated Hydrogel Sphere, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22981
Genetic strategies enabling bacterial adaptation to selective pressures
N. Gruber, Genetic Strategies Enabling Bacterial Adaptation to Selective Pressures, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
N. Gruber, Genetic Strategies Enabling Bacterial Adaptation to Selective Pressures, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22804 |
Towards a deeper understanding of meroblastic cleavage
X. Tong, Towards a Deeper Understanding of Meroblastic Cleavage, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
X. Tong, Towards a Deeper Understanding of Meroblastic Cleavage, Institute of Science and Technology Austria, 2026.