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 .
LibreCat: https://research-explorer.ista.ac.at/record/4537
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4547
DOI: 10.2168/LMCS-3(3:4)2007

Chatterjee, Krishnendu. “Stochastic <9-Regular Games.” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4559

Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4566

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 .
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 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  .
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/4626
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/6150
DOI: 10.1016/j.cub.2006.11.065
PMID: 17240342

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.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/6321
arXiv: 0704.1217

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 .
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/7753
DOI: 10.1098/rsbl.2007.0278
PMID: 17711817

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 .
LibreCat: https://research-explorer.ista.ac.at/record/7781
DOI: 10.1111/j.0014-3820.2006.tb01854.x