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.
110 Publications
2017 | Thesis | IST-REx-ID: 992 | 
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 |
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: 837 |
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria. https://doi.org/10.15479/AT:ISTA:th_858
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
2016 | Thesis | IST-REx-ID: 1398 |
Ellis, T. (2016). The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_526
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121
Acar, H. (2016). Selective barriers to horizontal gene transfer. IST Austria.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. IST Austria. https://doi.org/10.15479/AT:ISTA:th_640
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1123
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1124
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125
Novak, S. (2016). Evolutionary proccesses in variable emvironments. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_776
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1129
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1131
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh, G. (2016). Studying the complexities of transcriptional regulation. IST Austria.
View
| Files available
2015 | Thesis | IST-REx-ID: 1399
Pausinger, F. (2015). On the approximation of intrinsic volumes. IST Austria.
View
| Files available
2015 | Thesis | IST-REx-ID: 1400
Reiter, J. (2015). The subclonal evolution of cancer. IST Austria.
View
| Files available
2015 | Thesis | IST-REx-ID: 1401
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria.
View
| Download None (ext.)