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 TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

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

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

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

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

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

De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.
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. OMD: Organic Materials and Devices for Displays and Energy Conversion, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4

Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 17(2), 159–164.
LibreCat: https://research-explorer.ista.ac.at/record/6150
DOI: 10.1016/j.cub.2006.11.065
PMID: 17240342

Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

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

Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. 2007. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 154(4), 3.
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 10.1149/1.2435706

Büchi FN, Paganelli G, Dietrich P, Laurent D, Tsukada A, Varenne P, Delfino A, Kötz R, Freunberger SA, Magne P-A, Walser D, Olsommer D. 2007. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 7(4), 329–335.
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 10.1002/fuce.200600050

Büchi FN, Freunberger SA, Reum M, Paganelli G, Tsukada A, Dietrich P, Delfino A. 2007. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 7(2), 159–164.
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 10.1002/fuce.200500257

Robinson MR, Kruuk LE. 2007. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 3(6), 651–654.
LibreCat: https://research-explorer.ista.ac.at/record/7753
DOI: 10.1098/rsbl.2007.0278
PMID: 17711817

Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. 2007. Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. 60(10), 2168–2181.
LibreCat: https://research-explorer.ista.ac.at/record/7781
DOI: 10.1111/j.0014-3820.2006.tb01854.x

Goodrich CP, Kirmizialtin S, Huyghues-Despointes BM, Zhu A, Scholtz JM, Makarov DE, Movileanu L. 2007. Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 111(13), 3332–3335.
LibreCat: https://research-explorer.ista.ac.at/record/7780
DOI: 10.1021/jp071364h

Vogels TP, Abbott L. 2007. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 40(S 1), –.
LibreCat: https://research-explorer.ista.ac.at/record/8027
DOI: 10.1055/s-2007-992130
PMID: 18080946