Research on Aging, Vol. 6, No. 4. (1 December 1984), pp. 515-527.
Computer, Vol. 41, No. 1. (2008), pp. 28-37.
(2000), pp. 183-196.
Pediatrics, Vol. 121, No. 3. (March 2008)
Computational Biology and Bioinformatics, IEEE/ACM Transactions on, Vol. 5, No. 2. (2008), pp. 223-234.
Formal Methods in Systems Biology (2008), pp. 1-16.
PLoS ONE, Vol. 2, No. 11. (2007)
(2007), pp. 153-156.
Immunobiology, Vol. 210, No. 10. (13 December 2005), pp. 743-747.
Brain and Language, Vol. 105, No. 3. (June 2008), pp. 220-228.
Cereb. Cortex, Vol. 14, No. 5. (1 May 2004), pp. 575-585.
J Neurophysiol, Vol. 87, No. 6. (1 June 2002), pp. 3102-3116.
Cereb Cortex, Vol. 11, No. 4. (April 2001), pp. 287-297.
Neuron, Vol. 37, No. 6. (27 March 2003), pp. 1027-1041.
Human brain mapping, Vol. 22, No. 1. (May 2004), pp. 15-26.
Nat Meth, Vol. 5, No. 5. (May 2008), pp. 425-429.
Journal of the Royal Society, Interface / the Royal Society, Vol. 4, No. 13. (22 April 2007), pp. 175-182.
Pediatric neurology, Vol. 24, No. 2. (February 2001), pp. 139-143.
posted to
adem by
pmb
on 2008-04-23 16:18:56
as
(2000)
J Cereb Blood Flow Metab, Vol. 26, No. 5. (May 2006), pp. 634-644.
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science (2001), pp. 18-41.
(2006), pp. 1720-1730.
Clinical Neurophysiology, Vol. 118, No. 12. (December 2007), pp. 2730-2744.
J Neurosci, Vol. 28, No. 7. (13 February 2008), pp. 1728-1732.
CONCURRENCY 88 (1988), pp. 74-103.
Electronic Notes in Theoretical Computer Science, Vol. 194, No. 3. (20 January 2008), pp. 119-131.
Computer Architecture, 2006. ISCA '06. 33rd International Symposium on (2006), pp. 89-101.
Nat Mater, Vol. 2, No. 4. (April 2003), pp. 229-232.
Computer, Vol. 37, No. 10. (October 2004), pp. 64-72.
(2002), pp. 157-166.
IEEE Trans. Softw. Eng., Vol. 28, No. 9. (September 2002), pp. 889-903.
Composites Part A: Applied Science and Manufacturing, Vol. 39, No. 1. (January 2008), pp. 85-90.
Proc Natl Acad Sci U S A, Vol. 102, No. 6. (8 February 2005), pp. 1951-1956.
Genome Res, Vol. 13, No. 11. (November 2003), pp. 2485-2497.
Nature Biotechnology, Vol. 23, No. 4., pp. 495-496.
Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 325-354.
Computer, Vol. 30, No. 7. (1997), pp. 31-42.
(01 January 1991)
(1984), pp. 497-604.
(1988)
(2000)
Health Care Management Science, Vol. 11, No. 1. (March 2008), pp. 79-86.
(2001)
Science of Computer Programming, Vol. 8, No. 3. (June 1987), pp. 231-274.
Formal Methods in System Design, Vol. 19, No. 1. (1 July 2001), pp. 45-80.
Software and Systems Modeling, Vol. 7, No. 2. (May 2008), pp. 237-252.
Stat Med, Vol. 26, No. 16. (20 July 2007), pp. 3057-3077.
HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007)
Computer, Vol. 34, No. 1. (2001), pp. 53-60.
ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 4. (1996), pp. 293-333.