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, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec, J. (2020). A role of graphs in evolutionary processes. IST Austria. https://doi.org/10.15479/AT:ISTA:7196
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. https://doi.org/10.15479/AT:ISTA:7680
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová, Z. (2020). Reconfiguration problems. IST Austria. https://doi.org/10.15479/AT:ISTA:7944
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. IST Austria. https://doi.org/10.15479/AT:ISTA:8032
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications