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.

66 Publications


2020 | Thesis | IST-REx-ID: 8155 | OA
Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints Shape Evolution.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8155.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
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 | OA
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: 8366 | OA
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
 

2020 | Thesis | IST-REx-ID: 8386 | OA
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
 

Filters and Search Terms

issn=2663-337X

Search

Filter Publications