| |
Proceedings of the National Academy of Sciences, Vol. 103, No. 23. (6 June 2006), pp. 8577-8582.
|
| |
J. Neurosci., Vol. 26, No. 1. (4 January 2006), pp. 63-72.
|
| |
Nature, Vol. 440, No. 7084. (22 January 2006), pp. 631-636.
by Anne-Claude Gavin, Patrick Aloy, Paola Grandi, et al.Roland Krause, Markus Boesche, Martina Marzioch, Christina Rau, Lars J. Jensen, Sonja Bastuck, Birgit Dümpelfeld, Angela Edelmann, Marie-Anne Heurtier, Verena Hoffman, Christian Hoefert, Karin Klein, Manuela Hudak, Anne-Marie Michon, Malgorzata Schelder, Markus Schirle, Marita Remor, Tatjana Rudi, Sean Hooper, Andreas Bauer, Tewis Bouwmeester, Georg Casari, Gerard Drewes, Gitte Neubauer, Jens M. Rick, Bernhard Kuster, Peer Bork, Robert B. Russell, Giulio Superti-Furga
|
| |
Nature, Vol. 433, No. 7028. (24 February 2005), pp. 895-900.
|
| |
Mind & Language, Vol. 20, No. 3. (June 2005), pp. 326-352.
|
| |
Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 74, No. 1. (2006), 016110.
|
| |
Bioinformatics, Vol. 19, No. 8. (22 May 2003), pp. 930-937.
|
| |
Nat Neurosci, Vol. 6, No. 7. (July 2003), pp. 688-691.
|
| |
Phys Rev E Stat Nonlin Soft Matter Phys, Vol. 74, No. 3 Pt 2. (September 2006)
|
| |
In IJCAI '99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (1999), pp. 16-23.
|
| |
PLoS ONE, Vol. 3, No. 7. (16 July 2008), e2671.
by Jean Peccoud, Megan F. Blauvelt, Yizhi Cai, et al.Kristal L. Cooper, Oswald Crasta, Emily C. Delalla, Clive Evans, Otto Folkerts, Blair M. Lyons, Shrinivasrao P. Mane, Rebecca Shelton, Matthew A. Sweede, Sally A. Waldon
|
| |
Nature, Vol. 402, No. 6761 Suppl. (02 December 1999), pp. C47-C52.
|
| |
|
| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 16. (21 April 2009), pp. 6441-6446.
|
| |
Science, Vol. 297, No. 5586. (30 August 2002), pp. 1551-1555.
|
| |
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 103, No. 46. (14 November 2006), pp. 17290-17295.
|
| |
Priborostroenie, Vol. 18 (1975), pp. 116-119.
|
| |
|
| |
|
| |
|
| |
Social Studies of Science, Vol. 30, No. 1. (2000), pp. 73-94.
|
| |
|
| |
Physica A Statistical Mechanics and its Applications, Vol. 382 (August 2007), pp. 16-21.
|
| |
Types for Proofs and Programs (2004), pp. 1-16.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Fundam. Inf., Vol. 74, No. 2,3. (2006), pp. 167-187.
|
| |
J. Symb. Comput., Vol. 19, No. 1-3. (1995), pp. 201-216.
|
| |
|
| |
eprint arXiv:q-bio/0602004 (February 2006)
|
| |
In Papers presented at the second annual Workshop on Logical environments (1993), pp. 83-130.
|
| |
In K-CAP '03: Proceedings of the 2nd international conference on Knowledge capture (2003), pp. 121-128.
|
| |
Artif. Intell., Vol. 162, No. 1-2. (2005), pp. 49-88.
|
| |
Journal of Logic and Computation (2001)
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 1577-1584.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2036 (2001), pp. 98-??.
|
| |
|
| |
|
| |
In Algebraic Methodology and Software Technology. Proceedings - 1996, Vol. 1101 (1996), pp. 421-443.
|
| |
Acta Informatica, Vol. 35, No. 4. (???? 1998), pp. 293-327.
|