|
Search the dblp DataBase
Wonhong Nam:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wonhong Nam, Rajeev Alur
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. [Citation Graph (0, 0)][DBLP] ATVA, 2006, pp:170-185 [Conf]
- Rajeev Alur, P. Madhusudan, Wonhong Nam
Symbolic Compositional Verification by Learning Assumptions. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:548-562 [Conf]
- Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
Synthesis of interface specifications for Java classes. [Citation Graph (0, 0)][DBLP] POPL, 2005, pp:98-109 [Conf]
- P. Madhusudan, Wonhong Nam, Rajeev Alur
Symbolic computational techniques for solving games. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:308-319 [Journal]
- Rajeev Alur, P. Madhusudan, Wonhong Nam
Symbolic computational techniques for solving games. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:2, pp:118-128 [Journal]
DL2Go: Editable Digital Libraries in the Pocket. [Citation Graph (, )][DBLP]
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. [Citation Graph (, )][DBLP]
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. [Citation Graph (, )][DBLP]
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. [Citation Graph (, )][DBLP]
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. [Citation Graph (, )][DBLP]
Automatic web service composition with abstraction and refinement. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|