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