Wonhong Nam

	2011
17		Hyunyoung Kil, Wonhong Nam: Anytime algorithm for QoS web service composition. WWW (Companion Volume) 2011: 71-72
16		Wonhong Nam, Hyunyoung Kil, Dongwon Lee: On the computational complexity of behavioral description-based web service composition. Theor. Comput. Sci. 412(48): 6736-6749 (2011)
	2010
15		Wonhong Nam, Rajeev Alur: Active Learning of Plans for Safety and Reachability Goals With Partial Observability. IEEE Transactions on Systems, Man, and Cybernetics, Part B 40(2): 412-420 (2010)
	2009
14		Wonhong Nam, Hyunyoung Kil, Jungjae Lee: QoS-Driven Web Service Composition Using Learning-Based Depth First Search. CEC 2009: 507-510
13		Hyunyoung Kil, Wonhong Nam, Dongwon Lee: Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI 2009: 1740-1745
12		Hyunyoung Kil, Wonhong Nam, Dongwon Lee: Automatic web service composition with abstraction and refinement. WWW 2009: 1121-1122
11		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		Wonhong Nam, Hyunyoung Kil, Dongwon Lee: Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE 2008: 331-334
9		Hyunyoung Kil, Wonhong Nam, Dongwon Lee: DL2Go: Editable Digital Libraries in the Pocket. ICADL 2008: 1-11
8		Hyunyoung Kil, Wonhong Nam, Dongwon Lee: Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) 2008: 359-363
7		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		Wonhong Nam, Rajeev Alur: Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ATVA 2006: 170-185
	2005
5		Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic Compositional Verification by Learning Assumptions. CAV 2005: 548-562
4		Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109
3		Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic computational techniques for solving games. STTT 7(2): 118-128 (2005)
	2004
2		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		P. Madhusudan, Wonhong Nam, Rajeev Alur: Symbolic computational techniques for solving games. Electr. Notes Theor. Comput. Sci. 89(4): 578-592 (2003)

Coauthor Index

1	Stephen Van Albert	[2]
2	Rajeev Alur	[1] [2] [3] [4] [5] [6] [7] [15]
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] [14] [16] [17]
8	Dongwon Lee	[8] [9] [10] [11] [12] [13] [16]
9	Insup Lee	[2]
10	Jaime Lee	[2]
11	Jungjae Lee	[14]
12	P. Madhusudan (Parthasarathy Madhusudan)	[1] [3] [4] [5] [7]
13	Seog-Chan Oh	[11]
14	Frederick Pearce	[2]
15	Jiaxiang Zhou	[2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page