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 | OA
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8958 | OA
X. Li, “Rotation of coupled cold molecules in the presence of a many-body environment,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
R. Zhang, “Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications