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.

8920 Publications


2007 | Published | Journal Article | IST-REx-ID: 221 | OA
R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, I,” Michigan Mathematical Journal, vol. 55, no. 1. Project Euclid, pp. 51–80, 2007.
[Published Version] View | Files available | DOI | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 222 | OA
R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, II,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 143, no. 3. Unknown, pp. 579–605, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 223 | OA
T. D. Browning, “Density of integer solutions to diagonal quadratic forms,” Monatshefte fur Mathematik, vol. 152, no. 1. Springer, pp. 13–38, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2367 | OA
R. Seiringer, “On the failure of subadditivity of the Wigner-Yanase entropy,” Letters in Mathematical Physics, vol. 80, no. 3. Springer, pp. 285–288, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2370 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Bose-Einstein condensation and spontaneous symmetry breaking,” Reports on Mathematical Physics, vol. 59, no. 3. Elsevier, pp. 389–399, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2371 | OA
R. Frank, É. Lieb, and R. Seiringer, “Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value,” Communications in Mathematical Physics, vol. 275, no. 2. Springer, pp. 479–489, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2372 | OA
R. Frank, É. Lieb, R. Seiringer, and H. Siedentop, “Müller’s exchange-correlation energy in density-matrix-functional theory,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 76, no. 5. American Physical Society, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2373 | OA
R. Frank, C. Hainzl, S. Naboko, and R. Seiringer, “The critical temperature for the BCS equation at weak coupling,” Journal of Geometric Analysis, vol. 17, no. 4. Springer, pp. 559–567, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 2375 | OA
R. Frank, É. Lieb, and R. Seiringer, “Number of bound states of Schrödinger operators with matrix-valued potentials,” Letters in Mathematical Physics, vol. 82, no. 2–3. Springer, pp. 107–116, 2007.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 7323
F. N. Büchi et al., “Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain,” Fuel Cells, vol. 7, no. 4. Wiley, pp. 329–335, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7324
F. N. Büchi et al., “On the efficiency of an advanced automotive fuel cell system,” Fuel Cells, vol. 7, no. 2. Wiley, pp. 159–164, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7325
I. A. Schneider, S. A. Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer, “Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs,” Journal of The Electrochemical Society, vol. 154, no. 4. The Electrochemical Society, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7704
T. Komiyama, L. B. Sweeney, O. Schuldiner, K. C. Garcia, and L. Luo, “Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons,” Cell, vol. 128, no. 2. Elsevier, pp. 399–410, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7705
L. B. Sweeney et al., “Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions,” Neuron, vol. 53, no. 2. Elsevier, pp. 185–200, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7753 | OA
M. R. Robinson and L. E. . Kruuk, “Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep,” Biology Letters, vol. 3, no. 6. The Royal Society, pp. 651–654, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Thesis | IST-REx-ID: 4559
K. Chatterjee, “Stochastic ω-Regular Games,” University of California, Berkeley, 2007.
View | Download (ext.)
 

2007 | Published | Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
View
 

2007 | Published | Journal Article | IST-REx-ID: 4567
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4570
T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4571
D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Path invariants,” presented at the PLDI: Programming Languages Design and Implementation, 2007, pp. 300–309.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed