 | 2011 |
| 7 |  | David A. de Lima Morais,
Hai Fang,
Owen J. L. Rackham,
Derek Wilson,
Ralph Pethica,
Cyrus Chothia,
Julian Gough:
SUPERFAMILY 1.75 including a domain-centric gene ontology method.
Nucleic Acids Research 39(Database-Issue): 427-434 (2011) |
| 2009 |
| 6 |  | Hai Fang,
Ji Zhang,
Kankan Wang:
Connecting Biological Themes Using a Single Human Network of Gene Associations.
IJCBS 2009: 463-471 |
| 2007 |
| 5 |  | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
The island confinement method for reducing search space in local search methods.
J. Heuristics 13(6): 557-585 (2007) |
| 2006 |
| 4 |  | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Islands for SAT
CoRR abs/cs/0607071: (2006) |
| 2004 |
| 3 |  | Hai Fang,
Wheeler Ruml:
Complete Local Search for Propositional Satisfiability.
AAAI 2004: 161-166 |
| 2003 |
| 2 |  | Juan Chen,
Dinghao Wu,
Andrew W. Appel,
Hai Fang:
A provably sound TAL for back-end optimization.
PLDI 2003: 208-219 |
| 2002 |
| 1 |  | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction.
AAAI/IAAI 2002: 28-33 |