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.
8978 Publications
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
2012 | Journal Article | IST-REx-ID: 2769
L. Erdös, B. Schlein, H. Yau, and J. Yin, “The local relaxation flow approach to universality of the local statistics for random matrices,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 48, no. 1. Institute of Mathematical Statistics, pp. 1–46, 2012.
View
| DOI