VVDS: A Verification/Diagnosis System for VHDL. - Heh-Tyan Liaw; K.-T. Tran; Chen-Shang Lin (DAC, 1989)

Efficient Automatic Diagnosis of Digital Circuits. - Heh-Tyan Liaw; Jia-Horng Tsaih; Chen-Shang Lin (ICCAD, 1990)

On the OBDD-Representation of General Boolean Functions. - Heh-Tyan Liaw; Chen-Shang Lin (IEEE Trans. Computers, 1992)

Applying the framework of Turing machine developing system for implementing Java virtual machine. - Heh-Tyan Liaw; Ay-Hwa Andy Liou; Shang Huang (J. Comput. Methods Sci. Eng., 2012)

Obfuscation for object-oriented programs: dismantling instance methods. - Heh-Tyan Liaw; Shih-Chieh Wei (Softw. Pract. Exp., 2014)