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.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22334 |
Becker LM. 2026. Exploring protein dynamics using specific labeling approaches for solid-state MAS NMR. Institute of Science and Technology Austria.
[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.
[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.
[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.
[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 .
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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Scott JA. 2026. Data heterogeneity and personalization in federated learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21854 |
Iofinova EB. 2026. On the utility and effects of efficiency in artificial neural networks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 23005 |
Diaz Melian VL. 2026. The morphology underneath a levitated hydrogel sphere. Institute of Science and Technology Austria.
[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.
[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.
[Published Version]
View
| Files available
| DOI