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
2020 | Thesis | IST-REx-ID: 8155 |

Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8156 |

Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |

Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8340
Kampjut D. 2020. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. IST Austria.
View
| Files available
| DOI