Zheng Fu

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)

Zheng Fu, Graeme Smith: Property transformation under specification change. Frontiers of Computer Science in China 5(1): 1-13 (2011)

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)

Zheng Fu: Explorations on Teaching "Specialized English" Course for Non-English Major Postgraduates Based on Web. CSEE (4) 2011: 589-594

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)

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)

Zheng Fu, Tao Jiang: Clustering of Main orthologs for Multiple genomes. J. Bioinformatics and Computational Biology 6(3): 573-584 (2008)

Zheng Fu, Graeme Smith: Towards More Flexible Development of Z Specifications. TASE 2008: 281-288

Zheng Fu, Tao Jiang: Computing the Breakpoint Distance between Partially Ordered genomes. J. Bioinformatics and Computational Biology 5(5): 1087-1101 (2007)

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)

Zheng Fu, Tao Jiang: Computing the Breakpoint Distance between Partially Ordered Genomes. APBC 2007: 237-246

Leo Freitas, Zheng Fu, Jim Woodcock: POSIX file store in Z/Eves: an experiment in the verified software repository. ICECCS 2007: 3-14

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)

Zheng Fu, Xin Chen, Vladimir Vacic, Peng Nan, Yang Zhong, Tao Jiang: A Parsimony Approach to Genome-Wide Ortholog Assignment. RECOMB 2006: 578-594

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)

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