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
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 55(1), 51–80.
[Published Version] View | Files available | DOI | arXiv
 

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

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

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

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

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

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

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

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

2007 | Published | Journal Article | IST-REx-ID: 7323
Büchi FN, Paganelli G, Dietrich P, Laurent D, Tsukada A, Varenne P, Delfino A, Kötz R, Freunberger SA, Magne P-A, Walser D, Olsommer D. 2007. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 7(4), 329–335.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7324
Büchi FN, Freunberger SA, Reum M, Paganelli G, Tsukada A, Dietrich P, Delfino A. 2007. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 7(2), 159–164.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7325
Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. 2007. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 154(4), B383.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7704
Komiyama T, Sweeney LB, Schuldiner O, Garcia KC, Luo L. 2007. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 128(2), 399–410.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7705
Sweeney LB, Couto A, Chou Y-H, Berdnik D, Dickson BJ, Luo L, Komiyama T. 2007. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 53(2), 185–200.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7753 | OA
Robinson MR, Kruuk LE. 2007. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 3(6), 651–654.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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

2007 | Published | Journal Article | IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.
View | DOI
 

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

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed