Please note that IST 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.

3014 Publications


2009 | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
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.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
J. G. Danzl et al., “Precision molecular spectroscopy for ground state transfer of molecular quantum gases,” Faraday Discussions, vol. 142, pp. 283–295, 2009.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2, pp. 219–225, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
E. Haller et al., “Realization of an excited, strongly correlated quantum gas Phase,” Science, vol. 325, no. 5945, pp. 1224–1227, 2009.
View | DOI | Download None (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications