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, G. F. (2021). Multi-cover persistence and Delaunay mosaics. IST Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. IST Austria. https://doi.org/10.15479/AT:ISTA:8032
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:8155
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria. https://doi.org/10.15479/AT:ISTA:8332
View | Files available | DOI
 

Filters and Search Terms

issn=2663-337X

Search

Filter Publications