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