Isolation, Infima and Diamond Embeddings. - Jiang Liu 002; Guohua Wu (J. Log. Comput., 2007)

Joining to High Degrees. - Jiang Liu 002; Guohua Wu (CiE, 2008)

Infima of d.r.e. Degrees. - Jiang Liu 002; Shengling Wang 002; Guohua Wu (CiE, 2009)

Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. - Douglas Cenzer; Johanna N. Y. Franklin; Jiang Liu 002; Guohua Wu (TAMC, 2009)

Degrees with Almost Universal Cupping Property. - Jiang Liu 002; Guohua Wu (CiE, 2010)

Joining to high degrees via noncuppables. - Jiang Liu 002; Guohua Wu (Arch. Math. Log., 2010)

Infima of d.r.e. degrees. - Jiang Liu 002; Shengling Wang 002; Guohua Wu (Arch. Math. Log., 2010)

Cupping and Diamond Embeddings: A Unifying Approach. - Chengling Fang; Jiang Liu 002; Guohua Wu (CiE, 2011)

A superhigh diamond in the c.e. tt-degrees. - Douglas Cenzer; Johanna N. Y. Franklin; Jiang Liu 002; Guohua Wu (Arch. Math. Log., 2011)

An almost-universal cupping degree. - Jiang Liu 002; Guohua Wu (J. Symb. Log., 2011)

Almost universal cupping and diamond embeddings. - Jiang Liu 002; Guohua Wu (Ann. Pure Appl. Log., 2012)

Nonexistence of Minimal Pairs in L[d]. - Chengling Fang; Jiang Liu 002; Guohua Wu; Mars M. Yamaleev (CiE, 2015)

A Linear Algebra Formulation for Boolean Satisfiability Testing. - Chengling Fang; Jiang Liu 002 (CoRR, 2017)