ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

454 Publications

Search / Filter

2014 | Published | Journal Article | IST-REx-ID: 2716 |

K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.

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

2014 | Published | Journal Article | IST-REx-ID: 535 |

K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.

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

2014 | Published | Technical Report | IST-REx-ID: 5412 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5413 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5414 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5415 |

K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5418 |

K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5419 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5420 |

K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5421 |

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5423 |

K. Chatterjee, A. Kössler, A. Pavlogiannis, and U. Schmid, A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5424 |

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5426 |

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5427 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5428 |

K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 1375 |

K. Chatterjee, M. H. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.

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

2014 | Published | Journal Article | IST-REx-ID: 1733 |

P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation distances,” Theoretical Computer Science, vol. 560, no. 3. Elsevier, pp. 348–363, 2014.

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

2014 | Published | Conference Paper | IST-REx-ID: 1853

S. Jha, S. Tripakis, S. Seshia, and K. Chatterjee, “Game theoretic secure localization in wireless sensor networks,” presented at the IOT: Internet of Things, Cambridge, USA, 2014, pp. 85–90.

View | DOI

2014 | Published | Journal Article | IST-REx-ID: 1884

D. Landau et al., “Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples,” Blood, vol. 124, no. 21. American Society of Hematology, pp. 1952–1952, 2014.

View | Download None (ext.)

2014 | Published | Conference Paper | IST-REx-ID: 1903

K. Chatterjee, “Partial-observation stochastic reachability and parity games,” presented at the MFCS: Mathematical Foundations of Computer Science, Budapest, Hungary, 2014, vol. 8634, no. PART 1, pp. 1–4.

View | Files available | DOI