Johnson, Toby, and Nicholas H Barton. “Theoretical Models of Selection and Mutationon Quantitative Traits.”https://doi.org/10.1098/rstb.2005.1667__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2005.https://doi.org/10.1098/rstb.2005.1667 .

Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,”https://doi.org/1542__98–109. ACM, 2005.https://doi.org/1542 .

Matic, Slobodan, and Thomas A Henzinger. “Trading End-to-End Latency for Composability,”https://doi.org/10.1109/RTSS.2005.43__99–110. IEEE, 2005.https://doi.org/10.1109/RTSS.2005.43 .

Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable Microkernel for Real-Time Systems,”https://doi.org/10.1145/1064979.1064986__35–45. ACM, 2005.https://doi.org/10.1145/1064979.1064986 .

Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification of Symbolic Transition Systems.”https://doi.org/10.1145/1042038.1042039__ACM Transactions on Computational Logic (TOCL). ACM, 2005.https://doi.org/10.1145/1042038.1042039 .

Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems,”https://doi.org/10.1007/11603009_18__3829:226–41. Springer, 2005.https://doi.org/10.1007/11603009_18 .

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 .