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.
3149 Publications
2008 | Conference Paper | IST-REx-ID: 4384 |

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
2008 | Journal Article | IST-REx-ID: 3037 |

PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
2008 | Journal Article | IST-REx-ID: 3307 |

A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajković, Ž. Kućan, I. Gušić, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.
View
| DOI
| Download (ext.)
R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajković, Ž. Kućan, I. Gušić, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.
2008 | Journal Article | IST-REx-ID: 3435 |

Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
View
| DOI
| Download (ext.)
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
2008 | Conference Paper | IST-REx-ID: 3504 |

Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–118.
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–118.
2007 | Journal Article | IST-REx-ID: 2367 |

On the failure of subadditivity of the Wigner-Yanase entropy
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
View
| DOI
| Download (ext.)
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
2007 | Journal Article | IST-REx-ID: 2370 |

Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
2007 | Journal Article | IST-REx-ID: 2371 |

Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.
2007 | Journal Article | IST-REx-ID: 2372 |

Müller's exchange-correlation energy in density-matrix-functional theory
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 2373 |

The critical temperature for the BCS equation at weak coupling
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
View
| DOI
| Download (ext.)
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
2007 | Journal Article | IST-REx-ID: 2375 |

Number of bound states of Schrödinger operators with matrix-valued potentials
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.
2007 | Book Chapter | IST-REx-ID: 2705 |

Recent developments in quantum mechanics with magnetic fields
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.
View
| Download (ext.)
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.
2007 | Journal Article | IST-REx-ID: 1762 |

Observation of Berry's phase in a solid-state qubit
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
View
| DOI
| Download (ext.)
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
2007 | Conference Paper | IST-REx-ID: 2091 |

Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
View
| DOI
| Download (ext.)
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
2007 | Journal Article | IST-REx-ID: 2093 |

Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
View
| DOI
| Download (ext.)
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
2007 | Journal Article | IST-REx-ID: 2118 |

On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
2007 | Journal Article | IST-REx-ID: 221 |

On Manin's conjecture for singular del Pezzo surfaces of degree four, I
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
View
| Files available
| DOI
| arXiv
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
2007 | Journal Article | IST-REx-ID: 222 |

On Manin's conjecture for singular del Pezzo surfaces of degree four, II
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
View
| DOI
| Download (ext.)
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
2007 | Journal Article | IST-REx-ID: 223 |

Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
View
| DOI
| Download (ext.)
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
2007 | Journal Article | IST-REx-ID: 7753 |

Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.