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
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” presented at the SAS: Static Analysis Symposium, 2003, vol. 2694, pp. 109–126.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 204
T. D. Browning, “Equal Sums of Two kth Powers,” Journal of Number Theory, vol. 96, no. 2, pp. 293–318, 2002.
View | DOI
 

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

2002 | Conference Paper | IST-REx-ID: 2339
R. Seiringer, “Symmetry breaking in a model of a rotating Bose gas,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 281–286.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2349 | OA
É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute trapped gases,” Physical Review Letters, vol. 88, no. 17, pp. 1704091–1704094, 2002.
View | DOI | Download (ext.)
 

Search

Filter Publications