| |
Software Engineering, IEEE Transactions on, Vol. 31, No. 6. (2005), pp. 495-510.
|
| |
Mol. Cell. Biol., Vol. 24, No. 23. (1 December 2004), pp. 10111-10117.
|
| |
Science, Vol. 301, No. 5636. (22 August 2003), pp. 1090-1093.
|
| |
|
| |
|
| |
Molecular cell, Vol. 31, No. 1. (11 July 2008), pp. 57-66.
|
| |
Molecular bioSystems, Vol. 4, No. 11. (November 2008), pp. 1085-1093.
|
| |
|
| |
Emerging stock markets factbook 1999, pp. 1-381.
|
| |
Science, Vol. 301, No. 5636. (22 August 2003), pp. 1053-1055.
|
| |
Nature structural biology, Vol. 10, No. 11. (November 2003), pp. 879-880.
|
| |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4130 LNAI (2006), pp. 292-297.
|
| |
Proceedings of the National Academy of Sciences (25 June 2008), 0712293105.
|
| |
J Biol Chem (9 June 2006)
|
| |
Cell, Vol. 92, No. 1. (9 January 1998), pp. 105-116.
|
| |
Nat Neurosci, Vol. 10, No. 4. (April 2007), pp. 395-395.
|
| |
|
| |
Cognition, Vol. 101, No. 1. (August 2006), pp. B9-B18.
|
| |
Nature, Vol. 400, No. 6741. (15 July 1999), pp. 284-288.
|
| |
Science, Vol. 301, No. 5636. (22 August 2003), pp. 1094-1096.
|
| |
Cell, Vol. 125, No. 4. (19 May 2006), pp. 703-717.
|
| |
Science, Vol. 318, No. 5850. (26 October 2007), pp. 560-563.
|
| |
In TABLEAUX '99: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (1999), pp. 19-23.
|
| |
|
| |
Annals of neurology, Vol. 45, No. 2. (February 1999), pp. 265-269.
|
| |
Mol Cell Biol, Vol. 26, No. 1. (January 2006), pp. 250-260.
|