Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,”https://doi.org/10.1007/978-3-540-71209-1_21__4424:261–75. Springer, 2007.https://doi.org/10.1007/978-3-540-71209-1_21 .

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.”https://doi.org/10.2168/LMCS-3(3:4)2007__Logical Methods in Computer Science. International Federation of Computational Logic, 2007.https://doi.org/10.2168/LMCS-3(3:4)2007 .

Chatterjee, Krishnendu. “Stochastic <9-Regular Games.” University of California, Berkeley, 2007.

Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.”https://doi.org/10.1007/s10009-007-0044-z__International Journal on Software Tools for Technology Transfer. Springer, 2007.https://doi.org/10.1007/s10009-007-0044-z .

Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,”https://doi.org/10.1007/978-3-540-73420-8_71__4596:825–37. Springer, 2007.https://doi.org/10.1007/978-3-540-73420-8_71 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,”https://doi.org/10.1007/978-3-540-73368-3_51__4590:504–18. Springer, 2007.https://doi.org/10.1007/978-3-540-73368-3_51 .

Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,”https://doi.org/10.1007/978-3-540-69738-1_27__4349:378–94. Springer, 2007.https://doi.org/10.1007/978-3-540-69738-1_27 .

Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,”https://doi.org/10.1145/1250734.1250769__300–309. ACM, 2007.https://doi.org/10.1145/1250734.1250769 .

Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,”https://doi.org/10.1109/ICWS.2007.32 __831–38. IEEE, 2007.https://doi.org/10.1109/ICWS.2007.32  .

De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.”https://doi.org/10.1016/j.tcs.2007.07.008__Theoretical Computer Science. Elsevier, 2007.https://doi.org/10.1016/j.tcs.2007.07.008 .

Hosten, Onur, and Paul Kwiat. “Observing the Spin Hall Effect of Light via Quantum Weak Measurements.”https://doi.org/10.1364/FIO.2007.JTuA4__OSA, 2007.https://doi.org/10.1364/FIO.2007.JTuA4 .

Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.”https://doi.org/10.1016/j.cub.2006.11.065__Current Biology. Elsevier, 2007.https://doi.org/10.1016/j.cub.2006.11.065 .

Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” In A Tribute to Gauss and Dirichlet, 7:39–56. Analytic Number Theory. American Mathematical Society, 2007.

Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, n.d.

Schneider, I. A., Stefan Alexander Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.”https://doi.org/10.1149/1.2435706__Journal of The Electrochemical Society. The Electrochemical Society, 2007.https://doi.org/10.1149/1.2435706 .

Büchi, F. N., G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.”https://doi.org/10.1002/fuce.200600050__Fuel Cells. Wiley, 2007.https://doi.org/10.1002/fuce.200600050 .

Büchi, F. N., Stefan Alexander Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, and A. Delfino. “On the Efficiency of an Advanced Automotive Fuel Cell System.”https://doi.org/10.1002/fuce.200500257__Fuel Cells. Wiley, 2007.https://doi.org/10.1002/fuce.200500257 .

Robinson, Matthew Richard, and Loeske E.B Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.”https://doi.org/10.1098/rsbl.2007.0278__Biology Letters. The Royal Society, 2007.https://doi.org/10.1098/rsbl.2007.0278 .

Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E.B. Kruuk. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.”https://doi.org/10.1111/j.0014-3820.2006.tb01854.x__Evolution. Wiley, 2007.https://doi.org/10.1111/j.0014-3820.2006.tb01854.x .