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
Parameterized and algebro-geometric advances in static program analysis
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
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7680
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
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
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
View | Files available | DOI
 

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

Filters and Search Terms

type=dissertation

Search

Filter Publications