| |
Nature, Vol. 461, No. 7266. (14 October 2009), pp. 879-881.
|
| |
BMJ (Clinical research ed.), Vol. 339, No. jul20_3. (23 July 2009), b2680.
|
| |
PLoS Comput Biol, Vol. 4, No. 12. (26 December 2008), e1000247.
|
| |
PLoS Biol, Vol. 6, No. 9. (23 September 2008), e240.
|
| |
Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
|
| |
|
| |
|
| |
|
| |
|
| |
Journal of Economic Methodology, Vol. 12, No. 1. (March 2005), pp. 3-34.
|
| |
Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515.
|
| |
Physical Review E, Vol. 64, No. 1. (28 Jun 2001), 016132.
|
| |
|
| |
In Logic in Computer Science (2000), pp. 322-332.
|
| |
|
| |
PLoS Biol, Vol. 2, No. 11. (November 2004)
|
| |
Computer, Vol. 34, No. 3. (2001), pp. 65-71.
|
| |
Fundamenta Informaticae, Vol. 41, No. 3. (2000), pp. 259-294.
|
| |
In Informal proceedings of the Fifth Symposium on Trends in Functional Languages (TFP 2004). (November 2004)
|
| |
|
| |
|
| |
IEEE Micro, Vol. 23, No. 02. (March 2003), pp. 22-28.
|
| |
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 52-61.
|
| |
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
|
| |
|
| |
In CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems (2006), pp. 275-284.
|
| |
|
| |
|
| |
|
| |
Reviews of Modern Physics, Vol. 71, No. 2. (March 1999), S431.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ACM Comput. Surv., Vol. 38, No. 1. (2006)
|
| |
|
| |
Journal of Artificial Intelligence Research, Vol. 6 (1997), pp. 147-176.
|
| |
|
| |
|
| |
|
| |
|
| |
In Computer Science Today (1995), pp. 203-217.
|
| |
Neural Networks, Vol. 14, No. 3. (2001), pp. 257-274.
|
| |
|
| |
Nature, Vol. 431, No. 7010. (14 October 2004), pp. 768-774.
|