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.
7478 Publications
2009 | Published | Conference Paper | IST-REx-ID: 3968 | 
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 18438 |
A. M. Bronstein, M. M. Bronstein, Y. Carmon, and R. Kimmel, “Partial similarity of shapes using a statistical significance measure,” IPSJ Transactions on Computer Vision and Applications, vol. 1. Information Processing Society of Japan, pp. 105–114, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 18031 |
S. Y. Quek et al., “Mechanically controlled binary conductance switching of a single-molecule junction,” Nature Nanotechnology, vol. 4, no. 4. Springer Nature, pp. 230–234, 2009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 18030 |
M. Kamenetska et al., “Formation and evolution of single-molecule junctions,” Physical Review Letters, vol. 102, no. 12. American Physical Society, 2009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 18726 |
Z. Haiman, “Observing the first stars and black holes,” in Astrophysics and Space Science Proceedings, 2009, pp. 385–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Book Chapter | IST-REx-ID: 18735 |
Z. Haiman, “Observing the First Stars and Black Holes,” in Astrophysics in the Next Decade, H. A. Thronson, M. Stiavelli, and A. Tielens, Eds. Springer Nature, 2009, pp. 385–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1038 |
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2. Springer, pp. 219–225, 2009.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1040 |
E. Haller et al., “Realization of an excited, strongly correlated quantum gas Phase,” Science, vol. 325, no. 5945. American Association for the Advancement of Science, pp. 1224–1227, 2009.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1041 |
J. G. Danzl et al., “Deeply bound ultracold molecules in an optical lattice,” New Journal of Physics, vol. 11. IOP Publishing Ltd., 2009.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1043 |
J. G. Danzl et al., “Precision molecular spectroscopy for ground state transfer of molecular quantum gases,” Faraday Discussions, vol. 142. Royal Society of Chemistry, pp. 283–295, 2009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 88 |
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 9147 |
C. J. Muller and O. Bühler, “Saturation of the internal tides and induced mixing in the abyssal ocean,” Journal of Physical Oceanography, vol. 39, no. 9. American Meteorological Society, pp. 2077–2096, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9148 |
C. J. Muller, L. E. Back, P. A. O’Gorman, and K. A. Emanuel, “A model for the relationship between tropical precipitation and column water vapor,” Geophysical Research Letters, vol. 36, no. 16. American Geophysical Union, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9453 |
T.-F. Hsieh et al., “Genome-wide demethylation of Arabidopsis endosperm,” Science, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5392 |
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI