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 AM, Bronstein MM, Carmon Y, Kimmel R. Partial similarity of shapes using a statistical significance measure. IPSJ Transactions on Computer Vision and Applications. 2009;1:105-114. doi:10.2197/ipsjtcva.1.105
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 18031 |
Quek SY, Kamenetska M, Steigerwald ML, et al. Mechanically controlled binary conductance switching of a single-molecule junction. Nature Nanotechnology. 2009;4(4):230-234. doi: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, Koentopp M, Whalley AC, et al. Formation and evolution of single-molecule junctions. Physical Review Letters. 2009;102(12). doi:10.1103/physrevlett.102.126803
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 18726 |
Haiman Z. Observing the first stars and black holes. In: Astrophysics and Space Science Proceedings. Dordrecht: Springer Nature; 2009:385-418. doi:10.1007/978-1-4020-9457-6_15
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Book Chapter | IST-REx-ID: 18735 |
Haiman Z. Observing the First Stars and Black Holes. In: Thronson HA, Stiavelli M, Tielens A, eds. Astrophysics in the Next Decade. Springer Nature; 2009:385-418. doi:10.1007/978-1-4020-9457-6_15
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 2009;95(2):219-225. doi:10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1040 |
Haller E, Gustavsson M, Mark M, et al. Realization of an excited, strongly correlated quantum gas Phase. Science. 2009;325(5945):1224-1227. doi:10.1126/science.1175850
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1041 |
Danzl JG, Mark M, Haller E, et al. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 2009;11. doi:10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 1043 |
Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). doi:10.1063/1.3155302
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 9147 |
Muller CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9148 |
Muller CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9453 |
Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. Science. 2009;324(5933):1451-1454. doi:10.1126/science.1172417
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 2009;11(1). doi:10.1145/1614431.1614432
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI