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.
11 Publications
2025 | Published | Thesis | IST-REx-ID: 20138 | 
Svoboda, Jakub. Structural Properties of Games on Graphs. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20138.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19903 |
Hübner, Valentin. Reciprocity and Inequality in Social Dilemmas. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19903.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20234 |
Saona Urmeneta, Raimundo J. Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20234.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10293 |
Schmid, Laura. Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10293.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 8934 |
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:8934.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 7196 |
Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7196.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 821 |
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_854.
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. Institute of Science and Technology Austria, 2016.
View
2015 | Published | Thesis | IST-REx-ID: 1400
Reiter, Johannes. The Subclonal Evolution of Cancer. Institute of Science and Technology Austria, 2015.
View
| Files available