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.
139 Publications
2017 | Thesis | IST-REx-ID: 821 | 
Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |
Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | 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
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
View
| Files available
| DOI
2017 | 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
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |
Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |
Pull C. Disease defence in garden ants. 2017. doi:10.15479/AT:ISTA:th_861
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn D. Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |
Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1126 |
Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121
Acar H. Selective barriers to horizontal gene transfer. 2016.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1124
Morri M. Optical functionalization of human class A orphan G-protein coupled receptors. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh G. Studying the complexities of transcriptional regulation. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1129
Schwarz J. Quantitative analysis of haptotactic cell migration. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1189 |
Jochum C. Dissipative Few-Body Quantum Systems. 2016.
View
| Download Published Version (ext.)
2016 | Thesis | IST-REx-ID: 1397
Chmelik M. Algorithms for partially observable markov decision processes. 2016.
View
2016 | Thesis | IST-REx-ID: 1396
Mishra RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125
Novak S. Evolutionary proccesses in variable emvironments. 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1123
Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 2016.
View
| Files available