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.

527 Publications

Search / Filter

2013 | Published | Journal Article | IST-REx-ID: 2836 |

Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 2013;26(4):825-859. doi:10.1007/s00165-013-0283-6

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

2013 | Published | Journal Article | IST-REx-ID: 2854 |

Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 2013;79(5):640-657. doi:10.1016/j.jcss.2012.12.001

[Published Version] View | Files available | DOI | WoS

2013 | Published | Conference Paper | IST-REx-ID: 2886 |

Chmelik M, Řehák V. Controllable-choice message sequence graphs. 2013;7721:118-130. doi:10.1007/978-3-642-36046-6_12

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

2013 | Published | Conference Paper | IST-REx-ID: 1374 |

Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181

[Published Version] View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 1376 |

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386

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

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5399 |

Reiter J, Bozic I, Chatterjee K, Nowak M. TTP: Tool for Tumor Progression. IST Austria; 2013. doi:10.15479/AT:IST-2013-104-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5400 |

Chatterjee K, Chmelik M, Tracol M. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria; 2013. doi:10.15479/AT:IST-2013-109-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5403 |

Chatterjee K, Ibsen-Jensen R. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-126-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5404 |

Chatterjee K, Ibsen-Jensen R. The Complexity of Ergodic Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-127-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5405 |

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-128-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5406 |

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed Synthesis for LTL Fragments. IST Austria; 2013. doi:10.15479/AT:IST-2013-130-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5408 |

Chatterjee K, Doyen L, Nain S, Vardi M. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria; 2013. doi:10.15479/AT:IST-2013-141-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5409 |

Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5410 |

Ahmed U, Chatterjee K, Gulwani S. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-146-v1-1

[Published Version] View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 19995 |

Chatterjee K, Ibsen-Jensen R. Strategy complexity of finite-horizon Markov decision processes and simple stochastic games. In: Mathematical and Engineering Methods in Computer Science. Vol 7721. Springer Nature; 2013:106-117. doi:10.1007/978-3-642-36046-6_11

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

2013 | Research Data Reference | IST-REx-ID: 9749

Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . 2013. doi:10.1371/journal.pone.0080814.s001

[Published Version] View | Files available | DOI

2013 | Published | Journal Article | IST-REx-ID: 3116

Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management. Formal Methods in System Design. 2013;42(2):142-174. doi:10.1007/s10703-012-0170-4

View | DOI | WoS

2013 | Published | Journal Article | IST-REx-ID: 2247 |

Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814

[Published Version] View | Files available | DOI | WoS

2013 | Published | Journal Article | IST-REx-ID: 2858 |

Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020

[Published Version] View | Files available | DOI | WoS

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