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

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

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 
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 10.1007/978-3-540-73420-8_71

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 
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 10.1007/978-3-540-73368-3_51

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 
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 10.1007/978-3-540-69738-1_27

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 
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

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  
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

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 
LibreCat: https://research-explorer.ista.ac.at/record/4626
DOI: 10.1016/j.tcs.2007.07.008

Hosten, O., &; Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA.https://doi.org/10.1364/FIO.2007.JTuA4 
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4

Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., &; Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. Elsevier.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, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces. In A Tribute to Gauss and Dirichlet (Vol. 7, pp. 39–56). American Mathematical Society.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 10.1149/1.2435706

Büchi, F. N., Paganelli, G., Dietrich, P., Laurent, D., Tsukada, A., Varenne, P.,https://doi.org/10.1002/fuce.200600050__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 
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 10.1002/fuce.200600050

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 
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 10.1002/fuce.200500257

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

Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., &; Kruuk, L. E. B. (2007). Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. Wiley.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

Goodrich, C. P., Kirmizialtin, S., Huyghues-Despointes, B. M., Zhu, A., Scholtz, J. M., Makarov, D. E., &; Movileanu, L. (2007). Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. American Chemical Society.https://doi.org/10.1021/jp071364h 
LibreCat: https://research-explorer.ista.ac.at/record/7780
DOI: 10.1021/jp071364h

Vogels, T. P., &; Abbott, L. (2007). Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. Thieme.https://doi.org/10.1055/s-2007-992130 
LibreCat: https://research-explorer.ista.ac.at/record/8027
DOI: 10.1055/s-2007-992130
PMID: 18080946