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.

337 Publications

2019 | Conference Paper | IST-REx-ID: 7183   OA
Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., & Velan, D. (2019). Deciding fast termination for probabilistic VASS with nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (Vol. 11781, pp. 462–478). Taipei, Taiwan: Springer Nature.
View | DOI | Download (ext.) | arXiv
2019 | Conference Paper | IST-REx-ID: 5948
Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature.
View | DOI
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, K., Fu, H., & Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems, 41(4).
View | DOI | arXiv
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems, 41(4).
View | DOI
2019 | Preprint | IST-REx-ID: 7212
Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (n.d.). Limits on amplifiers of natural selection under death-Birth updating. ArXiv:1906.02785.
View | Files available


Filter Publications

Display / Sort

Citation Style: APA

Export / Embed