Extending VLSI design with higher-order logic. - Anand Chavan; Shiu-Kai Chin; Shahid Ikram; Jang Dae Kim; Juin-Yeu Zu (ICCD, 1995)

Formal Verification of Serial Pipeline Multipliers. - Jang Dae Kim; Shiu-Kai Chin (TPHOLs, 1995)

Hardware Composition with Hardware Flowcharts and Process Algebras. - Juin-Yeu Joseph Lu; Jang Dae Kim; Shiu-Kai Chin (ICECCS, 1996)

An Instruction Set Process Calculus. - Shiu-Kai Chin; Jang Dae Kim (FMCAD, 1998)