Int J Rehabil Res, Vol. 27, No. 2. (June 2004), pp. 113-118.
Vol. 31, No. 6. (June 1996), pp. 110-121.
(2001), pp. 290-303.
(1987), pp. 307-313.
Mathematics of Program Construction (July 2006), pp. 209-234.
(2005), pp. 1749-1752.
ZDM, Vol. 39, No. 4. (16 July 2007), pp. 265-270.
ZDM, Vol. 39, No. 4. (16 July 2007), pp. 329-340.
Journal of Mathematics Teacher Education, Vol. 11, No. 2. (2008), pp. 89-105.
Journal for Research in Mathematics Education, Vol. 16, No. 5. (1985), pp. 324-336.
(2002), pp. 138-142.
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on (1996), pp. 300-307.
Mol Syst Biol, Vol. 3 (13 February 2007)
Science, Vol. 309, No. 5740. (02 September 2005), pp. 1525-1526.
Nature, Vol. 440, No. 7084. (30 March 2006), pp. 591-592.
Nature, Vol. 442, No. 7098. (05 July 2006), pp. 33-34.
Nature Structural & Molecular Biology, Vol. 14, No. 1., pp. 3-4.
PLoS Biol, Vol. 2, No. 12. (December 2004)
Nature, Vol. 441, No. 7092. (24 May 2006), pp. 398-401.
Nature (16 August 2006)
Nature, Vol. 429 (May 2004), 241.
PLoS Comput Biol, Vol. 2, No. 2. (24 February 2006)
Nature, Vol. 442, No. 7100. (19 July 2006), pp. 255-256.
Nature (17 September 2006)
Nature (15 October 2006)
Journal of Evolutionary Biology, Vol. 19, No. 6. (2006), pp. 1768-1774.
Nat Rev Drug Discov, Vol. 2, No. 11. (November 2003), pp. 919-928.
Nat Rev Drug Discov, Vol. 3, No. 6. (June 2004), pp. 509-520.
Transactions of the Royal Society of Tropical Medicine and Hygiene, Vol. 99, No. Supplement 1. (2005), pp. 20-29.
Protein Sci, Vol. 15, No. 6. (June 2006), pp. 1527-1529.
Nature, Vol. 443, No. 7110. (2006), pp. 382-382.
Brief Bioinform (23 May 2006)
Science, Vol. 299, No. 5613. (14 March 2003), pp. 1677-1679.
Science, Vol. 312, No. 5775. (12 May 2006), pp. 870-872.
Nature, Vol. 440, No. 7083. (22 March 2006), pp. 416-417.
IEEE Softw., Vol. 12, No. 6. (November 1995), pp. 42-50.
(2005), pp. 25-35.
Disabil Rehabil, Vol. 18, No. 7. (July 1996), pp. 365-368.
Int J Rehabil Res, Vol. 26, No. 3. (September 2003), pp. 235-243.
(1991), pp. 29-54.
(26 September 2002)
(2003), pp. 718-726.
(2004), pp. 109-116.
Physiol Rev, Vol. 85, No. 3. (July 2005), pp. 943-978.
Visualization and Computer Graphics, IEEE Transactions on, Vol. 12, No. 5. (2006), pp. 1077-1084.
The VLDB Journal The International Journal on Very Large Data Bases, Vol. 10, No. 4. (December 2001), pp. 270-294.