Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,”https://doi.org/10.1145/1081706.1081713__31–40. ACM, 2005.https://doi.org/10.1145/1081706.1081713 .

Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,”https://doi.org/10.1145/1065910.1065914__21–30. ACM, 2005.https://doi.org/10.1145/1065910.1065914 .

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,”https://doi.org/DOI: 10.1007/11603009_13__3829:144–61. Springer, 2005.https://doi.org/DOI: 10.1007/11603009_13 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,”https://doi.org/10.1007/11590156_1__3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005.https://doi.org/10.1007/11590156_1 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,”https://doi.org/10.1007/11523468_71__3580:878–90. Springer, 2005.https://doi.org/10.1007/11523468_71 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Mean-Payoff Parity Games,”https://doi.org/10.1109/LICS.2005.26__178–87. IEEE, 2005.https://doi.org/10.1109/LICS.2005.26 .

Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,”https://doi.org/10.1007/11560548_7__3725:50–64. Springer, 2005.https://doi.org/10.1007/11560548_7 .

Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,”https://doi.org/10.1007/978-3-540-31984-9_2__3442:2–18. Springer, 2005.https://doi.org/10.1007/978-3-540-31984-9_2 .

Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,”https://doi.org/10.1145/1060745.1060770__148–59. ACM, 2005.https://doi.org/10.1145/1060745.1060770 .

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.”https://doi.org/10.1016/j.tcs.2005.07.033__Theoretical Computer Science. Elsevier, 2005.https://doi.org/10.1016/j.tcs.2005.07.033 .

De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,”https://doi.org/10.1007/1-4020-3532-2_3__195:83–104. Springer, 2005.https://doi.org/10.1007/1-4020-3532-2_3 .

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,”https://doi.org/ 10.1109/QELS.2005.1548783__1:365–67. IEEE, 2005.https://doi.org/ 10.1109/QELS.2005.1548783 .

Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.”https://doi.org/10.1146/annurev.neuro.27.070203.144259__Annual Review of Neuroscience. Annual Reviews, 2005.https://doi.org/10.1146/annurev.neuro.27.070203.144259 .

Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.”https://doi.org/10.1016/j.cub.2005.04.017__Current Biology. Elsevier, 2005.https://doi.org/10.1016/j.cub.2005.04.017 .

Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.”https://doi.org/10.1523/jneurosci.3508-05.2005__Journal of Neuroscience. Society for Neuroscience, 2005.https://doi.org/10.1523/jneurosci.3508-05.2005 .

Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.”https://doi.org/10.1146/annurev.neuro.28.061604.135637__Annual Review of Neuroscience. Annual Reviews, 2005.https://doi.org/10.1146/annurev.neuro.28.061604.135637 .

Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.”https://doi.org/10.1016/j.cub.2005.01.008__Current Biology. Elsevier, 2005.https://doi.org/10.1016/j.cub.2005.01.008 .

Tran, Robert K., Daniel Zilberman, Cecilia de Bustos, Renata F. Ditt, Jorja G. Henikoff, Anders M. Lindroth, Jeffrey Delrow, et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.”https://doi.org/10.1186/gb-2005-6-11-r90__Genome Biology. Springer Nature, 2005.https://doi.org/10.1186/gb-2005-6-11-r90 .

Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.”https://doi.org/10.1093/hmg/ddi350__Human Molecular Genetics. Oxford University Press, 2005.https://doi.org/10.1093/hmg/ddi350 .