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.
4161 Publications
2014 | Journal Article | IST-REx-ID: 2233 | 
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
View
| Files available
| DOI
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
2014 | Journal Article | IST-REx-ID: 2234 |
Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
View
| Files available
| DOI
| Download Published Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
2014 | Journal Article | IST-REx-ID: 2235 |
Disease associations between honeybees and bumblebees as a threat to wild pollinators
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.
View
| DOI
| Download Submitted Version (ext.)
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.
2014 | Conference Paper | IST-REx-ID: 2236 |
How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
View
| Files available
| DOI
| Download Submitted Version (ext.)
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
2014 | Conference Paper | IST-REx-ID: 2239
Battery transition systems
U. Boker, T.A. Henzinger, A. Radhakrishna, in:, ACM, 2014, pp. 595–606.
View
| DOI
U. Boker, T.A. Henzinger, A. Radhakrishna, in:, ACM, 2014, pp. 595–606.