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, M. (2026). Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21393
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22334 |
Becker, L. M. (2026). Exploring protein dynamics using specific labeling approaches for solid-state MAS NMR. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22334
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22626
Fiedler, C. (2026). Mechanistic insight into solution-processed p-type tin chalcogenides as a basis for designing their n-type analogs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22626
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22694 |
Löwit, J. (2026). Equivariant K-theory of affine Grassmannians in representation theory and arithmetic. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22694
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22684 |
Pertl, F. (2026). Experimental probing of nanoscale charge features and surface morphology changes during tribocharging. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22684
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22744
Javoor, M. (2026). Large-scale imaging of cellular actin networks at single filament resolution using montage cryo-electron tomography. Institute of Science and Technology Austria . https://doi.org/10.15479/AT-ISTA-22744
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22664 |
Cueto Noval, M. (2026). Towards efficient secure group messaging. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22664
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21863 |
Werner, T. (2026). Interfacing superconducting qubits with optical photons. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21863
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22745
Michalik, D. (2026). Mechanistic insights into MDA5 selectivity and regulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22745
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22667
Vijatovic, D. (2026). Dissecting the molecular and functional basis of motor control in the frog Xenopus laevis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22667
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22735
Lin, P. (2026). Calibrating the teacher synapse: Mechanisms and functional significance of presynaptic inhibition at hippocampal mossy fiber synapses. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22735
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22775
Jamrichova, S. (2026). Timing and strength of synaptic transmission at hippocampal mossy fiber synapses in mice and humans. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22775
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Kueffner, K. (2026). Monitoring algorithmic fairness in sequential decision making. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22808
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22873
Ehrmann, A. (2026). Biological functionality without biochemistry: Designing nanomachines for target behavior. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22873
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22857 |
Bombari, S. (2026). Trustworthy machine learning in high dimensions. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22857
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Scott, J. A. (2026). Data heterogeneity and personalization in federated learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21198
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21854 |
Iofinova, E. B. (2026). On the utility and effects of efficiency in artificial neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21854
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 23005 |
Diaz Melian, V. L. (2026). The morphology underneath a levitated hydrogel sphere. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-23005
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22981
Gruber, N. (2026). Genetic strategies enabling bacterial adaptation to selective pressures. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22981
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22804 |
Tong, X. (2026). Towards a deeper understanding of meroblastic cleavage. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22804
[Published Version]
View
| Files available
| DOI