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, A. (2017). Discrete Morse theory for random complexes . IST Austria. https://doi.org/10.15479/AT:ISTA:th_873
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, P. (2017). Statistical and logical methods for property checking. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_730
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . IST Austria. https://doi.org/10.15479/AT:ISTA:th_842
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria. https://doi.org/10.15479/AT:ISTA:th_825
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, M. (2017). Complexity of constraint satisfaction. IST Austria. https://doi.org/10.15479/AT:ISTA:th_815
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications