Recognition of polyhedra by a mechanical theorem proving method. - Kyun Koh; Koichiro Deguchi (ICPR (1), 1992)

Dynamic event filtering technique using multi-level path approximation in a shared virtual environment. - Seok-Jong Yu; Yoon-Chul Choy; Kyun Koh (HCI (2), 1999)

A Parallel Spatial Join Processing for Distributed Spatial Databases. - Myoung-Soo Kang; Seung-Kyu Ko; Kyun Koh; Yoon-Chul Choy (FQAS, 2002)