Please note that IST 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.
139 Publications
2021 | Thesis | IST-REx-ID: 8934
Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 | 
Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7196.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7680
Kainrath, Stephanie. “Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7680.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7944 |
Masárová, Zuzana. “Reconfiguration Problems.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7944.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032.
View
| Files available
| DOI