Equivalence Checking of Two Statechart Specifications. - Myung-Hwan Park; Ki-Seok Bang; Jin-Young Choi; Inhye Kang (IEEE International Workshop on Rapid System Prototyping, 2000)

A Scalable Learning Model for Multi-seasonal Time Series Forecasting. - Hun-Jeong Kang; Christopher Kallas; Myung-Hwan Park; Jinoh Kim (ICEIC, 2021)