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.
1966 Publications
2009 | Published | Journal Article | IST-REx-ID: 2703
L. Erdös, B. Schlein, and H. Yau, “Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices,” Annals of Probability, vol. 37, no. 3. Institute of Mathematical Statistics, pp. 815–852, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2760
L. Erdös, B. Schlein, and H. Yau, “Rigorous derivation of the gross-pitaevskii equation with a large interaction potential,” Journal of the American Mathematical Society, vol. 22, no. 4. American Mathematical Society, pp. 1099–1156, 2009.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 4223
J. Swoboda et al., “Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus,” ACS Chemical Biology, vol. 4, no. 10. American Chemical Society, pp. 875–883, 2009.
View
| DOI
| Download None (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4383 | 
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
M. Carenzo, F. Pellicciotti, S. Rimkus, and P. Burlando, “Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model,” Journal of Glaciology, vol. 55, no. 190. Cambridge University Press, pp. 258–274, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 752
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 2119 |
J. Maas and J. Van Neerven, “Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces,” Journal of Functional Analysis, vol. 257, no. 8. Academic Press, pp. 2410–2475, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2149 |
M. Lemeshko and B. Friedrich, “Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 1. American Physical Society, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3231
E. Kiltz and K. Z. Pietrzak, “On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 389–406.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3503 |
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View
| DOI
| Download (ext.)