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.
230 Publications
2020 | Thesis | IST-REx-ID: 8032 |
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi: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, doi: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, doi:10.15479/AT:ISTA:8386.
[Published Version]
View
| Files available
| DOI