A Practical String Analyzer by the Widening Approach. - Tae-Hyoung Choi; Oukseh Lee; Hyunha Kim; Kyung-Goo Doh (APLAS, 2006)

Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. - Kyung-Goo Doh; Hyunha Kim; David A. Schmidt (SAS, 2009)

Abstract LR-Parsing. - Kyung-Goo Doh; Hyunha Kim; David A. Schmidt (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Gas-to-Particle Conversion in Surface Discharge Nonthermal Plasmas and Its Implications for Atmospheric Chemistry. - Hyunha Kim; Atsushi Ogata (Sensors, 2011)

Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. - Hyunha Kim; Kyung-Goo Doh; David A. Schmidt (SAS, 2013)