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.
162 Publications
2021 | Thesis | IST-REx-ID: 9418 | 
Phuong M. 2021. Underspecification in deep learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10199 |
Toman V. 2021. Improved verification techniques for concurrent systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10035 |
Klein K. 2021. On the adaptive security of graph-based games. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10429 |
Nadiradze G. 2021. On achieving scalability through relaxation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9733 |
Feliciangeli D. 2021. The polaron at strong coupling. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI