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
2013 | Conference Paper | IST-REx-ID: 2328 | 
Henzinger TA, Sezgin A, Vafeiadis V. 2013. Aspect-oriented linearizability proofs. 8052, 242–256.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2404 |
Frank R, Lewin M, Lieb É, Seiringer R. 2013. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 162(3), 435–495.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2405 |
Frank R, Lieb É, Seiringer R. 2013. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 319(2), 557–573.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2408 |
Grech P, Seiringer R. 2013. The excitation spectrum for weakly interacting Bosons in a trap. Communications in Mathematical Physics. 322(2), 559–591.
View
| DOI
| Download (ext.)