Jung-Hong Kao

Publication Activity (10 Years)

Years Active: 1992-2009
Publications (10 Years): 0

Publications

Mete Yilmaz, Nirwan Ansari, Jung-Hong Kao, Pinar Yilmaz
Active Queue Management for MAC Client Implementation of Resilient Packet Rings. ICC (2009)
Jung-Hong Kao, Lawrence J. Henschen
A Graph Proof Procedure for Real Time Logic. SEKE (1992)
Wenchang Fang, Jung-Hong Kao
Set-Of-Support Strategy for Higher-Order Logic. CTRS (1992)