Please note that IST 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.

26 Publications


2021 | Thesis | IST-REx-ID: 9056 | OA
Osang, Georg F. Multi-Cover Persistence and Delaunay Mosaics. IST Austria, 2021, doi:10.15479/AT:ISTA:9056.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. IST Austria, 2021, doi:10.15479/AT:ISTA:8934.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. IST Austria, 2020, doi:10.15479/AT:ISTA:8032.
View | Files available | DOI
 

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

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria, 2020, doi:10.15479/AT:ISTA:8332.
View | Files available | DOI
 

Filters and Search Terms

issn=2663-337X

Search

Filter Publications