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, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8358
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8958 |
Li, X. (2020). Rotation of coupled cold molecules in the presence of a many-body environment. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8958
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8386 |
Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8386
[Published Version]
View
| Files available
| DOI