Set-Of-Support Strategy for Higher-Order Logic. - Wenchang Fang; Jung-Hong Kao (CTRS, 1992)

A Graph Proof Procedure for Real Time Logic. - Jung-Hong Kao; Lawrence J. Henschen (SEKE, 1992)

Active Queue Management for MAC Client Implementation of Resilient Packet Rings. - Mete Yilmaz; Nirwan Ansari; Jung-Hong Kao; Pinar Yilmaz (ICC, 2009)