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.
1921 Publications
2008 | Published | Journal Article | IST-REx-ID: 17788 | 
Fang, Wenjuan, and Zoltán Haiman. “An Evolving Entropy Floor in the Intracluster Gas?” The Astrophysical Journal. American Astronomical Society, 2008. https://doi.org/10.1086/587780.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17804 |
Omukai, K., R. Schneider, and Zoltán Haiman. “Can Supermassive Black Holes Form in Metal‐enriched High‐redshift Protogalaxies?” The Astrophysical Journal. American Astronomical Society, 2008. https://doi.org/10.1086/591636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 2374 |
Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0428-2.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 2432
Smorodinsky, Shakhar, Marek Sulovský, and Uli Wagner. “On Center Regions and Balls Containing Many Points,” 5092:363–73. Springer, 2008. https://doi.org/10.1007/978-3-540-69733-6_36.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 2753
Erdös, László, Manfred Salmhofer, and Horng Yau. “Quantum Diffusion of the Random Schrödinger Evolution in the Scaling Limit.” Acta Mathematica. Springer, 2008. https://doi.org/10.1007/s11511-008-0027-2.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 2755
Erdös, László, Benjamin Schlein, and Horng Yau. “Ground-State Energy of a Low-Density Bose Gas: A Second-Order Upper Bound.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2008. https://doi.org/10.1103/PhysRevA.78.053627.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3032
Kleine Vehn, Jürgen, Pankaj Dhonukshe, Michael Sauer, Philip Brewer, Justyna Wiśniewska, Tomasz Paciorek, Eva Benková, and Jiří Friml. “ARF GEF Dependent Transcytosis and Polar Delivery of PIN Auxin Carriers in Arabidopsis.” Current Biology. Cell Press, 2008. https://doi.org/10.1016/j.cub.2008.03.021.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, Periklis Pantazis, Anna Kicheva, Christian Bokel, Marcos González Gaitán, and Frank Julicher. “Precision of the Dpp Gradient.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.012062.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” In Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, 475–505. Springer, 2008. https://doi.org/10.1007/978-3-540-78127-1_26.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,” 5218:305–19. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,” 5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1296
Jösch, Maximilian A, Johannes Plett, Alexander Borst, and Dierk Reiff. “Response Properties of Motion Sensitive Visual Interneurons in the Lobula Plate of Drosophila Melanogaster.” Current Biology. Cell Press, 2008. https://doi.org/10.1016/j.cub.2008.02.022.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 753
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “How to Solve Consensus in the Smallest Window of Synchrony,” 5218 LNCS:32–46. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_3.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 18337
Bronstein, Alex M., and Michael M. Bronstein. “Regularized Partial Matching of Rigid Shapes.” In 10th European Conference on Computer Vision, 5303:143–54. Springer Berlin Heidelberg, 2008. https://doi.org/10.1007/978-3-540-88688-4_11.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3198
Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “Feature Correspondence via Graph Matching: Models and Global Optimization,” 5303:596–609. Springer, 2008. https://doi.org/10.1007/978-3-540-88688-4_44.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3224
Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Prashant Puniya. “A New Mode of Operation for Block Ciphers and Length Preserving MACs,” 4965:198–219. Springer, 2008. https://doi.org/10.1007/978-3-540-78967-3_12.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3225
Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi Property Combiners for Hash Functions Revisited,” 5126:655–66. Springer, 2008. https://doi.org/10.1007/978-3-540-70583-3_53.
View
| Files available
| DOI