Search the dblp DataBase

Publications of Author

1. Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
   A Practical String Analyzer by the Widening Approach. [Citation Graph (0, 0)][DBLP]
   APLAS, 2006, pp:374-388 [Conf]
   
2. Kyung-Goo Doh, Seung Cheol Shin
   Analysis of Secure Information Flow by Model-Checking. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:225-236 [Conf]
   
3. Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
   Data Flow Analysis of Secure Information-Flow. [Citation Graph (0, 0)][DBLP]
   APLAS, 2002, pp:352-365 [Conf]
   
4. Yukyong Kim, Kyung-Goo Doh
   The Service Modeling Process Based on Use Case Refactoring. [Citation Graph (0, 0)][DBLP]
   BIS, 2007, pp:108-120 [Conf]
   
5. Kyung-Goo Doh, David A. Schmidt
   Extraction of Strong Typing Laws from Action Semantics Definitions. [Citation Graph (0, 0)][DBLP]
   ESOP, 1992, pp:151-166 [Conf]
   
6. Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh
   A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. [Citation Graph (0, 0)][DBLP]
   EUC Workshops, 2006, pp:650-659 [Conf]
   
7. Jaeyoung Yang, Heekuck Oh, Kyung-Goo Doh, Joongmin Choi
   A Knowledge-Based Information Extraction System for Semi-structured Labeled Documents. [Citation Graph (0, 0)][DBLP]
   IDEAL, 2002, pp:105-110 [Conf]
   
8. Kyung-Goo Doh
   Action Transformation by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   PEPM, 1995, pp:230-240 [Conf]
   
9. Jaeyoung Yang, Jungsun Kim, Kyung-Goo Doh, Joongmin Choi
   Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction. [Citation Graph (0, 0)][DBLP]
   PRICAI, 2002, pp:472-481 [Conf]
   
10. Kyung-Goo Doh, David A. Schmidt
    Action Semantics-Directed Prototyping. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:19, n:4, pp:213-233 [Journal]
    
11. Kyung-Goo Doh, Peter D. Mosses
    Composing Programming Languages by Combining Action-Semantics Modules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:2, pp:- [Journal]
    
12. Kyung-Goo Doh, Peter D. Mosses
    Composing programming languages by combining action-semantics modules. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:1, pp:3-36 [Journal]
    
13. Kyung-Goo Doh, Seung Cheol Shin
    Detection of information leak by data flow analysis. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:8, pp:66-71 [Journal]
    
14. Yukyong Kim, Kyung-Goo Doh
    An Approach to Modeling Context-Adaptable Services. [Citation Graph (0, 0)][DBLP]
    KES (3), 2007, pp:626-633 [Conf]
    
15. Minkyoung Oh, JiYeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh
    A programming environment for ubiquitous computing environment. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2007, v:42, n:4, pp:14-22 [Journal]
    
16. 
    An Action Semantics Based on Two Combinators. [Citation Graph (, )][DBLP]
    
    
17. 
    Transaction synchronization protocol using XML in client-server environment. [Citation Graph (, )][DBLP]
    
    
18. 
    Tree-pattern-based duplicate code detection. [Citation Graph (, )][DBLP]
    
    
19. 
    Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. [Citation Graph (, )][DBLP]
    
    
20. 
    Formal Identification of Right-Grained Services for Service-Oriented Modeling. [Citation Graph (, )][DBLP]