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.
9087 Publications
2010 | Journal Article | IST-REx-ID: 1049 | 
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Gustavsson M, Dalmonte M, Pupillo G, Nägerl H. 2010. Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons. Nature. 466(7306), 597–600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1047 |
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Nägerl H. 2010. Inducing transport in a dissipation-free lattice with super bloch oscillations. Physical Review Letters. 104(20).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 10908 |
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 11097
Hetzer M. 2010. The nuclear envelope. Cold Spring Harbor Perspectives in Biology. 2(3), a000539–a000539.
View
| DOI
| PubMed | Europe PMC