JMOCHA: A Model Checking Tool that Exploits Design Structure. - Rajeev Alur; Luca de Alfaro; Radu Grosu; Thomas A. Henzinger; M. Kang; Christoph M. Kirsch; Rupak Majumdar; Freddy Y. C. Mang; Bow-Yaw Wang (ICSE, 2001)

Factors of learner-instructor interaction which predict perceived learning outcomes in online learning environment. - M. Kang; T. Im (J. Comput. Assist. Learn., 2013)

A practical iterative PID tuning method for mechanical systems using parameter chart. - M. Kang; Joono Cheong; Hyunmin Do; Y. Son; Silviu-Iulian Niculescu (Int. J. Syst. Sci., 2017)

An Essentially Non-oscillatory Crank-Nicolson Procedure for the Simulation of Convection-Dominated Flows. - Byungjoon Lee 001; M. Kang; S. Kim (J. Sci. Comput., 2017)

Device Design and Reliability of GAA MBCFET. - M. Kang; M. Chang; Y. Park; C. Noh; S. H. Hong; B. Park; Y. H. Park; Y. C. Jung; W. S. Lim; G. H. Kim; Y. Lee; H. Yang; et al. (IRPS, 2024)