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, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation, 245(12), 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, S., Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2015). Aspect-oriented linearizability proofs. Logical Methods in Computer Science, 11(1), 20. https://doi.org/10.2168/LMCS-11(1:20)2015
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1659   OA
Boker, U., Henzinger, T. A., & Otop, J. (2015). The target discounted-sum problem. In LICS (pp. 750–761). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.74
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control, 60(4), 1010–1022. https://doi.org/10.1109/TAC.2014.2364971
View | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., & Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation, 241(4), 177–196. https://doi.org/10.1016/j.ic.2015.03.001
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed