en
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.
2569 Publications
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger TA, Nickovic D. Independent implementability of viewpoints. In: Conference Proceedings Monterey Workshop 2012. Vol 7539. Springer; 2012:380-395. doi:10.1007/978-3-642-34059-8_20
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2947 
Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399. doi:10.1007/978-3-642-33386-6_30
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3128
Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 2012;43(2):268-284. doi:10.1007/s10703-012-0164-2
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3135
Brázdil B, Chatterjee K, Kučera A, Novotny P. Efficient controller synthesis for consumption games with multiple resource types. In: Vol 7358. Springer; 2012:23-38. doi:10.1007/978-3-642-31424-7_8
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee K, Doyen L. Games and Markov decision processes with mean payoff parity and energy parity objectives. In: Vol 7119. Springer; 2012:37-46. doi:10.1007/978-3-642-25929-6_3
View
| DOI
2012 | Conference Paper | IST-REx-ID: 495
Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3270
Chen C, Kerber M. Persistent homology computation with a twist. In: TU Dortmund; 2011:197-200.
View
2011 | Thesis | IST-REx-ID: 3275
Schumann K. The Role of Chemotactic Gradients in Dendritic Cell Migration. IST Austria; 2011.
View
| Files available
2011 | Journal Article | IST-REx-ID: 3287
Ruprecht V, Axmann M, Wieser S, Schuetz G. What can we learn from single molecule trajectories? Current Protein & Peptide Science. 2011;12(8):714-724. doi:10.2174/138920311798841753
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3299
Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks. In: Springer; 2011:1-3. doi:10.1145/2037509.2037510
View
| Files available
| DOI