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
Erdös, L., Schlein, B., & Yau, H. (2009). Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/08-AOP421
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2760
Erdös, L., Schlein, B., & Yau, H. (2009). Rigorous derivation of the gross-pitaevskii equation with a large interaction potential. Journal of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-09-00635-3
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 2797
Kuik, D., Poelma, C., Hof, B., & Westerweel, J. (2009). Quantitative measurement of the life time of turbulence in pipe flow (Vol. 132, pp. 145–148). Presented at the EETC11: European Turbulence Conference, Springer. https://doi.org/10.1007/978-3-642-03085-7_36
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3048
Tanaka, H., Kitakura, S., De Rycke, R., De Groodt, R., & Friml, J. (2009). Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.01.057
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 4223
Swoboda, J., Meredith, T., Campbell, J., Brown, S., Suzuki, T., Bollenbach, M. T., … Walker, S. (2009). Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. American Chemical Society. https://doi.org/10.1021/cb900151k
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 4357
Bollback, J. P., & Huelsenbeck, J. (2009). Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085225
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4383 | 
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo, M., Pellicciotti, F., Rimkus, S., & Burlando, P. (2009). Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2009). Of choices, failures and asynchrony: the many faces of set agreement (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/978-3-642-10631-6_95
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 18356
Bronstein, A. M., Bronstein, M. M., Bruckstein, A. M., & Kimmel, R. (2009). Partial similarity of objects, or how to compare a centaur to a horse. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-008-0147-3
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 2069
Vicoso, B., & Charlesworth, B. (2009). Effective population size and the faster-X effect: An extended model. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2009.00719.x
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 2119 |
Maas, J., & Van Neerven, J. (2009). Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2009.07.001
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2149 |
Lemeshko, M., & Friedrich, B. (2009). 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. American Physical Society. https://doi.org/10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3230
Kiltz, E., Pietrzak, K. Z., Stam, M., & Yung, M. (2009). A new randomness extraction paradigm for hybrid encryption (Vol. 5479, pp. 590–609). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-642-01001-9_34
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3231
Kiltz, E., & Pietrzak, K. Z. (2009). On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model (Vol. 5479, pp. 389–406). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-642-01001-9_23
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3232
Pietrzak, K. Z. (2009). A leakage resilient mode of operation (Vol. 5479, pp. 462–482). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-642-01001-9_27
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3503 |
Chatterjee, K., & Henzinger, T. A. (2009). Probabilistic systems with limsup and liminf objectives (Vol. 5489, pp. 32–45). Presented at the ILC: Infinity in Logic and Computation, Springer. https://doi.org/10.1007/978-3-642-03092-5_4
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3715
Lampert, C., & Peters, J. (2009). Active structured learning for high-speed object detection (Vol. 5748, pp. 221–231). Presented at the DAGM: German Association For Pattern Recognition, Springer. https://doi.org/10.1007/978-3-642-03798-6_23
View
| DOI