| |
Journal of Symbolic Computation, Vol. 14, No. 4. (October 1992), pp. 321-358.
|
| |
American Control Conference, 2009. ACC '09. (10 July 2009), pp. 745-750.
|
| |
Journal of Computational Physics, Vol. 211, No. 2. (20 January 2006), pp. 700-718.
|
| |
Nature, Vol. 314, No. 6009. (28 March 1985), pp. 357-359.
|
| |
Types for Proofs and Programs (2002), pp. 727-727.
|
| |
Image Analysis and Recognition (2007), pp. 866-877.
|
| |
Trends in parasitology, Vol. 20, No. 8. (August 2004), pp. 347-351.
|
| |
Physical Review A (Atomic, Molecular, and Optical Physics), Vol. 79, No. 4. (2009), 042108.
|
| |
Internet Computing in Science and Engineering, 2008. ICICSE '08. International Conference on In Internet Computing in Science and Engineering, 2008. ICICSE '08. International Conference on (2008), pp. 47-52.
|
| |
Journal of the American Chemical Society, Vol. 0, No. 0. (0000)
|
| |
Physical Review A, Vol. 29, No. 5. (1 May 1984), 2814.
|
| |
The Journal of allergy and clinical immunology, Vol. 89, No. 3. (March 1992), pp. 709-713.
|
| |
J Physiol, Vol. 344 (November 1983), pp. 89-111.
|
| |
Neuron, Vol. 25, No. 2. (February 2000), pp. 269-278.
|
| |
PLoS Med, Vol. 5, No. 2. (26 February 2008), e38.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 147-158.
|
| |
|
| |
In Supercomputing (1991), pp. 4-13.
|