Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.

Stochastic <9-Regular Games
K. Chatterjee, Stochastic <9-Regular Games, University of California, Berkeley, 2007.

A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.

The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.

Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.

Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.

Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.

Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.

An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.

Speeding up three-dimensional protein NMR experiments to a few minutes
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.

HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) 7–4.

Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.

Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, M. Saprykina, Discrete &; Continuous Dynamical Systems - A 15 (2006) 611–640.

The effect of projections on fractal sets and measures in Banach spaces
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.

Long time behaviour of periodic stochastic flows
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.

Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.

Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, M. Kondrashova, Biology Direct 1 (2006).

Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Journal of Theoretical Biology 240 (2006) 616–626.

Role of selection in fixation of gene duplications
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.