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.
194 Publications
2020 | Thesis | IST-REx-ID: 8332 | 
Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.
[Published Version]
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.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8958.
[Published Version]
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.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8386.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7996 |
Kukucka, Josip. “Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7996.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |
Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8390.
[Published Version]
View
| Files available
| DOI