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.
520 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 1733 |
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances. Theoretical Computer Science. 2014;560(3):348-363. doi:10.1016/j.tcs.2014.08.019
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Research Data Reference |
IST-REx-ID: 9739
Chatterjee K, Pavlogiannis A, Adlam B, Novak M. Detailed proofs for “The time scale of evolutionary innovation.” 2014. doi:10.1371/journal.pcbi.1003818.s001
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Conference Paper |
IST-REx-ID: 475 |
Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90. doi:10.4204/EPTCS.146.11
[Published Version]
View
| Files available
| DOI
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 |
Published |
Technical Report |
IST-REx-ID: 5412 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5413 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5414 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5415 |
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5418 |
Chatterjee K, Doyen L. Games with a Weak Adversary. IST Austria; 2014. doi:10.15479/AT:IST-2014-176-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5419 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5420 |
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5421 |
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5423 |
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria; 2014. doi:10.15479/AT:IST-2014-300-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5424 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5426 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v2-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5427 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-314-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5428 |
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2814 |
Chatterjee K, Alfaro L, Majumdar R. The complexity of coverage. International Journal of Foundations of Computer Science. 2013;24(2):165-185. doi:10.1142/S0129054113400066
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2013 |
Published |
Journal Article |
IST-REx-ID: 2816 |
Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 2817 |
Novak S, Chatterjee K, Nowak M. Density games. Journal of Theoretical Biology. 2013;334:26-34. doi:10.1016/j.jtbi.2013.05.029
[Published Version]
View
| Files available
| DOI
| WoS