Chatterjee, K., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.

Beyer, D., Henzinger, T. A., Jhala, R., &; Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer.https://doi.org/10.1007/978-3-540-31984-9_2 

Beyer, D., Chakrabarti, A., &; Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM.https://doi.org/10.1145/1060745.1060770 

De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2005.07.033 

De Alfaro, L., &; Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer.https://doi.org/10.1007/1-4020-3532-2_3 

Hosten, O., Rakher, M., Barreiro, J., Peters, N., &; Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE.https://doi.org/ 10.1109/QELS.2005.1548783 

de Bono, M., &; Villu Maricq, A. (2005). Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. Annual Reviews.https://doi.org/10.1146/annurev.neuro.27.070203.144259 

Cheung, B. H. H., Cohen, M., Rogers, C., Albayram, O., &; de Bono, M. (2005). Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2005.04.017 

Vogels, T. P., &; Abbott, L. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/jneurosci.3508-05.2005 

Vogels, T. P., Rajan, K., &; Abbott, L. F. (2005). Neural network dynamics. Annual Review of Neuroscience. Annual Reviews.https://doi.org/10.1146/annurev.neuro.28.061604.135637 

Tran, R. K., Henikoff, J. G., Zilberman, D., Ditt, R. F., Jacobsen, S. E., &; Henikoff, S. (2005). DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2005.01.008 

Tran, R. K., Zilberman, D., de Bustos, C., Ditt, R. F., Henikoff, J. G., Lindroth, A. M.,https://doi.org/10.1186/gb-2005-6-11-r90__Henikoff, S. (2005). Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. Springer Nature.https://doi.org/10.1186/gb-2005-6-11-r90 

Yampolsky, L., Kondrashov, F., &; Kondrashov, A. (2005). Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. Oxford University Press.https://doi.org/10.1093/hmg/ddi350 

Schanda, P., Kupde, ., &; Brutscher, B. (2005). SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. Springer Nature.https://doi.org/10.1007/s10858-005-4425-x 

Schanda, P., &; Brutscher, B. (2005). Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja051306e 

Bourgain, J., &; Kaloshin, V. (2005). On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2004.09.006 

Kondrashov, F. (2005). The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. Pleiades Publishing.

Kondrashov, F. (2005). In search of the limits of evolution. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng0105-9 

Kondrashov, F. (2005). Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. Oxford University Press.https://doi.org/10.1093/hmg/ddi243 

Kondrashov, F. (2005). The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. Pleiades Publishing.