 | 2012 |
| 16 |  | Xue Li,
Zheng Fu,
Kenneth M. Merz Jr.:
QM/MM refinement and analysis of protein bound retinoic acid.
Journal of Computational Chemistry 33(3): 301-310 (2012) |
| 2011 |
| 15 |  | Zheng Fu:
Explorations on Teaching "Specialized English" Course for Non-English Major Postgraduates Based on Web.
CSEE (4) 2011: 589-594 |
| 14 |  | Zheng Fu,
Graeme Smith:
Property transformation under specification change.
Frontiers of Computer Science in China 5(1): 1-13 (2011) |
| 13 |  | Zheng Fu,
Xue Li,
Kenneth M. Merz Jr.:
Accurate assessment of the strain energy in a protein-bound drug using QM/MM X-ray refinement and converged quantum chemistry.
Journal of Computational Chemistry 32(12): 2587-2597 (2011) |
| 2009 |
| 12 |  | Leo Freitas,
Jim Woodcock,
Zheng Fu:
POSIX file store in Z/Eves: An experiment in the verified software repository.
Sci. Comput. Program. 74(4): 238-257 (2009) |
| 2008 |
| 11 |  | Zheng Fu,
Graeme Smith:
Towards More Flexible Development of Z Specifications.
TASE 2008: 281-288 |
| 10 |  | Qing-Bin Gao,
Yu Kong,
Zheng Fu,
Jian Lu,
Cheng Wu,
Zhi-Chao Jin,
Jia He:
EZ-Entry: A clinical data management system.
Comp. in Bio. and Med. 38(9): 1042-1044 (2008) |
| 9 |  | Zheng Fu,
Tao Jiang:
Clustering of Main orthologs for Multiple genomes.
J. Bioinformatics and Computational Biology 6(3): 573-584 (2008) |
| 2007 |
| 8 |  | Zheng Fu,
Tao Jiang:
Computing the Breakpoint Distance between Partially Ordered Genomes.
APBC 2007: 237-246 |
| 7 |  | Leo Freitas,
Zheng Fu,
Jim Woodcock:
POSIX file store in Z/Eves: an experiment in the verified software repository.
ICECCS 2007: 3-14 |
| 6 |  | Zheng Fu,
Tao Jiang:
Computing the Breakpoint Distance between Partially Ordered genomes.
J. Bioinformatics and Computational Biology 5(5): 1087-1101 (2007) |
| 5 |  | Zheng Fu,
Xin Chen,
Vladimir Vacic,
Peng Nan,
Yang Zhong,
Tao Jiang:
MSOAR: A High-Throughput Ortholog Assignment System Based on Genome Rearrangement.
Journal of Computational Biology 14(9): 1160-1175 (2007) |
| 2006 |
| 4 |  | Zheng Fu,
Xin Chen,
Vladimir Vacic,
Peng Nan,
Yang Zhong,
Tao Jiang:
A Parsimony Approach to Genome-Wide Ortholog Assignment.
RECOMB 2006: 578-594 |
| 3 |  | Kai Xia,
Huiling Xue,
Dong Dong,
Shanshan Zhu,
Jiamu Wang,
Qingpeng Zhang,
Lei Hou,
Hua Chen,
Ran Tao,
Zheng Huang,
Zheng Fu,
Ye-Guang Chen,
Jing-Dong J. Han:
Identification of the Proliferation/Differentiation Switch in the Cellular Network of Multicellular Organisms.
PLoS Computational Biology 2(11): (2006) |
| 2005 |
| 2 |  | Xin Chen,
Jie Zheng,
Zheng Fu,
Peng Nan,
Yang Zhong,
Stefano Lonardi,
Tao Jiang:
Computing the Assignment of Orthologous Genes via Genome Rearrangement.
APBC 2005: 363-378 |
| 1 |  | Xin Chen,
Jie Zheng,
Zheng Fu,
Peng Nan,
Yang Zhong,
Stefano Lonardi,
Tao Jiang:
Assignment of Orthologous Genes via Genome Rearrangement.
IEEE/ACM Trans. Comput. Biology Bioinform. 2(4): 302-315 (2005) |