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.

2645 Publications


2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.” Information and Computation 245, no. 12 (2015): 3–16. https://doi.org/10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661
Chatterjee, Krishnendu, Monika Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.” In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015. https://doi.org/10.1109/LICS.2015.34.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5435
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v2-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523   OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation 242, no. 6 (2015): 25–52. https://doi.org/10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed