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.
147 Publications
2005 |
Published |
Journal Article |
IST-REx-ID: 217
The density of rational points on a certain singular cubic surface
T.D. Browning, Journal of Number Theory 119 (2005) 242–283.
View
| DOI
T.D. Browning, Journal of Number Theory 119 (2005) 242–283.
2005 |
Published |
Journal Article |
IST-REx-ID: 2307
Substrate binding stoichiometry and kinetics of the norepinephrine transporter
J. Schwartz, G. Novarino, D. Piston, L. Defelice, Journal of Biological Chemistry 280 (2005) 19177–19184.
View
| DOI
J. Schwartz, G. Novarino, D. Piston, L. Defelice, Journal of Biological Chemistry 280 (2005) 19177–19184.
2005 |
Published |
Book |
IST-REx-ID: 2335 |
The Mathematics of the Bose gas and its Condensation
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser Verlag, Basel ; Berlin, 2005.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser Verlag, Basel ; Berlin, 2005.
2005 |
Published |
Book Chapter |
IST-REx-ID: 2336 |
The quantum-mechanical many-body problem: The Bose gas
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, M. Benedicks, P. Jones, S. Smirnov, B. Winckler (Eds.), Perspectives in Analysis, Springer, 2005, pp. 97–183.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, M. Benedicks, P. Jones, S. Smirnov, B. Winckler (Eds.), Perspectives in Analysis, Springer, 2005, pp. 97–183.
2005 |
Published |
Journal Article |
IST-REx-ID: 2359 |
Justification of c-number substitutions in bosonic hamiltonians
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).
2005 |
Published |
Journal Article |
IST-REx-ID: 2361 |
Stronger subadditivity of entropy
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
2005 |
Published |
Journal Article |
IST-REx-ID: 2362 |
Ground state energy of the low density Fermi gas
É. Lieb, R. Seiringer, J. Solovej, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Solovej, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
2005 |
Published |
Journal Article |
IST-REx-ID: 2427
The Clique problem in intersection graphs of ellipses and triangles
C. Ambühl, U. Wagner, Theory of Computing Systems 38 (2005) 279–292.
View
| DOI
C. Ambühl, U. Wagner, Theory of Computing Systems 38 (2005) 279–292.
2005 |
Published |
Conference Paper |
IST-REx-ID: 2428
Online conflict-free coloring for intervals
A. Fiat, M. Levy, J. Matoušek, E. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, in:, SIAM, 2005, pp. 545–554.
View
| DOI
A. Fiat, M. Levy, J. Matoušek, E. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, in:, SIAM, 2005, pp. 545–554.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View
| DOI
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
2005 |
Published |
Conference Paper |
IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
2005 |
Published |
Journal Article |
IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View
| DOI
| PubMed | Europe PMC
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
2005 |
Published |
Journal Article |
IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
2005 |
Published |
Book Chapter |
IST-REx-ID: 1444 |
Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
View
| DOI
| Download (ext.)
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
2005 |
Published |
Journal Article |
IST-REx-ID: 1447 |
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View
| DOI
| Download (ext.)
T. Hausel, Open Mathematics 3 (2005) 26–38.
2005 |
Published |
Journal Article |
IST-REx-ID: 1463 |
Abelianization for hyperkähler quotients
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.
View
| DOI
| Download (ext.)
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.