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. 2005. The density of rational points on a certain singular cubic surface. Journal of Number Theory. 119(2), 242–283.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2307
Schwartz J, Novarino G, Piston D, Defelice L. 2005. Substrate binding stoichiometry and kinetics of the norepinephrine transporter. Journal of Biological Chemistry. 280(19), 19177–19184.
View | DOI
 

2005 | Published | Book | IST-REx-ID: 2335 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. 2005. The Mathematics of the Bose gas and its Condensation, Basel ; Berlin: Birkhäuser Verlag, VIII, 203p.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Published | Book Chapter | IST-REx-ID: 2336 | OA
Lieb É, Seiringer R, Solovej J, Yngvason J. 2005.The quantum-mechanical many-body problem: The Bose gas. In: Perspectives in Analysis. Mathematical Physics Studies, vol. 27, 97–183.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 2359 | OA
Lieb É, Seiringer R, Yngvason J. 2005. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 94(8).
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 2361 | OA
Lieb É, Seiringer R. 2005. Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. 71(6).
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 2362 | OA
Lieb É, Seiringer R, Solovej J. 2005. Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics. 71(5).
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 2427
Ambühl C, Wagner U. 2005. The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. 38(3), 279–292.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, Pach E, Sharir M, Smorodinsky S, Wagner U, Welzl E. 2005. Online conflict-free coloring for intervals. SODA: Symposium on Discrete Algorithms, 545–554.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. 2005. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 28, 451–501.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. 2005. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 15(10), 905–917.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Book Chapter | IST-REx-ID: 1444 | OA
Hausel T. 2005.Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Progress in Mathematics, vol. 235, 193–217.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1447 | OA
Hausel T. 2005. Quaternionic geometry of matroids. Open Mathematics. 3(1), 26–38.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1463 | OA
Hausel T, Proudfoot N. 2005. Abelianization for hyperkähler quotients. Topology. 44(1), 231–248.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed