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

A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4566

D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 10.1007/978-3-540-73420-8_71

D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification: Concretizing the convergence of model checking and program analysis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 10.1007/978-3-540-73368-3_51

D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, vol. 4349, pp. 378–394.
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 10.1007/978-3-540-69738-1_27

D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Path invariants,” presented at the PLDI: Programming Languages Design and Implementation, 2007, pp. 300–309.
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application of web-service interfaces,” presented at the ICWS: International Conference on Web Service, 2007, pp. 831–838.
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4626
DOI: 10.1016/j.tcs.2007.07.008

O. Hosten and P. Kwiat, “Observing the spin hall effect of light via quantum weak measurements,” presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4

T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W. Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans,” Current Biology, vol. 17, no. 2. Elsevier, pp. 159–164, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/6150
DOI: 10.1016/j.cub.2006.11.065
PMID: 17240342

T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,” in A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

T. D. Browning, “The Manin conjecture in dimension 2,” arXiv. .
LibreCat: https://research-explorer.ista.ac.at/record/6321
arXiv: 0704.1217

I. A. Schneider, S. A. Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer, “Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs,” Journal of The Electrochemical Society, vol. 154, no. 4. The Electrochemical Society, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 10.1149/1.2435706

F. N. Büchi 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, pp. 329–335, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 10.1002/fuce.200600050

F. N. Büchi et al., “On the efficiency of an advanced automotive fuel cell system,” Fuel Cells, vol. 7, no. 2. Wiley, pp. 159–164, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 10.1002/fuce.200500257

M. R. Robinson and L. 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, pp. 651–654, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/7753
DOI: 10.1098/rsbl.2007.0278
PMID: 17711817

M. R. Robinson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep,” Evolution, vol. 60, no. 10. Wiley, pp. 2168–2181, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/7781
DOI: 10.1111/j.0014-3820.2006.tb01854.x

C. P. Goodrich et al., “Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations,” The Journal of Physical Chemistry B, vol. 111, no. 13. American Chemical Society, pp. 3332–3335, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/7780
DOI: 10.1021/jp071364h

T. P. Vogels and L. Abbott, “Gating deficits in model networks: A path to schizophrenia?,” Pharmacopsychiatry, vol. 40, no. S 1. Thieme, pp. –, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/8027
DOI: 10.1055/s-2007-992130
PMID: 18080946