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.

5867 Publications

2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. In: Vol 2694. Springer; 2003:109-126. doi:10.1007/3-540-44898-5_7
View | DOI

2002 | Journal Article | IST-REx-ID: 204
Browning TD. Equal Sums of Two kth Powers. Journal of Number Theory. 2002;96(2):293-318. doi:10.1006/jnth.2002.2800
View | DOI

2002 | Book Chapter | IST-REx-ID: 2338
Lieb É, Solovej J, Seiringer R, Yngvason J. The ground state of the Bose gas. In: Current Developments in Mathematics, 2001. International Press; 2002:131-178. doi:
View | DOI

2002 | Conference Paper | IST-REx-ID: 2339
Seiringer R. Symmetry breaking in a model of a rotating Bose gas. In: Weder R, Exner P, Grébert B, eds. Vol 307. World Scientific Publishing; 2002:281-286. doi:10.1090/conm/307
View | DOI

2002 | Journal Article | IST-REx-ID: 2349 | OA
Lieb É, Seiringer R. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 2002;88(17):1704091-1704094. doi:10.1103/PhysRevLett.88.170409
View | DOI | Download (ext.)


Filter Publications