| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 33. (18 August 2009), pp. 13685-13690.
|
| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 33. (18 August 2009), pp. 14132-14137.
by Joel M. Hyman, Ari J. Firestone, Vivi M. Heine, et al.Yun Zhao, Cory A. Ocasio, Kyuho Han, Mark Sun, Paul G. Rack, Surajit Sinha, Jason J. Wu, David E. Solow-Cordero, Jin Jiang, David H. Rowitch, James K. Chen
|
| |
Physical Review Letters, Vol. 82, No. 1. (Jan 1999), pp. 221-224.
|
| |
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (10 June 2009), pp. 12-22.
|
| |
Disease Models & Mechanisms, Vol. 2, No. 5-6. (May 2009), pp. 201-205.
|
| |
Nature, Vol. 460, No. 7256. (01 July 2009), pp. 748-752.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 225 (2009), pp. 3-19.
|
| |
PloS one, Vol. 4, No. 7. (30 July 2009), e6447.
|
| |
PLoS Comput Biol, Vol. 5, No. 7. (31 July 2009), e1000424.
|
| |
Bioinformatics, Vol. 21, No. 2. (15 January 2005), pp. 272-274.
|
| |
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.
|
| |
In SCA '03: Proceedings of the 2003 ACM SIGGRAPH/Eurographics symposium on Computer animation (2003), pp. 265-275.
|
| |
Service-Oriented Computing - ICSOC 2005 (2005), pp. 228-240.
|
| |
Bioinformatics (Oxford, England), Vol. 24, No. 2. (15 January 2008), pp. 287-289.
|
| |
Nucl. Acids Res., Vol. 37, No. suppl_2. (1 July 2009), pp. W1-2.
|
| |
Nucl. Acids Res., Vol. 36, No. suppl_1. (11 January 2008), pp. D149-153.
|
| |
RNA biology, Vol. 6, No. 3. (3 July 2009)
|
| |
|
| |
|
| |
|
| |
Nucl. Acids Res., Vol. 37, No. 8. (18 March 2009), pp. gkp145-2433.
|
| |
|
| |
|
| |
BMC Systems Biology, Vol. 3, No. 1. (2009), 27.
|
| |
In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 159-191.
|
| |
PLoS Comput Biol, Vol. 5, No. 4. (17 April 2009), e1000363.
|
| |
|
| |
|
| |
Autonomic Computing and Networking (2009), pp. 31-55.
|
| |
|
| |
|
| |
Mol Cell, Vol. 23, No. 1. (7 July 2006), pp. 37-48.
|
| |
Gene, Vol. 410, No. 1. (29 February 2008), pp. 9-17.
|
| |
Trends in Neurosciences, Vol. 31, No. 5. (May 2008), pp. 227-233.
|
| |
PLoS genetics, Vol. 2, No. 10. (13 October 2006)
by K. S. Pollard, S. R. Salama, B. King, et al.A. D. Kern, T. Dreszer, S. Katzman, A. Siepel, J. S. Pedersen, G. Bejerano, R. Baertsch, K. R. Rosenbloom, J. Kent, D. Haussler
|
| |
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.
|
| |
Journal of Circuits, Systems, and Computers, Vol. 8 (1998), pp. 67-118.
|
| |
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649.
|
| |
|
| |
|
| |
J Logic Computation (12 February 2009), exn090.
|
| |
|
| |
|
Search
