The Design and Implementation of an Available Bandwidth Measurement Scheme in the K*Grid System. - Seong-il Hahm; Seongho Cho; Han Choi; Chong-kwon Kim; Pillwoo Lee (J. Inf. Process. Syst., 2006)

Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. - Han Choi; Sung Deok Cha; Jae Yeon Jo; Junbeom Yoo; Hae Young Lee; Wontae Kim 001 (FGIT-CA/CES3, 2011)

LUCA: An Energy-efficient Unequal Clustering Algorithm Using Location Information for Wireless Sensor Networks. - Sungryoul Lee; Han Choi; Byoungchang Park; Yukyoung Song; Chong-kwon Kim (Wirel. Pers. Commun., 2011)