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.
130 Publications
2020 | Thesis | IST-REx-ID: 8156 | 
S. Avvakumov, “Topological methods in geometry and discrete mathematics,” IST Austria, 2020.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” IST Austria, 2020.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8366 |
R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” IST Austria, 2020.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8386 |
R. Zhang, “Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability,” IST Austria, 2020.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” IST Austria, 2020.
View
| Files available
| DOI