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.
9096 Publications
2010 | Journal Article | IST-REx-ID: 1047 |
Inducing transport in a dissipation-free lattice with super bloch oscillations
E. Haller, R. Hart, M. Mark, J.G. Danzl, L. Reichsöllner, H. Nägerl, Physical Review Letters 104 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Haller, R. Hart, M. Mark, J.G. Danzl, L. Reichsöllner, H. Nägerl, Physical Review Letters 104 (2010).
2010 | Journal Article | IST-REx-ID: 1046
Interference of interacting matter waves
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, R. Hart, A. Daley, H. Nägerl, New Journal of Physics 12 (2010).
View
| DOI
M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, R. Hart, A. Daley, H. Nägerl, New Journal of Physics 12 (2010).
2010 | Conference Paper | IST-REx-ID: 10908 |
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
2010 | Journal Article | IST-REx-ID: 11097
The nuclear envelope
M. Hetzer, Cold Spring Harbor Perspectives in Biology 2 (2010) a000539–a000539.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, Cold Spring Harbor Perspectives in Biology 2 (2010) a000539–a000539.
2010 | Journal Article | IST-REx-ID: 11099
Nuclear pore biogenesis into an intact nuclear envelope
C.M. Doucet, M. Hetzer, Chromosoma 119 (2010) 469–477.
View
| DOI
| PubMed | Europe PMC
C.M. Doucet, M. Hetzer, Chromosoma 119 (2010) 469–477.