| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 33. (18 August 2009), pp. 13685-13690.
|
| |
PLoS Comput Biol, Vol. 5, No. 7. (31 July 2009), e1000424.
|
| |
In Proc. FME '94 (Formal Methods Europe, Symposium on Industrial Benefit of Formal Methods), LNCS (1994), pp. 94-19.
|
| |
Nordic J. of Computing, Vol. 2, No. 3. (1995), pp. 338-357.
|
| |
PLoS Comput Biol, Vol. 2, No. 5. (12 May 2006), e47.
by Zhihua Zhang, Changning Liu, Geir Skogerbø, et al.Xiaopeng Zhu, Hongchao Lu, Lan Chen, Baochen Shi, Yong Zhang, Jie Wang, Tao Wu, Runsheng Chen
|
| |
In GRAPHITE '05: Proceedings of the 3rd international conference on Computer graphics and interactive techniques in Australasia and South East Asia (2005), pp. 113-116.
|
| |
Bioinformatics (Oxford, England), Vol. 24, No. 2. (15 January 2008), pp. 287-289.
|
| |
|
| |
|
| |
|
| |
|
| |
PLoS Comput Biol, Vol. 5, No. 4. (17 April 2009), e1000363.
|
| |
ACM Trans. Comput. Logic, Vol. 10, No. 2. (2009), pp. 1-38.
|
| |
Theor. Comput. Sci., Vol. 227, No. 1-2. (1999), pp. 79-97.
|
| |
Higher Order Symbol. Comput., Vol. 20, No. 3. (September 2007), pp. 295-318.
|
| |
|
| |
|
| |
Nature, Vol. 460, No. 7253. (16 July 2009), pp. 417-417.
|
| |
|
| |
Annals of the New York Academy of Sciences, Vol. 1115, No. 1. (December 2007), pp. 168-177.
|
| |
|
| |
|
| |
|
| |
|
| |
Algebraic Methodology and Software Technology (2002), pp. 215-230.
|
| |
|
| |
|
| |
In Proc. COORDINATION 2002, LNCS 2315, Vol. 2315 (2002), pp. 5-13.
|
| |
|
| |
In GaMMa '06: Proceedings of the 2006 international workshop on Global integrated model management (2006), pp. 55-58.
|
| |
Nucl. Acids Res., Vol. 37, No. suppl_2. (1 July 2009), pp. W33-39.
|
| |
PLoS computational biology, Vol. 5, No. 6. (26 June 2009), e1000369.
|
