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.
114 Publications
2020 | Thesis | IST-REx-ID: 7896 |

Kamath Hosdurg, Chethan. On the Average-Case Hardness of Total Search Problems. IST Austria, 2020, doi:10.15479/AT:ISTA:7896.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7902
Contreras, Ximena. Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution. IST Austria, 2020, doi:10.15479/AT:ISTA:7902.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |

Grah, Rok. Gene Regulation across Scales – How Biophysical Constraints Shape Evolution. IST Austria, 2020, doi:10.15479/AT:ISTA:8155.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |

Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria, 2020, doi:10.15479/AT:ISTA:8332.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. IST Austria, 2020, doi:10.15479/AT:ISTA:8341.
View
| Files available
| DOI