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.
110 Publications
2020 | Thesis | IST-REx-ID: 8156 | 
Avvakumov, Sergey. Topological Methods in Geometry and Discrete Mathematics. IST Austria, 2020, doi:10.15479/AT:ISTA:8156.
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
2020 | Thesis | IST-REx-ID: 8366 |
Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. IST Austria, 2020, doi:10.15479/AT:ISTA:8366.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |
Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. IST Austria, 2020, doi:10.15479/AT:ISTA:8390.
View
| Files available
| DOI