Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.

Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.

Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.

Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.

Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.

Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.

Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.

An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.

In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.

Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.

Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.

Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.

Sparse ICA for blind separation of transmitted and reflected images
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, International Journal of Imaging Systems and Technology 15 (2005) 84–91.

Isometric embedding of facial surfaces into 
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.

Three-dimensional face recognition
A.M. Bronstein, M.M. Bronstein, R. Kimmel, International Journal of Computer Vision 64 (2005) 5–30.

"Unmixing" tissues: Sparse component analysis in multi-contrast MRI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, IEEE International Conference on Image Processing, IEEE, 2005, pp. 1279–1282.

Expression-invariant face recognition via spherical embedding
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, International Conference on Image Processing, IEEE, 2005, pp. 756–759.

Blind deconvolution of images using optimal sparse representations
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, IEEE Transactions on Image Processing 14 (2005) 726–736.

Biochemistry: Organization of iron-sulfur clusters in respiratory complex I
P. Hinchliffe, L.A. Sazanov, Science 309 (2005) 771–774.

Analytic Methods for Diophantine Equations and Diophantine Inequalities
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.