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.

Ali Asadi

Ehsan Kafshdar Goharshadi

Ruichen Luo

Jakub Svoboda

Raimundo Saona Urmeneta

Valentin Hübner

Krishnendu Chatterjee

Mehrdad Karrabi

Pepa Tkadlec

Florian Horn

Viktor Toman

Joost Katoen

Benjamin Aminof

Jan Kretinsky

Mingzhang Huang

Andreas Pavlogiannis

Amir Goharshady

Maximilian Weininger

Rasmus Ibsen-Jensen

Mathieu Tracol

Tadeas Priklopil

Tobias Meggendorfer

Djordje Zikelic

Johannes Reiter

Maria Kleshnina

Petr Novotny

Hongfei Fu

John Lazarsfeld

Sasha Rubin

Martin Chmelik

Ventsislav Chonev

Ismael Jecker

Christian Hilbe

Laura Schmid

485 Publications

Search / Filter

2018 | Published | Conference Paper | IST-REx-ID: 6340 |

Secure Credit Reporting on the Blockchain
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.

[Submitted Version] View | Files available | DOI | WoS | arXiv

2018 | Published | Conference Paper | IST-REx-ID: 5977 |

Computational approaches for stochastic shortest path on succinct MDPs
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.

2018 | Published | Journal Article | IST-REx-ID: 6009 |

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).

2017 | Published | Conference Paper | IST-REx-ID: 1009 |

Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.

[Submitted Version] View | Download Submitted Version (ext.) | WoS

2017 | Published | Conference Paper | IST-REx-ID: 1011 |

Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.

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

2017 | Published | Journal Article | IST-REx-ID: 10416 |

Optimal Dyck reachability for data-dependence and Alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 10417 |

Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 10418 |

A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 1066

Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.

View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1080 |

Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).

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

2017 | Published | Conference Paper | IST-REx-ID: 13160 |

Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.

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

2017 | Published | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.

2017 | Published | Journal Article | IST-REx-ID: 464 |

Improved algorithms for parity and Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 466 |

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).