Please note that IST 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.

3383 Publications


2018 | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018. https://doi.org/10.1145/3210257.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Browning, Timothy D, and Roger Heath Brown. “Forms in Many Variables and Differing Degrees.” Journal of the European Mathematical Society. European Mathematical Society Publishing House, 2017. https://doi.org/10.4171/JEMS/668.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 268 | OA
Browning, Timothy D, and Sean Prendiville. “A Transference Approach to a Roth-Type Theorem in the Squares.” International Mathematics Research Notices. Oxford University Press, 2017. https://doi.org/10.1093/imrn/rnw096.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications