Wonhong Nam Vis

*	2009
13	EE	Hyunyoung Kil, Wonhong Nam, Dongwon Lee: Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI 2009: 1740-1745
12	EE	Hyunyoung Kil, Wonhong Nam, Dongwon Lee: Automatic web service composition with abstraction and refinement. WWW 2009: 1121-1122
11	EE	Hyunyoung Kil, Seog-Chan Oh, Ergin Elmacioglu, Wonhong Nam, Dongwon Lee: Graph Theoretic Topological Analysis of Web Service Networks. World Wide Web 12(3): 321-343 (2009)
	2008
10	EE	Wonhong Nam, Hyunyoung Kil, Dongwon Lee: Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE 2008: 331-334
9	EE	Hyunyoung Kil, Wonhong Nam, Dongwon Lee: DL2Go: Editable Digital Libraries in the Pocket. ICADL 2008: 1-11
8	EE	Hyunyoung Kil, Wonhong Nam, Dongwon Lee: Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) 2008: 359-363
7	EE	Wonhong Nam, P. Madhusudan, Rajeev Alur: Automatic symbolic compositional verification by learning assumptions. Formal Methods in System Design 32(3): 207-234 (2008)
	2006
6	EE	Wonhong Nam, Rajeev Alur: Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ATVA 2006: 170-185
	2005
5	EE	Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic Compositional Verification by Learning Assumptions. CAV 2005: 548-562
4	EE	Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109
3	EE	Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic computational techniques for solving games. STTT 7(2): 118-128 (2005)
	2004
2	EE	Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004)
	2003
1	EE	P. Madhusudan, Wonhong Nam, Rajeev Alur: Symbolic computational techniques for solving games. Electr. Notes Theor. Comput. Sci. 89(4): (2003)

Coauthor Index

1	Stephen Van Albert	[2]
2	Rajeev Alur	[1] [2] [3] [4] [5] [6] [7]
3	David Arney	[2]
4	Pavol Cerný	[4]
5	Ergin Elmacioglu	[11]
6	Elsa L. Gunter	[2]
7	Hyunyoung Kil	[8] [9] [10] [11] [12] [13]
8	Dongwon Lee	[8] [9] [10] [11] [12] [13]
9	Insup Lee	[2]
10	Jaime Lee	[2]
11	P. Madhusudan (Parthasarathy Madhusudan)	[1] [3] [4] [5] [7]
12	Seog-Chan Oh	[11]
13	Frederick Pearce	[2]
14	Jiaxiang Zhou	[2]

Colors in the list of coauthors