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
Browning TD. The density of rational points on a certain singular cubic surface. Journal of Number Theory. 2005;119(2):242-283. doi:10.1016/j.jnt.2005.11.007
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2307
Schwartz J, Novarino G, Piston D, Defelice L. Substrate binding stoichiometry and kinetics of the norepinephrine transporter. Journal of Biological Chemistry. 2005;280(19):19177-19184. doi:10.1074/jbc.M412923200
View
| DOI
2005 |
Published |
Book |
IST-REx-ID: 2335 |
Lieb É, Seiringer R, Solovej J, Yngvason J. The Mathematics of the Bose Gas and Its Condensation. Vol 34. Basel ; Berlin: Birkhäuser Verlag; 2005. doi:10.1007/b137508
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2005 |
Published |
Book Chapter |
IST-REx-ID: 2336 |
Lieb É, Seiringer R, Solovej J, Yngvason J. The quantum-mechanical many-body problem: The Bose gas. In: Benedicks M, Jones P, Smirnov S, Winckler B, eds. Perspectives in Analysis. Vol 27. Springer; 2005:97-183. doi:10.1007/3-540-30434-7_9
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2359 |
Lieb É, Seiringer R, Yngvason J. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 2005;94(8). doi:10.1103/PhysRevLett.94.080401
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2361 |
Lieb É, Seiringer R. Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. 2005;71(6). doi:10.1103/PhysRevA.71.062329
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2362 |
Lieb É, Seiringer R, Solovej J. Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics. 2005;71(5). doi:10.1103/PhysRevA.71.053605
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2427
Ambühl C, Wagner U. The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. 2005;38(3):279-292. doi:10.1007/s00224-005-1141-6
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, et al. Online conflict-free coloring for intervals. In: SIAM; 2005:545-554. doi:10.1137/S0097539704446682
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 6153
de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Journal Article |
IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Book Chapter |
IST-REx-ID: 1444 |
Hausel T. Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Vol 235. Springer; 2005:193-217. doi:10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 1447 |
Hausel T. Quaternionic geometry of matroids. Open Mathematics. 2005;3(1):26-38. doi:10.2478/BF02475653
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 1463 |
Hausel T, Proudfoot N. Abelianization for hyperkähler quotients. Topology. 2005;44(1):231-248. doi:10.1016/j.top.2004.04.002
View
| DOI
| Download (ext.)