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
622006
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
International Conference on Business Information Systems, 108-120, 2007
502007
Abstract parsing: Static analysis of dynamically generated string output using lr-parsing technology
KG Doh, H Kim, DA Schmidt
International Static Analysis Symposium, 256-272, 2009
442009
Formal identification of right-grained services for service-oriented modeling
Y Kim, KG Doh
International Conference on Web Information Systems Engineering, 261-273, 2009
372009
Generic information system using sms gateway
M Saleem, KG Doh
2009 Fourth International Conference on Computer Sciences and Convergence …, 2009
352009
Action semantics-directed prototyping
KG Doh, DA Schmidt
Computer Languages 19 (4), 213-233, 1993
261993
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Electronic Notes in Theoretical Computer Science 44 (2), 87-109, 2001
222001
Abstract LR-parsing
KG Doh, H Kim, DA Schmidt
Formal Modeling: Actors, Open Systems, Biological Systems, 90-109, 2011
212011
Adaptable web services modeling using variability analysis
Y Kim, KG Doh
2008 Third International Conference on Convergence and Hybrid Information …, 2008
212008
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
212007
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
212006
Extraction of strong typing laws from action semantics definitions
KG Doh, DA Schmidt
European Symposium on Programming, 151-166, 1992
211992
Tree-pattern-based duplicate code detection
HS Lee, KG Doh
Proceedings of the ACM first international workshop on Data-intensive …, 2009
182009
Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing
H Kim, KG Doh, DA Schmidt
International Static Analysis Symposium, 194-214, 2013
162013
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
162008
Trust type based semantic web services assessment and selection
Y Kim, KG Doh
2008 10th International Conference on Advanced Communication Technology 3 …, 2008
142008
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
The facets of action semantics: Some principles and applications
KG Doh, DA Schmidt
ACTION SEMANTICS, 1994
111994
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