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.

135 Publications


2020 | Thesis | IST-REx-ID: 8156 | OA
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 | OA
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: 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
 

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. https://doi.org/10.15479/AT:ISTA:8366
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. https://doi.org/10.15479/AT:ISTA:8390
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications