| 2002 | DAC | Low-swing clock domino logic incorporating dual supply and dual threshold voltages. | Seong-Ook Jung, Ki-Wook Kim, Sung-Mo Kang |
| 2002 | DAC | VeriCDF: a new verification methodology for charged device failures. | Jaesik Lee, Ki-Wook Kim, Sung-Mo Kang |
| 2002 | DATE | Dual Threshold Voltage Domino Logic Synthesis for High Performance with Noise and Power Constrain. | Seong-Ook Jung, Ki-Wook Kim, Sung-Mo Kang |
| 2002 | ICCAD | Coupling-aware high-level interconnect synthesis for low power. | Chun-Gi Lyuh, Taewhan Kim, Ki-Wook Kim |
| 2001 | DAC | Coupling Delay Optimization by Temporal Decorrelation using Dual Threshold Voltage Technique. | Ki-Wook Kim, Seong-Ook Jung, Prashant Saxena, C. L. Liu, Sung-Mo Kang |
| 2001 | ISCAS | Noise constrained power optimization for dual VT domino logic. | Seong-Ook Jung, Ki-Wook Kim, Sung-Mo Kang |
| 2001 | ISCAS | Skew-tolerant high-speed (STHS) domino logic. | Seong-Ook Jung, Seung-Moon Yoo, Ki-Wook Kim, Sung-Mo Kang |
| 2001 | ISCAS | Coupling-aware minimum delay optimization for domino logic circuits. | Ki-Wook Kim, Seong-Ook Jung, Sung-Mo Kang |
| 2001 | ISCAS | Energy-efficient skewed static logic design with dual Vt. | Chulwoo Kim, Ki-Wook Kim, Sung-Mo Kang |
| 2000 | DAC | Domino logic synthesis minimizing crosstalk. | Ki-Wook Kim, Unni Narayanan, Sung-Mo Kang |
| 2000 | ICCAD | Coupling-Driven Signal Encoding Scheme for Low-Power Interface Design. | Ki-Wook Kim, Kwang-Hyun Baek, Naresh R. Shanbhag, C. L. Liu, Sung-Mo Kang |
| 2000 | ISLPED | Noise-aware power optimization for on-chip interconnect. | Ki-Wook Kim, Seong-Ook Jung, Unni Narayanan, C. L. Liu, Sung-Mo Kang |
| 1999 | DATE | Logic Transformation for Low Power Synthesis. | Ki-Wook Kim, Sung-Mo Kang, TingTing Hwang, C. L. Liu |
| 1999 | ICCAD | Implication graph based domino logic synthesis. | Ki-Wook Kim, C. L. Liu, Sung-Mo Kang |
| 1996 | COMPSAC | VIRON: An Annotation-Based Video Information Retrieval System. | Ki-Wook Kim, Ki-Byoung Kim, Hyoung-Joo Kim |