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 |
Dvorak, Martin. “Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21393.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22334 |
Becker, Lea Marie. “Exploring Protein Dynamics Using Specific Labeling Approaches for Solid-State MAS NMR.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22334.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22626
Fiedler, Christine. “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. https://doi.org/10.15479/AT-ISTA-22626.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22694 |
Löwit, Jakub. “Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22694.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22684 |
Pertl, Felix. “Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22684.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22744
Javoor, Manjunath. “Large-Scale Imaging of Cellular Actin Networks at Single Filament Resolution Using Montage Cryo-Electron Tomography.” Institute of Science and Technology Austria , 2026. https://doi.org/10.15479/AT-ISTA-22744.
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22664 |
Cueto Noval, Miguel. “Towards Efficient Secure Group Messaging.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22664.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21863 |
Werner, Thomas. “Interfacing Superconducting Qubits with Optical Photons.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21863.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22745
Michalik, David. “Mechanistic Insights into MDA5 Selectivity and Regulation.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22745.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22667
Vijatovic, David. “Dissecting the Molecular and Functional Basis of Motor Control in the Frog Xenopus Laevis.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22667.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22735
Lin, Peipeng. “Calibrating the Teacher Synapse: Mechanisms and Functional Significance of Presynaptic Inhibition at Hippocampal Mossy Fiber Synapses.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22735.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22775
Jamrichova, Silvia. “Timing and Strength of Synaptic Transmission at Hippocampal Mossy Fiber Synapses in Mice and Humans.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22775.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Kueffner, Konstantin. “Monitoring Algorithmic Fairness in Sequential Decision Making.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22808.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22873
Ehrmann, Andreas. “Biological Functionality without Biochemistry: Designing Nanomachines for Target Behavior.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22873.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22857 |
Bombari, Simone. “Trustworthy Machine Learning in High Dimensions.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22857.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Scott, Jonathan A. “Data Heterogeneity and Personalization in Federated Learning.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21198.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21854 |
Iofinova, Eugenia B. “On the Utility and Effects of Efficiency in Artificial Neural Networks.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21854.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 23005 |
Diaz Melian, Vicente L. “The Morphology underneath a Levitated Hydrogel Sphere.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-23005.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22981
Gruber, Nathalie. “Genetic Strategies Enabling Bacterial Adaptation to Selective Pressures.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22981.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22804 |
Tong, Xin. “Towards a Deeper Understanding of Meroblastic Cleavage.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22804.
[Published Version]
View
| Files available
| DOI