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 |
Lieb, Élliott, et al. “Bose-Einstein Condensation and Spontaneous Symmetry Breaking.” Reports on Mathematical Physics, vol. 59, no. 3, Elsevier, 2007, pp. 389–99, doi:10.1016/S0034-4877(07)80074-7.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2371 |
Frank, Rupert, et al. “Stability of Relativistic Matter with Magnetic Fields for Nuclear Charges up to the Critical Value.” Communications in Mathematical Physics, vol. 275, no. 2, Springer, 2007, pp. 479–89, doi:10.1007/s00220-007-0307-2.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2372 |
Frank, Rupert, et al. “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, doi:10.1103/PhysRevA.76.052517.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2373 |
Frank, Rupert, et al. “The Critical Temperature for the BCS Equation at Weak Coupling.” Journal of Geometric Analysis, vol. 17, no. 4, Springer, 2007, pp. 559–67, doi:10.1007/BF02937429.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2375 |
Frank, Rupert, et al. “Number of Bound States of Schrödinger Operators with Matrix-Valued Potentials.” Letters in Mathematical Physics, vol. 82, no. 2–3, Springer, 2007, pp. 107–16, doi:10.1007/s11005-007-0211-x.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 7323
Büchi, F. N., 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, 2007, pp. 329–35, doi:10.1002/fuce.200600050.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 7324
Büchi, F. N., et al. “On the Efficiency of an Advanced Automotive Fuel Cell System.” Fuel Cells, vol. 7, no. 2, Wiley, 2007, pp. 159–64, doi:10.1002/fuce.200500257.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 7325
Schneider, I. A., et al. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.” Journal of The Electrochemical Society, vol. 154, no. 4, B383, The Electrochemical Society, 2007, doi:10.1149/1.2435706.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 7704
Komiyama, Takaki, et al. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.” Cell, vol. 128, no. 2, Elsevier, 2007, pp. 399–410, doi:10.1016/j.cell.2006.12.028.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 7705
Sweeney, Lora B., et al. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.” Neuron, vol. 53, no. 2, Elsevier, 2007, pp. 185–200, doi:10.1016/j.neuron.2006.12.022.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 7753 |
Robinson, Matthew Richard, and Loeske 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, 2007, pp. 651–54, 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, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
View
| Download (ext.)
2007 |
Published |
Thesis |
IST-REx-ID: 4566
Chakrabarti, Arindam. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley, 2007, pp. 1–244.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 4567
Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4570
Brihaye, Thomas, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4571
Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4572
Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4573
Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4575
Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4626
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:10.1016/j.tcs.2007.07.008.
View
| DOI