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.
378 Publications
2010 | Conference Paper | IST-REx-ID: 3866 | 
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4369 |
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf V, Goel R, Mateescu M, Henzinger TA. Solving the chemical master equation using sliding windows. BMC Systems Biology. 2010;4(42):1-19. doi:10.1186/1752-0509-4-42
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. From boolean to quantitative notions of correctness. In: Vol 45. ACM; 2010:157-158. doi:10.1145/1706299.1706319
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation. In: Springer; 2010:55-65. doi:10.1145/1839764.1839772
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. Mean-payoff automaton expressions. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:269-283. doi:10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3860 |
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Generalized mean-payoff and energy games. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:505-516. doi:10.4230/LIPIcs.FSTTCS.2010.505
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3864 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. In: Vol 6174. Springer; 2010:380-395. doi:10.1007/978-3-642-14295-6_34
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Journal Article | IST-REx-ID: 3863 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Strategy construction for parity games with imperfect information. Information and Computation. 2010;208(10):1206-1220. doi:10.1016/j.ic.2009.09.006
[Submitted Version]
View
| Files available
| DOI