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.
1995 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 | Published | Conference Paper | IST-REx-ID: 4360
Combining theories with shared set operations
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
2009 | Published | Conference Paper | IST-REx-ID: 4377
It's doomed; we can prove it
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
2009 | Published | Conference Paper | IST-REx-ID: 4391
Automated analysis of Java methods for confidentiality
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
2009 | Published | Conference Paper | IST-REx-ID: 4365
Abstraction refinement for quantified array assertions
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
View
| DOI
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
2009 | Published | Conference Paper | IST-REx-ID: 4375
Intra-module inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
2009 | Published | Conference Paper | IST-REx-ID: 4403 | 
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Published | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
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).