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.
6985 Publications
2010 |Published| Conference Paper | IST-REx-ID: 4361 | 
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1040 |
Haller E, Gustavsson M, Mark M, Danzl JG, Hart R, Pupillo G, Nägerl H. 2009. Realization of an excited, strongly correlated quantum gas Phase. Science. 325(5945), 1224–1227.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1041 |
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Liem A, Zellmer H, Nägerl H. 2009. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 11.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1043 |
Danzl JG, Mark M, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Ritsch H, Hart R, Nägerl H. 2009. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 142, 283–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Book Chapter | IST-REx-ID: 164 |
Browning TD, Heath Brown R. 2009.Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in honour of Klaus Roth. , 75–90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 |Published| Book Chapter | IST-REx-ID: 168
Browning TD, Dietmann R. 2009.Solubility of Fermat equations. In: Quadratic Forms - algebra, arithmetic and geometry. Contemporary Mathematics, vol. 493, 99–106.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 1769 |
Fink JM, Bianchetti R, Baur M, Göppl M, Steffen L, Filipp S, Leek P, Blais A, Wallraff A. 2009. Dressed collective qubit states and the Tavis-Cummings model in circuit QED. Physical Review Letters. 103(8).
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 1767 |
Baur M, Filipp S, Bianchetti R, Fink JM, Göppl M, Steffen L, Leek P, Blais A, Wallraff A. 2009. Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit. Physical Review Letters. 102(24).
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 1766 |
Leek P, Filipp S, Maurer P, Baur M, Bianchetti R, Fink JM, Göppl M, Steffen L, Wallraff A. 2009. Using sideband transitions for two-qubit operations in superconducting circuits. Physical Review B - Condensed Matter and Materials Physics. 79(18).
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 1768 |
Filipp S, Maurer P, Leek P, Baur M, Bianchetti R, Fink JM, Göppl M, Steffen L, Gambetta J, Blais A, Wallraff A. 2009. Two-qubit state tomography using a joint dispersive readout. Physical Review Letters. 102(20).
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 1770 |
Bianchetti R, Filipp S, Baur M, Fink JM, Göppl M, Leek P, Steffen L, Blais A, Wallraff A. 2009. Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 80(4).
View
| DOI
| Download (ext.)