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
2021 | Thesis | IST-REx-ID: 8934
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9022 |

Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. IST Austria. https://doi.org/10.15479/AT:ISTA:9022
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9056 |

Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. IST Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7996 |

Kukucka, J. (2020). Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. IST Austria. https://doi.org/10.15479/AT:ISTA:7996
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |

Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. IST Austria. https://doi.org/10.15479/AT:ISTA:8032
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |

Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:8155
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8156 |

Avvakumov, S. (2020). Topological methods in geometry and discrete mathematics. IST Austria. https://doi.org/10.15479/AT:ISTA:8156
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |

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