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.
9096 Publications
2012 | Preprint | IST-REx-ID: 2696 |
L. Erdös, “Universality for random matrices and log-gases,” ArXiv. ArXiv, 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
L. Erdös, “Lecture notes on quantum Brownian motion,” presented at the Les Houches Summer School 2010, 2012, vol. 95, pp. 3–98.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2715 |
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 2012, vol. 18, pp. 461–473.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10904
K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv