Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. Coarse and reliable geometric alignment for protein docking. In: World Scientific Publishing; 2005:64-75. doi:10.1142/9789812702456_0007

Ulrich F, Krieg M, Schötz E, et al. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 2005;9(4):555-564. doi:10.1016/j.devcel.2005.08.011

Barton NH, Polechova J. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 2005;18(5):1186-1190. doi:10.1111/j.1420-9101.2005.00943.x

Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 2005;118(18):4199-4206. doi:10.1242/â€‹jcs.02547

Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. Shield formation at the onset of zebrafish gastrulation. Development. 2005;132(6):1187-1198. doi:10.1242/dev.01667

Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x

Barton NH, Otto S. Evolution of recombination due to random drift. Genetics. 2005;169(4):2353-2370. doi:10.1534/genetics.104.032821

Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667

Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542

Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43

Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986

Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 2005;6(1):1-32. doi:10.1145/1042038.1042039

Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18

Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713

Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914

Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13

Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1

Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71

Chatterjee K, Henzinger TA, Jurdziski M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26

Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7