 | 2009 |
|---|
| 10 |       | 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 |
|---|
| 9 | | Zheng Fu,
Graeme Smith:
Towards More Flexible Development of Z Specifications.
TASE 2008: 281-288 |
| 8 | | Zheng Fu,
Tao Jiang:
Clustering of Main orthologs for Multiple genomes.
J. Bioinformatics and Computational Biology 6(3): 573-584 (2008) |
| 2007 |
|---|
| 7 | | Zheng Fu,
Tao Jiang:
Computing the Breakpoint Distance between Partially Ordered Genomes.
APBC 2007: 237-246 |
| 6 | | Leo Freitas,
Zheng Fu,
Jim Woodcock:
POSIX file store in Z/Eves: an experiment in the verified software repository.
ICECCS 2007: 3-14 |
| 5 | | Zheng Fu,
Tao Jiang:
Computing the Breakpoint Distance between Partially Ordered genomes.
J. Bioinformatics and Computational Biology 5(5): 1087-1101 (2007) |
| 4 | | 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 |
|---|
| 3 | | Zheng Fu,
Xin Chen,
Vladimir Vacic,
Peng Nan,
Yang Zhong,
Tao Jiang:
A Parsimony Approach to Genome-Wide Ortholog Assignment.
RECOMB 2006: 578-594 |
| 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) |
