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 | OA
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 | OA
Z. Masárová, “Reconfiguration problems,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” IST Austria, 2020.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications