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 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications