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 |

Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
View
| Files available
| DOI
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 837 |

Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
View
| Files available
| DOI
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 838 |

(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 839 |

Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
View
| Files available
| DOI
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 1127 |

Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, IST Austria, 2017.
View
| Files available
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 1155 |

Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
View
| Files available
| DOI
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 6287 |

Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
View
| Files available
| DOI
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 6291 |

Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
View
| Files available
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 938 |

Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
View
| Files available
| DOI
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 992 |

Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
View
| Files available
| DOI
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.