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