RTL Controller Synthesis. - ChiLai Huang; Joseph Lis; Michael Quayle; Saurin Shroff (Synthesis for Control Dominated Circuits, 1992)

Complex Operator Synthesis. - Michael Quayle; ChiLai Huang (ICCD, 1994)

A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. - Priyank Kalla; Zhihong Zeng; Maciej J. Ciesielski; ChiLai Huang (DATE, 2000)