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 | 68 | 2006 |
Composing programming languages by combining action-semantics modules KG Doh, PD Mosses Science of Computer Programming 47 (1), 3-36, 2003 | 62 | 2003 |
The service modeling process based on use case refactoring Y Kim, KG Doh Business Information Systems: 10th International Conference, BIS 2007 …, 2007 | 52 | 2007 |
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 | 45 | 2009 |
Formal identification of right-grained services for service-oriented modeling Y Kim, KG Doh International Conference on Web Information Systems Engineering, 261-273, 2009 | 38 | 2009 |
Generic information system using sms gateway M Saleem, KG Doh 2009 Fourth International Conference on Computer Sciences and Convergence …, 2009 | 37 | 2009 |
Action semantics-directed prototyping KG Doh, DA Schmidt Computer Languages 19 (4), 213-233, 1993 | 26 | 1993 |
Abstract LR-parsing KG Doh, H Kim, DA Schmidt Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011 | 22 | 2011 |
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 | 22 | 2007 |
Tree-pattern-based duplicate code detection HS Lee, KG Doh Proceedings of the ACM first international workshop on Data-intensive …, 2009 | 21 | 2009 |
Adaptable web services modeling using variability analysis Y Kim, KG Doh 2008 Third International Conference on Convergence and Hybrid Information …, 2008 | 21 | 2008 |
Composing programming languages by combining action-semantics modules KG Doh, PD Mosses Electronic Notes in Theoretical Computer Science 44 (2), 87-109, 2001 | 21 | 2001 |
Extraction of strong typing laws from action semantics definitions KG Doh, DA Schmidt European Symposium on Programming, 151-166, 1992 | 21 | 1992 |
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 | 20 | 2008 |
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 | 20 | 2006 |
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 | 19 | 2013 |
Trust type based semantic web services assessment and selection Y Kim, KG Doh 2008 10th International Conference on Advanced Communication Technology 3 …, 2008 | 15 | 2008 |
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 | 11 | 2006 |
The facets of action semantics: Some principles and applications KG Doh, DA Schmidt ACTION SEMANTICS, 1994 | 11 | 1994 |
A knowledge-based information extraction system for semi-structured labeled documents J Yang, H Oh, KG Doh, J Choi Intelligent Data Engineering and Automated Learning—IDEAL 2002: Third …, 2002 | 10 | 2002 |