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
642006
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
542007
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
Formal identification of right-grained services for service-oriented modeling
Y Kim, KG Doh
International Conference on Web Information Systems Engineering, 261-273, 2009
392009
Generic information system using sms gateway
M Saleem, KG Doh
2009 Fourth International Conference on Computer Sciences and Convergence …, 2009
372009
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
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
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
Composing programming languages by combining action-semantics modules
KG Doh, PD Mosses
Electronic Notes in Theoretical Computer Science 44 (2), 87-109, 2001
212001
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
192008
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
Microcode-based memory BIST implementing modified march algorithms
S Park, D Youn, T Kim, S Kang, H Oh, YS Moon
Journal of the Korean Physical Society 40 (4), 2002
162002
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
The system can't perform the operation now. Try again later.
Articles 1–20