Kyung-Goo Doh

	2011
21		Kyung-Goo Doh, Hyunha Kim, David A. Schmidt: Abstract LR-Parsing. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 90-109
	2009
20		Noman Zahid, Muhammad Shahid Ansari, Kyung-Goo Doh: Transaction synchronization protocol using XML in client-server environment. CIKM-DSMM 2009: 19-20
19		Hyo-Sub Lee, Kyung-Goo Doh: Tree-pattern-based duplicate code detection. CIKM-DSMM 2009: 7-12
18		Kyung-Goo Doh, Hyunha Kim, David A. Schmidt: Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. SAS 2009: 256-272
17		Kyung-Goo Doh, David A. Schmidt: An Action Semantics Based on Two Combinators. Semantics and Algebraic Specification 2009: 274-296
16		Yukyong Kim, Kyung-Goo Doh: Formal Identification of Right-Grained Services for Service-Oriented Modeling. WISE 2009: 261-273
	2007
15		Yukyong Kim, Kyung-Goo Doh: The Service Modeling Process Based on Use Case Refactoring. BIS 2007: 108-120
14		Yukyong Kim, Kyung-Goo Doh: An Approach to Modeling Context-Adaptable Services. KES (3) 2007: 626-633
13		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		Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh: A Practical String Analyzer by the Widening Approach. APLAS 2006: 374-388
11		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		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		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		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		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		Kyung-Goo Doh, Peter D. Mosses: Composing Programming Languages by Combining Action-Semantics Modules. Electr. Notes Theor. Comput. Sci. 44(2): 87-109 (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

Coauthor Index

1	Joonseon Ahn	[11] [13]
2	Muhammad Shahid Ansari	[20]
3	Byeong-Mo Chang	[11] [13]
4	Joongmin Choi	[7] [8]
5	Tae-Hyoung Choi	[12]
6	Hyunha Kim	[12] [18] [21]
7	Jungsun Kim	[7]
8	Yukyong Kim	[14] [15] [16]
9	Hyo-Sub Lee	[19]
10	Jiyeon Lee	[13]
11	Oukseh Lee	[12]
12	Peter D. Mosses	[4] [10]
13	Heekuck Oh	[8]
14	Minkyoung Oh	[13]
15	David A. Schmidt	[1] [2] [17] [18] [21]
16	Seung Cheol Shin	[5] [6] [9]
17	Jaeyoung Yang	[7] [8]
18	Kwangkeun Yi	[9]
19	Noman Zahid	[20]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page