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.
161 Publications
2021 | Thesis | IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 | Thesis | IST-REx-ID: 10035 |
On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
2021 | Thesis | IST-REx-ID: 10429 |
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
2021 | Thesis | IST-REx-ID: 9733 |
The polaron at strong coupling
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.
2021 | Thesis | IST-REx-ID: 9992 |
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.