Formal Verification of an Industrial System-on-a-Chip. - Hoon Choi; Myung-Kyoon Yim; Jae Young Lee; Byeong-Whee Yun; Yun-Tae Lee (ICCD, 2000)

Surface temperature-aware thermal management technique for mobile devices. - Myung-Kyoon Yim; Kyoung-Min Lee; Tae Hee Han (IEICE Electron. Express, 2014)

Sudden-voltage-drop protection technique for enhancing the reliability of mobile devices under low battery conditions. - Kyoung-Min Lee; Myung-Kyoon Yim; Tae Hee Han (IEICE Electron. Express, 2015)