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.

192 Publications


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

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

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

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

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

2007 | Published | Journal Article | IST-REx-ID: 7323
Büchi FN, Paganelli G, Dietrich P, et al. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 2007;7(4):329-335. doi:10.1002/fuce.200600050
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7324
Büchi FN, Freunberger SA, Reum M, et al. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 2007;7(2):159-164. doi:10.1002/fuce.200500257
View | DOI
 

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

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

2007 | Published | Journal Article | IST-REx-ID: 7705
Sweeney LB, Couto A, Chou Y-H, et al. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 2007;53(2):185-200. doi:10.1016/j.neuron.2006.12.022
View | DOI
 

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

2007 | Published | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View | Download (ext.)
 

2007 | Published | Thesis | IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
 

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

2007 | Published | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View | DOI
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed