Extraction of Strong Typing Laws from Action Semantics Definitions. - Kyung-Goo Doh; David A. Schmidt (ESOP, 1992)

Action Semantics-Directed Prototyping. - Kyung-Goo Doh; David A. Schmidt (Comput. Lang., 1993)

Action Transformation by Partial Evaluation. - Kyung-Goo Doh (PEPM, 1995)

Analysis of Secure Information Flow by Model-Checking. - Kyung-Goo Doh; Seung Cheol Shin (APLAS, 2001)

Data Flow Analysis of Secure Information-Flow. - Kyung-Goo Doh; Seung Cheol Shin; Kwangkeun Yi (APLAS, 2002)

A Knowledge-Based Information Extraction System for Semi-structured Labeled Documents. - Jaeyoung Yang; Heekuck Oh; Kyung-Goo Doh; Joongmin Choi (IDEAL, 2002)

Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction. - Jaeyoung Yang; Jungsun Kim; Kyung-Goo Doh; Joongmin Choi (PRICAI, 2002)

Detection of information leak by data flow analysis. - Kyung-Goo Doh; Seung Cheol Shin (ACM SIGPLAN Notices, 2002)

Composing programming languages by combining action-semantics modules. - Kyung-Goo Doh; Peter D. Mosses (Sci. Comput. Program., 2003)

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

A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. - Joonseon Ahn; Byeong-Mo Chang; Kyung-Goo Doh (EUC Workshops, 2006)

The Service Modeling Process Based on Use Case Refactoring. - Yukyong Kim; Kyung-Goo Doh (BIS, 2007)

An Approach to Modeling Context-Adaptable Services. - Yukyong Kim; Kyung-Goo Doh (KES (3), 2007)

A programming environment for ubiquitous computing environment. - Minkyoung Oh; Jiyeon Lee; Byeong-Mo Chang; Joonseon Ahn; Kyung-Goo Doh (ACM SIGPLAN Notices, 2007)

An Action Semantics Based on Two Combinators. - Kyung-Goo Doh; David A. Schmidt (Semantics and Algebraic Specification, 2009)

Tree-pattern-based duplicate code detection. - Hyo-Sub Lee; Kyung-Goo Doh (CIKM-DSMM, 2009)

Transaction synchronization protocol using XML in client-server environment. - Noman Zahid; Muhammad Shahid Ansari; Kyung-Goo Doh (CIKM-DSMM, 2009)

A Comparative Analysis of XML Schema Languages. - Muhammad Shahid Ansari; Noman Zahid; Kyung-Goo Doh (FGIT-DTA, 2009)

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

Formal Identification of Right-Grained Services for Service-Oriented Modeling. - Yukyong Kim; Kyung-Goo Doh (WISE, 2009)

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

A Trust Management Model for QoS-Based Service Selection. - Yukyong Kim; Kyung-Goo Doh (WISA, 2012)

Pragmatic granularity decision for right-grained services in service-oriented modelling. - Yukyong Kim; Kyung-Goo Doh (Int. J. Web Grid Serv., 2012)

Quantitative Trust Management to Support QoS-Aware Service Selection in Service-Oriented Environments. - Yukyong Kim; Kyung-Goo Doh (ICPADS, 2013)

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

Use-case driven service modelling with XML-based tailoring for SOA. - Yukyong Kim; Kyung-Goo Doh (Int. J. Web Grid Serv., 2013)

Quantitative trust management with QoS-aware service selection. - Yukyong Kim; Yongtae Shin; Kyung-Goo Doh (Int. J. Web Grid Serv., 2015)

Tree-Pattern-Based Clone Detection with High Precision and Recall. - Hyo-Sub Lee; Myung-Ryul Choi; Kyung-Goo Doh (KSII Trans. Internet Inf. Syst., 2018)

Assessment of Dynamic Open-source Cross-site Scripting Filters for Web Application. - Nurul Atiqah Abu Talib; Kyung-Goo Doh (KSII Trans. Internet Inf. Syst., 2021)