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 | 
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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2008 | Published | Journal Article | IST-REx-ID: 11111
Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
View
| DOI
| PubMed | Europe PMC
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
2008 | Published | Journal Article | IST-REx-ID: 17721 |
The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution
R.H. Kramer, Z. Haiman, Monthly Notices of the Royal Astronomical Society 385 (2008) 1561–1575.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.H. Kramer, Z. Haiman, Monthly Notices of the Royal Astronomical Society 385 (2008) 1561–1575.
2008 | Published | Conference Paper | IST-REx-ID: 17751
Feedback effects on population III star formation
G.L. Bryan, I.D. McGreer, A. Mesinger, Z. Haiman, in:, AIP Conference Proceedings, American Institute of Physics, 2008.
View
| DOI
| Download None (ext.)
G.L. Bryan, I.D. McGreer, A. Mesinger, Z. Haiman, in:, AIP Conference Proceedings, American Institute of Physics, 2008.
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Fluctuations in the high-redshift Lyman-Werner background: Close halo pairs as the origin of supermassive black holes
M. Dijkstra, Z. Haiman, A. Mesinger, J.S.B. Wyithe, Monthly Notices of the Royal Astronomical Society 391 (2008) 1961–1972.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Dijkstra, Z. Haiman, A. Mesinger, J.S.B. Wyithe, Monthly Notices of the Royal Astronomical Society 391 (2008) 1961–1972.
2008 | Published | Journal Article | IST-REx-ID: 17787 |
Fossil Ionized bubbles around dead quasars during reionization
S.R. Furlanetto, Z. Haiman, S.P. Oh, The Astrophysical Journal 686 (2008) 25–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S.R. Furlanetto, Z. Haiman, S.P. Oh, The Astrophysical Journal 686 (2008) 25–40.
2008 | Published | Journal Article | IST-REx-ID: 17788 |
An evolving entropy floor in the intracluster gas?
W. Fang, Z. Haiman, The Astrophysical Journal 680 (2008) 200–213.
[Published Version]
View
| DOI
| Download Published Version (ext.)
W. Fang, Z. Haiman, The Astrophysical Journal 680 (2008) 200–213.
2008 | Published | Journal Article | IST-REx-ID: 17804 |
Can supermassive black holes form in metal‐enriched high‐redshift protogalaxies?
K. Omukai, R. Schneider, Z. Haiman, The Astrophysical Journal 686 (2008) 801–814.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Omukai, R. Schneider, Z. Haiman, The Astrophysical Journal 686 (2008) 801–814.
2008 | Published | Journal Article | IST-REx-ID: 2374 |
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
2008 | Published | Conference Paper | IST-REx-ID: 2432
On center regions and balls containing many points
S. Smorodinsky, M. Sulovský, U. Wagner, in:, Springer, 2008, pp. 363–373.
View
| DOI
S. Smorodinsky, M. Sulovský, U. Wagner, in:, Springer, 2008, pp. 363–373.
2008 | Published | Journal Article | IST-REx-ID: 2755
Ground-state energy of a low-density Bose gas: A second-order upper bound
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
View
| DOI
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
2008 | Published | Journal Article | IST-REx-ID: 3032
ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
View
| DOI
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
2008 | Published | Journal Article | IST-REx-ID: 4227
Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
View
| DOI
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
2008 | Published | Conference Paper | IST-REx-ID: 4366
Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
View
| DOI
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
2008 | Published | Book Chapter | IST-REx-ID: 4371
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, 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
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
2008 | Published | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 | Published | Conference Paper | IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 | Published | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
2008 | Published | Conference Paper | IST-REx-ID: 4527
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View
| DOI
| Download (ext.)
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
2008 | Published | Journal Article | IST-REx-ID: 1296
Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
View
| DOI
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.