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. (2007). Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. Elsevier. https://doi.org/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. (2007). Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. Springer. https://doi.org/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. (2007). Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/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. (2007). The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. Springer. https://doi.org/10.1007/BF02937429
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. Springer. https://doi.org/10.1007/s11005-007-0211-x
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 7323
Büchi, F. N., Paganelli, G., Dietrich, P., Laurent, D., Tsukada, A., Varenne, P., … Olsommer, D. (2007). Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200600050
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7324
Büchi, F. N., Freunberger, S. A., Reum, M., Paganelli, G., Tsukada, A., Dietrich, P., & Delfino, A. (2007). On the efficiency of an advanced automotive fuel cell system. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200500257
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7325
Schneider, I. A., Freunberger, S. A., Kramer, D., Wokaun, A., & Scherer, G. G. (2007). Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2435706
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7704
Komiyama, T., Sweeney, L. B., Schuldiner, O., Garcia, K. C., & Luo, L. (2007). Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. Elsevier. https://doi.org/10.1016/j.cell.2006.12.028
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7705
Sweeney, L. B., Couto, A., Chou, Y.-H., Berdnik, D., Dickson, B. J., Luo, L., & Komiyama, T. (2007). Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2006.12.022
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7753 | OA
Robinson, M. R., & Kruuk, L. E. . (2007). Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. The Royal Society. https://doi.org/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. (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, T. A., Jhala, R., & Majumdar, R. (2007). The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-007-0044-z
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4570
Brihaye, T., Henzinger, T. A., Prabhu, V., & Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-73420-8_71
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4571
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1250734.1250769
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4572
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer, D., Chakrabarti, A., Henzinger, T. A., & Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. https://doi.org/10.1109/ICWS.2007.32
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View | DOI
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed