Follow
Kyung-Goo Doh
Kyung-Goo Doh
Professor, Division of Computer Science, College of Computing, Hanyang University ERICA
Verified email at ehanyang.ac.kr
Title
Cited by
Cited by
Year
A practical string analyzer by the widening approach
TH Choi, O Lee, H Kim, KG Doh
Asian Symposium on Programming Languages and Systems, 374-388, 2006
652006
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Science of Computer Programming 47 (1), 3-36, 2003
592003
The service modeling process based on use case refactoring
Y Kim, KG Doh
Business Information Systems: 10th International Conference, BIS 2007 …, 2007
532007
Abstract parsing: Static analysis of dynamically generated string output using lr-parsing technology
KG Doh, H Kim, DA Schmidt
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009
442009
Generic information system using sms gateway
M Saleem, KG Doh
2009 Fourth International Conference on Computer Sciences and Convergence …, 2009
382009
Formal identification of right-grained services for service-oriented modeling
Y Kim, KG Doh
International Conference on Web Information Systems Engineering, 261-273, 2009
382009
Action semantics-directed prototyping
KG Doh, DA Schmidt
Computer Languages 19 (4), 213-233, 1993
261993
Abstract LR-parsing
KG Doh, H Kim, DA Schmidt
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
222011
A trust type based model for managing QoS in web services composition
Y Kim, KG Doh
2007 International Conference on Convergence Information Technology (ICCIT …, 2007
222007
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Electronic Notes in Theoretical Computer Science 44 (2), 87-109, 2001
222001
Tree-pattern-based duplicate code detection
HS Lee, KG Doh
Proceedings of the ACM first international workshop on Data-intensive …, 2009
212009
Adaptable web services modeling using variability analysis
Y Kim, KG Doh
2008 Third International Conference on Convergence and Hybrid Information …, 2008
212008
Extraction of strong typing laws from action semantics definitions
KG Doh, DA Schmidt
European Symposium on Programming, 151-166, 1992
211992
Applying dataflow analysis to detecting software vulnerability
H Kim, TH Choi, SC Jung, HC Kim, O Lee, KG Doh
2008 10th International conference on advanced communication technology 1 …, 2008
202008
A policy description language for context-based access control and adaptation in ubiquitous environment
J Ahn, BM Chang, KG Doh
International Conference on Embedded and Ubiquitous Computing, 650-659, 2006
202006
Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing
H Kim, KG Doh, DA Schmidt
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
172013
Trust type based semantic web services assessment and selection
Y Kim, KG Doh
2008 10th International Conference on Advanced Communication Technology 3 …, 2008
142008
The facets of action semantics: Some principles and applications
KG Doh, DA Schmidt
ACTION SEMANTICS, 1994
121994
Universal string analyzer and method thereof
K Doh, O Lee, T Choi, B Whang, J Chu, S Yoo, S Hong
US Patent App. 11/393,362, 2006
112006
Quantitative trust management to support QoS-aware service selection in service-oriented environments
Y Kim, KG Doh
2013 International Conference on Parallel and Distributed Systems, 504-509, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20