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.
7146 Publications
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: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
2009 | Published | Journal Article | IST-REx-ID: 3946 |
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View
| DOI
| Download None (ext.)
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
2009 | Published | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Published | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2009 | Published | Journal Article | IST-REx-ID: 18438 |
Partial similarity of shapes using a statistical significance measure
A.M. Bronstein, M.M. Bronstein, Y. Carmon, R. Kimmel, IPSJ Transactions on Computer Vision and Applications 1 (2009) 105–114.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.M. Bronstein, M.M. Bronstein, Y. Carmon, R. Kimmel, IPSJ Transactions on Computer Vision and Applications 1 (2009) 105–114.
2009 | Published | Journal Article | IST-REx-ID: 18031 |
Mechanically controlled binary conductance switching of a single-molecule junction
S.Y. Quek, M. Kamenetska, M.L. Steigerwald, H.J. Choi, S.G. Louie, M.S. Hybertsen, J.B. Neaton, L. Venkataraman, Nature Nanotechnology 4 (2009) 230–234.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
S.Y. Quek, M. Kamenetska, M.L. Steigerwald, H.J. Choi, S.G. Louie, M.S. Hybertsen, J.B. Neaton, L. Venkataraman, Nature Nanotechnology 4 (2009) 230–234.
2009 | Published | Journal Article | IST-REx-ID: 18030 |
Formation and evolution of single-molecule junctions
M. Kamenetska, M. Koentopp, A.C. Whalley, Y.S. Park, M.L. Steigerwald, C. Nuckolls, M.S. Hybertsen, L. Venkataraman, Physical Review Letters 102 (2009).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
M. Kamenetska, M. Koentopp, A.C. Whalley, Y.S. Park, M.L. Steigerwald, C. Nuckolls, M.S. Hybertsen, L. Venkataraman, Physical Review Letters 102 (2009).
2009 | Published | Conference Paper | IST-REx-ID: 18726 |
Observing the first stars and black holes
Z. Haiman, in:, Astrophysics and Space Science Proceedings, Springer Nature, Dordrecht, 2009, pp. 385–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, in:, Astrophysics and Space Science Proceedings, Springer Nature, Dordrecht, 2009, pp. 385–418.
2009 | Published | Book Chapter | IST-REx-ID: 18735 |
Observing the First Stars and Black Holes
Z. Haiman, in:, H.A. Thronson, M. Stiavelli, A. Tielens (Eds.), Astrophysics in the Next Decade, Springer Nature, 2009, pp. 385–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, in:, H.A. Thronson, M. Stiavelli, A. Tielens (Eds.), Astrophysics in the Next Decade, Springer Nature, 2009, pp. 385–418.
2009 | Published | Journal Article | IST-REx-ID: 1038 |
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View
| DOI
| Download None (ext.)
| arXiv
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
2009 | Published | Journal Article | IST-REx-ID: 1040 |
Realization of an excited, strongly correlated quantum gas Phase
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
View
| DOI
| Download None (ext.)
| arXiv
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
2009 | Published | Journal Article | IST-REx-ID: 1041 |
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
2009 | Published | Journal Article | IST-REx-ID: 1043 |
Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
2009 | Published | Journal Article | IST-REx-ID: 88 |
Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
2009 | Published | Journal Article | IST-REx-ID: 9147 |
Saturation of the internal tides and induced mixing in the abyssal ocean
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
2009 | Published | Journal Article | IST-REx-ID: 9148 |
A model for the relationship between tropical precipitation and column water vapor
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
2009 | Published | Journal Article | IST-REx-ID: 9453 |
Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.