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.

3380 Publications


2018 | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 40(3), 9.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee K, Fu H, Goharshady AK, Okati N. 2018. Computational approaches for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018, 4700–4707.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118, 11.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Browning TD, Heath Brown R. 2017. Forms in many variables and differing degrees. Journal of the European Mathematical Society. 19(2), 357–394.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 268 | OA
Browning TD, Prendiville S. 2017. A transference approach to a Roth-type theorem in the squares. International Mathematics Research Notices. 2017(7), 2219–2248.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications