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: 3780 | 
Davison, A., Barton, N. H., & Clarke, B. (2009). The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/j.1420-9101.2009.01770.x
[Submitted Version]
View
| Files available
| DOI
| WoS
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson, D. J., & Hetzer, M. (2008). Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer, R. H., & Haiman, Z. (2008). The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2008.12945.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 17751
Bryan, G. L., McGreer, I. D., Mesinger, A., & Haiman, Z. (2008). Feedback effects on population III star formation. In AIP Conference Proceedings. Santa Fe, NM, United States: American Institute of Physics. https://doi.org/10.1063/1.2905582
View
| DOI
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Dijkstra, M., Haiman, Z., Mesinger, A., & Wyithe, J. S. B. (2008). Fluctuations in the high-redshift Lyman-Werner background: Close halo pairs as the origin of supermassive black holes. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2008.14031.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17787 |
Furlanetto, S. R., Haiman, Z., & Oh, S. P. (2008). Fossil Ionized bubbles around dead quasars during reionization. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/591047
[Preprint]
View
| DOI
| Download Preprint (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17788 |
Fang, W., & Haiman, Z. (2008). An evolving entropy floor in the intracluster gas? The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/587780
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17804 |
Omukai, K., Schneider, R., & Haiman, Z. (2008). Can supermassive black holes form in metal‐enriched high‐redshift protogalaxies? The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/591636
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 2374 |
Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0428-2
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 2432
Smorodinsky, S., Sulovský, M., & Wagner, U. (2008). On center regions and balls containing many points (Vol. 5092, pp. 363–373). Presented at the COCOON: Conference on Computing and Combinatorics, Springer. https://doi.org/10.1007/978-3-540-69733-6_36
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 2755
Erdös, L., Schlein, B., & Yau, H. (2008). 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. https://doi.org/10.1103/PhysRevA.78.053627
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3032
Kleine Vehn, J., Dhonukshe, P., Sauer, M., Brewer, P., Wiśniewska, J., Paciorek, T., … Friml, J. (2008). ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.03.021
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4227
Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M., & Julicher, F. (2008). Precision of the Dpp gradient. Development. Company of Biologists. https://doi.org/10.1242/dev.012062
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-70545-1_31
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, O., Nickovic, D., & Pnueli, A. (2008). 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 (pp. 475–505). Springer. https://doi.org/10.1007/978-3-540-78127-1_26
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4527
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. 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, M. A., Plett, J., Borst, A., & Reiff, D. (2008). Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.02.022
View
| DOI