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.
26 Publications
2021 | Thesis | IST-REx-ID: 9056 | 
Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:10.15479/AT:ISTA:9056
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 8934 |
Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |
Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8366 |
Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8386 |
Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi:10.15479/AT:ISTA:8386
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8653
Tomanek I. The evolution of gene expression by copy number and point mutations. 2020. doi:10.15479/AT:ISTA:8653
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7460 |
Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7514 |
Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:10.15479/AT:ISTA:7514
View
| Files available
| DOI