Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




288 Publications

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 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science 11, no. 1 (2015): 20. https://doi.org/10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1659   OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control 60, no. 4 (2015): 1010–22. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation 241, no. 4 (2015): 177–96. https://doi.org/10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed