Please note that ISTA 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.
240 Publications
2017 | Published | Thesis | IST-REx-ID: 1155 | 
Daca, P. (2017). Statistical and logical methods for property checking. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_730
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 837 |
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_858
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 818 |
Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_862
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 6287 |
Nikitenko, A. (2017). Discrete Morse theory for random complexes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_873
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 819 |
Pull, C. (2017). Disease defence in garden ants. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_861
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 961 |
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_825
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
View
2016 | Published | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_640
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1123 |
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1128 |
Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1124 |
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1129 |
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1126 |
Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_776
[Published Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1131 |
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1125 |
Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1396 |
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1121 |
Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1130 |
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1130
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Published | 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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_526
[Published Version]
View
| Files available
| DOI
2015 | Published | Thesis | IST-REx-ID: 1401 |
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1401
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)