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.

148 Publications


2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
Rybar, Michal. “(The Exact Security of) Message Authentication Codes.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Hahn, David. “Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” IST Austria, 2017.
View | Files available
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications