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 | 
A. Davison, N. H. Barton, and B. Clarke, “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, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
[Submitted Version]
View
| Files available
| DOI
| WoS
2008 | Published | Journal Article | IST-REx-ID: 11111
D. J. Anderson and M. Hetzer, “Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation,” Journal of Cell Biology, vol. 182, no. 5. Rockefeller University Press, pp. 911–924, 2008.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 17721 |
R. H. Kramer and Z. Haiman, “The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution,” Monthly Notices of the Royal Astronomical Society, vol. 385, no. 3. Oxford University Press, pp. 1561–1575, 2008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 17751
G. L. Bryan, I. D. McGreer, A. Mesinger, and Z. Haiman, “Feedback effects on population III star formation,” in AIP Conference Proceedings, Santa Fe, NM, United States, 2008.
View
| DOI
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17778 |
M. Dijkstra, Z. Haiman, A. Mesinger, and J. S. B. Wyithe, “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, vol. 391, no. 4. Oxford University Press, pp. 1961–1972, 2008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17787 |
S. R. Furlanetto, Z. Haiman, and S. P. Oh, “Fossil Ionized bubbles around dead quasars during reionization,” The Astrophysical Journal, vol. 686, no. 1. American Astronomical Society, pp. 25–40, 2008.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17788 |
W. Fang and Z. Haiman, “An evolving entropy floor in the intracluster gas?,” The Astrophysical Journal, vol. 680, no. 1. American Astronomical Society, pp. 200–213, 2008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17804 |
K. Omukai, R. Schneider, and Z. Haiman, “Can supermassive black holes form in metal‐enriched high‐redshift protogalaxies?,” The Astrophysical Journal, vol. 686, no. 2. American Astronomical Society, pp. 801–814, 2008.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 2374 |
R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.
View
| DOI
| Download (ext.)
2008 | Published | Book Chapter | IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. 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, Springer, 2008, pp. 475–505.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View
| DOI
| Download (ext.)