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.
141 Publications
2017 | Thesis | IST-REx-ID: 821 | 
Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. IST Austria. https://doi.org/10.15479/AT:ISTA:th_854
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
2017 | Thesis | IST-REx-ID: 838 |
Rybar, M. (2017). (The exact security of) Message authentication codes. IST Austria. https://doi.org/10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 202 |
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. IST Austria. https://doi.org/10.15479/AT:ISTA:th_916
View
| Files available
| DOI