| 2008 |
|---|
| 7 | EE | Zheng Fu,
Graeme Smith:
Towards More Flexible Development of Z Specifications.
TASE 2008: 281-288 |
| 2007 |
|---|
| 6 | EE | Zheng Fu,
Tao Jiang:
Computing the Breakpoint Distance between Partially Ordered Genomes.
APBC 2007: 237-246 |
| 5 | EE | Leo Freitas,
Zheng Fu,
Jim Woodcock:
POSIX file store in Z/Eves: an experiment in the verified software repository.
ICECCS 2007: 3-14 |
| 4 | EE | Zheng Fu,
Tao Jiang:
Computing the Breakpoint Distance between Partially Ordered genomes.
J. Bioinformatics and Computational Biology 5(5): 1087-1101 (2007) |
| 2006 |
|---|
| 3 | EE | 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 | EE | 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 | EE | 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) |
