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, T. D. (2005). The density of rational points on a certain singular cubic surface. Journal of Number Theory. Elsevier. https://doi.org/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. (2005). Substrate binding stoichiometry and kinetics of the norepinephrine transporter. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M412923200
View
| DOI
2005 |
Published |
Book |
IST-REx-ID: 2335 |
Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2005). The Mathematics of the Bose gas and its Condensation (Vol. 34). Basel ; Berlin: Birkhäuser Verlag. https://doi.org/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. (2005). The quantum-mechanical many-body problem: The Bose gas. In M. Benedicks, P. Jones, S. Smirnov, & B. Winckler (Eds.), Perspectives in Analysis (Vol. 27, pp. 97–183). Springer. https://doi.org/10.1007/3-540-30434-7_9
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2359 |
Lieb, É., Seiringer, R., & Yngvason, J. (2005). Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.080401
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2361 |
Lieb, É., & Seiringer, R. (2005). Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.71.062329
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 2362 |
Lieb, É., Seiringer, R., & Solovej, J. (2005). Ground state energy of the low density Fermi gas. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.71.053605
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. Springer. https://doi.org/10.1007/s00224-005-1141-6
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 2428
Fiat, A., Levy, M., Matoušek, J., Pach, E., Sharir, M., Smorodinsky, S., … Welzl, E. (2005). Online conflict-free coloring for intervals (pp. 545–554). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/S0097539704446682
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/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. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
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. Annual Reviews. https://doi.org/10.1146/annurev.neuro.27.070203.144259
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Journal Article |
IST-REx-ID: 6154
Cheung, B. H. H., Cohen, M., Rogers, C., Albayram, O., & de Bono, M. (2005). Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2005.04.017
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Book Chapter |
IST-REx-ID: 1444 |
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 (Vol. 235, pp. 193–217). Springer. https://doi.org/10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 1447 |
Hausel, T. (2005). Quaternionic geometry of matroids. Open Mathematics. Central European Science Journals. https://doi.org/10.2478/BF02475653
View
| DOI
| Download (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 1463 |
Hausel, T., & Proudfoot, N. (2005). Abelianization for hyperkähler quotients. Topology. Elsevier. https://doi.org/10.1016/j.top.2004.04.002
View
| DOI
| Download (ext.)