Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.

Interface theories with component reuse
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.

Reduction of stochastic parity to stochastic mean-payoff games
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.

Logical reliability of interacting real-time tasks
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.

Stochastic limit-average games are in EXPTIME
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.

Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.

Observation of the spin hall effect of light via weak measurements
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.

Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.

A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
A.J. Bretscher, K.E. Busch, M. de Bono, Proceedings of the National Academy of Sciences 105 (2008) 8044–8049.

Beyond induced mutants: using worms to study natural variation in genetic pathways
J.E. Kammenga, P.C. Phillips, M. de Bono, A. Doroszuk, Trends in Genetics 24 (2008) 178–185.

Sleep: dozy worms and sleepy flies
B. Olofsson, M. de Bono, Current Biology 18 (2008) 4–6.

A study of the energy balance and melt regime on Juncal Norte Glacier, semi-arid Andes of central Chile, using melt models of different complexity
F. Pellicciotti, J. Helbing, A. Rivera, V. Favier, J. Corripio, J. Araos, J.-E. Sicart, M. Carenzo, Hydrological Processes 22 (2008) 3980–3997.

Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.

Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks
M. Santis, S.A. Freunberger, M. Papra, F.N. Büchi, in:, 3rd International Conference on Fuel Cell Science, Engineering and Technology, ASMEDC, 2008, pp. 763–765.

How to solve consensus in the smallest window of synchrony
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.

Environmental heterogeneity generates fluctuating selection on a secondary sexual trait
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Current Biology 18 (2008) 751–757.

Hypermutable non-synonymous sites are under stronger negative selection
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).

Cellular properties and population asymptotics in the population balance equation
T. Friedlander, N. Brenner, Physical Review Letters 101 (2008).

Regularized partial matching of rigid shapes
A.M. Bronstein, M.M. Bronstein, in:, 10th European Conference on Computer Vision, Springer Berlin Heidelberg, 2008, pp. 143–154.

Analysis of two-dimensional non-rigid shapes
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, International Journal of Computer Vision 78 (2008) 67–88.