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.
116 Publications
2017 | Thesis | IST-REx-ID: 838 |

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

Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. IST Austria.
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.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |

Nikitenko A. 2017. Discrete Morse theory for random complexes . IST Austria.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155 |

Daca P. 2017. Statistical and logical methods for property checking. IST Austria.
View
| Files available
| DOI