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.
3229 Publications
2008 | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3037 |
Feraru E, Friml J. PIN polar targeting. Plant Physiology. 2008;147(4):1553-1559. doi:10.1104/pp.108.121756
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 3307 |
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3435 |
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3504 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. In: Vol 2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:107-118. doi:10.4230/LIPIcs.FSTTCS.2008.1745
View
| Files available
| DOI
2007 | Journal Article | IST-REx-ID: 2367 |
Seiringer R. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 2007;80(3):285-288. doi:10.1007/s11005-007-0159-x
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2370 |
Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 2007;59(3):389-399. doi:10.1016/S0034-4877(07)80074-7
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2371 |
Frank R, Lieb É, Seiringer R. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 2007;275(2):479-489. doi:10.1007/s00220-007-0307-2
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2372 |
Frank R, Lieb É, Seiringer R, Siedentop H. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(5). doi:10.1103/PhysRevA.76.052517
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2373 |
Frank R, Hainzl C, Naboko S, Seiringer R. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 2007;17(4):559-567. doi:10.1007/BF02937429
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2375 |
Frank R, Lieb É, Seiringer R. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 2007;82(2-3):107-116. doi:10.1007/s11005-007-0211-x
View
| DOI
| Download (ext.)
2007 | Book Chapter | IST-REx-ID: 2705 |
Erdös L. Recent developments in quantum mechanics with magnetic fields. In: Gesztesy F, Deift P, Galvez P, Perry P, Schlag W, eds. Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday . Vol 76. American Mathematical Society; 2007:401-428.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 1762 |
Leek P, Fink JM, Blais A, et al. Observation of Berry’s phase in a solid-state qubit. Science. 2007;318(5858):1889-1892. doi:10.1126/science.1149858
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 2091 |
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. In: ACM; 2007. doi:doi:10.1145/1275808.1276419
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2093 |
Bickel B, Botsch M, Angst R, et al. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 2007;26(3). doi:10.1145/1276377.1276419
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2118 |
Maas J, Van Neerven J. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 2007;89(3):226-236. doi:10.1007/s00013-007-2082-x
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 221 |
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 2007;55(1):51-80. doi:10.1307/mmj/1177681985
View
| Files available
| DOI
| arXiv
2007 | Journal Article | IST-REx-ID: 222 |
De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 2007;143(3):579-605. doi:10.1017/S0305004107000205
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 223 |
Browning TD. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 2007;152(1):13-38. doi:10.1007/s00605-007-0457-5
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 7753 |
Robinson MR, Kruuk LE. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 2007;3(6):651-654. doi:10.1098/rsbl.2007.0278
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC