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.
8032 Publications
2018 | 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).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
2018 | 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.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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 | Conference Paper | IST-REx-ID: 66 |
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View
| Files available
| DOI
| arXiv
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | 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.
View
| Files available
| DOI
| arXiv
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
2018 | Journal Article | IST-REx-ID: 442 |
Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls
L. Li, G. Krens, M. Fendrych, J. Friml, Bio-Protocol 8 (2018).
View
| Files available
| DOI
L. Li, G. Krens, M. Fendrych, J. Friml, Bio-Protocol 8 (2018).
2018 | Journal Article | IST-REx-ID: 47
Transporters and mechanisms of hormone transport in arabidopsis
R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018) 115–138.
View
| Files available
| DOI
R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018) 115–138.
2018 | Journal Article | IST-REx-ID: 2 |
Indirect reciprocity with private, noisy, and incomplete information
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, M. Nowak, PNAS 115 (2018) 12241–12246.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, M. Nowak, PNAS 115 (2018) 12241–12246.
2017 | Conference Paper | IST-REx-ID: 1000 |
PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
View
| Download Submitted Version (ext.)
| arXiv
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
2017 | Journal Article | IST-REx-ID: 1004 |
Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View
| Files available
| DOI
| PubMed | Europe PMC
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
2017 | Journal Article | IST-REx-ID: 1007 |
Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
View
| Files available
| DOI
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.