Kyung-Goo Doh

31 papers A 1B 8C 2Misc 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
Assessment of Dynamic Open-source Cross-site Scripting Filters for Web Application.
KSII Trans. Internet Inf. Syst.
Nurul Atiqah Abu Talib, Kyung-Goo Doh
2018 J jnl
Tree-Pattern-Based Clone Detection with High Precision and Recall.
KSII Trans. Internet Inf. Syst.
Hyo-Sub Lee, Myung-Ryul Choi, Kyung-Goo Doh
2015 J jnl
Quantitative trust management with QoS-aware service selection.
Int. J. Web Grid Serv.
Yukyong Kim, Yongtae Shin, Kyung-Goo Doh
2013 B conf
Quantitative Trust Management to Support QoS-Aware Service Selection in Service-Oriented Environments.
ICPADS
Yukyong Kim, Kyung-Goo Doh
2013 — ed.
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.
Festschrift for Dave Schmidt
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff
2013 B conf
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing.
SAS
Hyunha Kim, Kyung-Goo Doh, David A. Schmidt
2013 J jnl
Use-case driven service modelling with XML-based tailoring for SOA.
Int. J. Web Grid Serv.
Yukyong Kim, Kyung-Goo Doh
2012 Misc conf
A Trust Management Model for QoS-Based Service Selection.
WISA
Yukyong Kim, Kyung-Goo Doh
2012 J jnl
Pragmatic granularity decision for right-grained services in service-oriented modelling.
Int. J. Web Grid Serv.
Yukyong Kim, Kyung-Goo Doh
2011 — conf
Abstract LR-Parsing.
Formal Modeling: Actors, Open Systems, Biological Systems
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
2009 — conf
A Comparative Analysis of XML Schema Languages.
FGIT-DTA
Muhammad Shahid Ansari, Noman Zahid, Kyung-Goo Doh
2009 B conf
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.
SAS
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
2009 — conf
An Action Semantics Based on Two Combinators.
Semantics and Algebraic Specification
Kyung-Goo Doh, David A. Schmidt
2009 B conf
Formal Identification of Right-Grained Services for Service-Oriented Modeling.
WISE
Yukyong Kim, Kyung-Goo Doh
2009 — conf
Transaction synchronization protocol using XML in client-server environment.
CIKM-DSMM
Noman Zahid, Muhammad Shahid Ansari, Kyung-Goo Doh
2009 — conf
Tree-pattern-based duplicate code detection.
CIKM-DSMM
Hyo-Sub Lee, Kyung-Goo Doh
2007 J jnl
A programming environment for ubiquitous computing environment.
ACM SIGPLAN Notices
Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh
2007 — conf
An Approach to Modeling Context-Adaptable Services.
KES (3)
Yukyong Kim, Kyung-Goo Doh
2007 — conf
The Service Modeling Process Based on Use Case Refactoring.
BIS
Yukyong Kim, Kyung-Goo Doh
2006 — conf
A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment.
EUC Workshops
Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh
2006 B conf
A Practical String Analyzer by the Widening Approach.
APLAS
Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
2003 J jnl
Composing programming languages by combining action-semantics modules.
Sci. Comput. Program.
Kyung-Goo Doh, Peter D. Mosses
2002 C conf
A Knowledge-Based Information Extraction System for Semi-structured Labeled Documents.
IDEAL
Jaeyoung Yang, Heekuck Oh, Kyung-Goo Doh, Joongmin Choi
2002 B conf
Data Flow Analysis of Secure Information-Flow.
APLAS
Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
2002 J jnl
Detection of information leak by data flow analysis.
ACM SIGPLAN Notices
Kyung-Goo Doh, Seung Cheol Shin
2002 B conf
Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction.
PRICAI
Jaeyoung Yang, Jungsun Kim, Kyung-Goo Doh, Joongmin Choi
2001 B conf
Analysis of Secure Information Flow by Model-Checking.
APLAS
Kyung-Goo Doh, Seung Cheol Shin
2001 — conf
Composing Programming Languages by Combining Action-Semantics Modules.
LDTA@ETAPS
Kyung-Goo Doh, Peter D. Mosses
1995 C conf
Action Transformation by Partial Evaluation.
PEPM
Kyung-Goo Doh
1993 J jnl
Action Semantics-Directed Prototyping.
Comput. Lang.
Kyung-Goo Doh, David A. Schmidt
1992 A conf
Extraction of Strong Typing Laws from Action Semantics Definitions.
ESOP
Kyung-Goo Doh, David A. Schmidt