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. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 | 
Tkadlec J. A role of graphs in evolutionary processes. 2020. doi:10.15479/AT:ISTA:7196
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7680
Kainrath S. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. 2020. doi:10.15479/AT:ISTA:7680
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7944 |
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8156 |
Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8353
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8350
Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8574 |
Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8366 |
Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366
View
| Files available
| DOI