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.

118 Publications


2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, Michal. “Complexity of Constraint Satisfaction.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications