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.

4205 Publications


2017 | Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni G, Henzinger TA, Chonev VK. 2017. Infinite-duration bidding games. CONCUR: Concurrency Theory, LIPIcs, vol. 85, 17.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
Lubiw A, Masárová Z, Wagner U. 2017. A proof of the orbit conjecture for flipping edge labelled triangulations. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 77, 49.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca P. 2017. Statistical and logical methods for property checking. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Payne P. 2017. Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications