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.
7131 Publications
2009 | Published | Journal Article | IST-REx-ID: 18438 |

Bronstein, Alex M., Michael M. Bronstein, Yair Carmon, and Ron Kimmel. “Partial Similarity of Shapes Using a Statistical Significance Measure.” IPSJ Transactions on Computer Vision and Applications. Information Processing Society of Japan, 2009. https://doi.org/10.2197/ipsjtcva.1.105.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 18031 |

Quek, Su Ying, Maria Kamenetska, Michael L. Steigerwald, Hyoung Joon Choi, Steven G. Louie, Mark S. Hybertsen, J. B. Neaton, and Latha Venkataraman. “Mechanically Controlled Binary Conductance Switching of a Single-Molecule Junction.” Nature Nanotechnology. Springer Nature, 2009. https://doi.org/10.1038/nnano.2009.10.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 18030 |

Kamenetska, M., M. Koentopp, A. C. Whalley, Y. S. Park, M. L. Steigerwald, C. Nuckolls, M. S. Hybertsen, and Latha Venkataraman. “Formation and Evolution of Single-Molecule Junctions.” Physical Review Letters. American Physical Society, 2009. https://doi.org/10.1103/physrevlett.102.126803.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 18726 |

Haiman, Zoltán. “Observing the First Stars and Black Holes.” In Astrophysics and Space Science Proceedings, 385–418. Dordrecht: Springer Nature, 2009. https://doi.org/10.1007/978-1-4020-9457-6_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Book Chapter | IST-REx-ID: 18735 |

Haiman, Zoltán. “Observing the First Stars and Black Holes.” In Astrophysics in the Next Decade, edited by Harley A. Thronson, Massimo Stiavelli, and Alexander Tielens, 385–418. Springer Nature, 2009. https://doi.org/10.1007/978-1-4020-9457-6_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1038 |

Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics. Springer, 2009. https://doi.org/10.1007/s00340-009-3407-1.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1040 |

Haller, Elmar, Mattias Gustavsson, Manfred Mark, Johann G Danzl, Russell Hart, Guido Pupillo, and Hanns Nägerl. “Realization of an Excited, Strongly Correlated Quantum Gas Phase.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1175850.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1041 |

Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Andreas Liem, Holger Zellmer, and Hanns Nägerl. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics. IOP Publishing Ltd., 2009. https://doi.org/10.1088/1367-2630/11/5/055036.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1043 |

Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, Russell Hart, and Hanns Nägerl. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions. Royal Society of Chemistry, 2009. https://doi.org/10.1039/b820542f.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 88 |

Higginbotham, Andrew P, Octavi Semonin, S Bruce, C Chan, M Maindi, Tom Donnelly, M Maurer, et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments. American Institute of Physics, 2009. https://doi.org/10.1063/1.3155302.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 9147 |

Muller, Caroline J, and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” Journal of Physical Oceanography. American Meteorological Society, 2009. https://doi.org/10.1175/2009jpo4141.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9148 |

Muller, Caroline J, Larissa E. Back, Paul A. O’Gorman, and Kerry A. Emanuel. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters. American Geophysical Union, 2009. https://doi.org/10.1029/2009gl039667.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9453 |

Hsieh, Tzung-Fu, Christian A. Ibarra, Pedro Silva, Assaf Zemach, Leor Eshed-Williams, Robert L. Fischer, and Daniel Zilberman. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1172417.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3870 |

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4545 |

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |

Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |

Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. https://doi.org/10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI