Conditional Term Rewriting and First-Order Theorem Proving. - David A. Plaisted; Geoffrey D. Alexander; Heng Chu; Shie-Jue Lee (CTRS, 1992)

Rough Resolution: A Refinement of Resolution to Remove Large Literals. - Heng Chu; David A. Plaisted (AAAI, 1993)

Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. - Heng Chu; David A. Plaisted (ISMIS, 1993)

Semantically Guided First-Order Theorem Proving using Hyper-Linking. - Heng Chu; David A. Plaisted (CADE, 1994)

Model Finding in Semantically Guided Instance-Based Theorem Proving. - Heng Chu; David A. Plaisted (Fundam. Informaticae, 1994)

CLIN-S - A Semantically Guided First-Order Theorem Prover. - Heng Chu; David A. Plaisted (J. Autom. Reason., 1997)

Automatic Digital Modulation Recognition Using Support Vector Machines and Genetic Algorithm. - Jie Li; Jing Peng; Heng Chu; Weile Zhu (ISNN (2), 2005)

Fusion of IKONOS Satellite Imagery Using IHS Transform and Local Variation. - Heng Chu; Weile Zhu (IEEE Geosci. Remote. Sens. Lett., 2008)

Dependency Analysis Framework for Software Service Delivery. - Rema Ananthanarayanan; Vijil Chenthamarakshan; Heng Chu; Prasad M. Deshpande; Raghu Krishnapuram; Shajeer K. Mohammed (IEEE SCC, 2009)

A novel loss function for early event detection based on infinite mixture prototypes for facial expressions. - Zhi-Fang Yang; Heng Chu (Pattern Recognit. Lett., 2025)