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.

4934 Publications


2019 | Journal Article | IST-REx-ID: 6515 | OA
Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6528 | OA
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6565 | OA
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6628 | OA
The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
[Submitted Version] View | Files available
 

2019 | Conference Paper | IST-REx-ID: 6648 | OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications