Please note that ISTA 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.
72 Publications
2020 | Thesis | IST-REx-ID: 8156 | 
Avvakumov, Sergey. “Topological Methods in Geometry and Discrete Mathematics.” IST Austria, 2020. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:8332.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8386 |
Zhang, Ran. “Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8386.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8958 |
Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8958.
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. https://doi.org/10.15479/AT:ISTA:8366.
View
| Files available
| DOI