ISTA Research Explorer

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.

Jakub Svoboda

Maximilian Weininger

Ali Asadi

Ehsan Kafshdar Goharshadi

Krishnendu Chatterjee

Valentin Hübner

Mehrdad Karrabi

Raimundo Saona Urmeneta

Ruichen Luo

Djordje Zikelic

Pepa Tkadlec

Mathieu Tracol

Amir Goharshady

Hongfei Fu

Viktor Toman

Rasmus Ibsen-Jensen

Martin Chmelik

Ventsislav Chonev

Florian Horn

Laura Schmid

Tadeas Priklopil

Petr Novotny

Jan Kretinsky

Joost Katoen

Sasha Rubin

Christian Hilbe

Andreas Pavlogiannis

Benjamin Aminof

Johannes Reiter

Maria Kleshnina

John Lazarsfeld

Ismael Jecker

Mingzhang Huang

Tobias Meggendorfer

454 Publications

Search / Filter

2012 | Published | Conference Paper | IST-REx-ID: 3135 |

Brázdil B, Chatterjee K, Kučera A, Novotný P. 2012. Efficient controller synthesis for consumption games with multiple resource types. CAV: Computer Aided Verification, LNCS, vol. 7358, 23–38.

[Preprint] View | DOI | Download Preprint (ext.)

2012 | Published | Journal Article | IST-REx-ID: 3157 |

Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.

2012 | Published | Conference Paper | IST-REx-ID: 3165 |

Chatterjee K, Henzinger MH. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1386–1399.

View | Files available | DOI | Download None (ext.) | arXiv

2012 | Published | Conference Paper | IST-REx-ID: 3252 |

Chatterjee K, Raman V. 2012. Synthesizing protocols for digital contract signing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 152–168.

[Preprint] View | DOI | Download Preprint (ext.)

2012 | Published | Journal Article | IST-REx-ID: 3254

Chatterjee K. 2012. The complexity of stochastic Müller games. Information and Computation. 211, 29–48.

View | DOI | Download None (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 3255 |

Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119, 37–46.

[Submitted Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 3260 |

Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81(1), 69–80.

2012 | Published | Journal Article | IST-REx-ID: 3314

Chatterjee K, Majumdar R. 2012. Discounting and averaging in games across time scales. International Journal of Foundations of Computer Science. 23(3), 609–625.

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3341 |

Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2012 | Published | Journal Article | IST-REx-ID: 3846 |

Chatterjee K, Henzinger TA. 2012. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 78(2), 394–413.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 495 |

Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.