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 AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 | 
Tkadlec J. 2020. A role of graphs in evolutionary processes. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7680
Kainrath S. 2020. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7944 |
Masárová Z. 2020. Reconfiguration problems. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. IST Austria.
View
| Files available
| DOI