A Conservative Front Tracking Method in N -Dimensions. - Jinjie Liu; Hyun-Kyung Lim; James Glimm; Xiaolin Li 002 (J. Sci. Comput., 2007)

CyberCardia project: Modeling, verification and validation of implantable cardiac devices. - Md. Ariful Islam; Hyun-Kyung Lim; Nicola Paoletti; Houssam Abbas; Zhihao Jiang; Jacek Cyranka; Rance Cleaveland; Sicun Gao; Edmund M. Clarke; Radu Grosu; Rahul Mangharam; Elizabeth Cherry; et al. (BIBM, 2016)

Sharp Boundary Electrocardiac Simulations. - Shuai Xue; Hyun-Kyung Lim; James Glimm; Flavio H. Fenton; Elizabeth M. Cherry (SIAM J. Sci. Comput., 2016)

From Automated MRI Scan to Finite Elements. - James Glimm; Hyun-Kyung Lim; Martin J. Bishop 001; Soojin Kim (From Reactive Systems to Cyber-Physical Systems, 2019)

Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts. - John P. Berman; Abouzar Kaboudian; Ilija Uzelac; Shahriar Iravanian; Tinen L. Iles; Paul A. Iaizzo; Hyun-Kyung Lim; Scott A. Smolka; James Glimm; Elizabeth M. Cherry; Flavio H. Fenton (CinC, 2021)

Implementation of efficient quantum search algorithms on NISQ computers. - Kun Zhang 004; Pooja Rao; Kwangmin Yu; Hyun-Kyung Lim; Vladimir E. Korepin (Quantum Inf. Process., 2021)