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.

2533 Publications


2016 | Conference Paper | IST-REx-ID: 1379 | OA
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the complexity of the orbit problem,” Journal of the ACM, vol. 63, no. 3. ACM, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for continuous linear dynamical systems,” in LICS ’16, New York, NY, USA, 2016, pp. 515–524.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications