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.

104 Publications


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
 

2017 | Thesis | IST-REx-ID: 1127
Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. IST Austria.
View | Files available
 

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
 

2016 | Thesis | IST-REx-ID: 1396
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. IST Austria.
View
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications