Search the dblp DataBase

Publications of Author

1. Wonhong Nam, Rajeev Alur
   Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:170-185 [Conf]
   
2. Rajeev Alur, P. Madhusudan, Wonhong Nam
   Symbolic Compositional Verification by Learning Assumptions. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:548-562 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 
   DL2Go: Editable Digital Libraries in the Pocket. [Citation Graph (, )][DBLP]
   
   
8. 
   Computational Complexity of Web Service Composition Based on Behavioral Descriptions. [Citation Graph (, )][DBLP]
   
   
9. 
   Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. [Citation Graph (, )][DBLP]
   
   
10. 
    Type-Aware Web Service Composition Using Boolean Satisfiability Solver. [Citation Graph (, )][DBLP]
    
    
11. 
    QoS-Driven Web Service Composition Using Learning-Based Depth First Search. [Citation Graph (, )][DBLP]
    
    
12. 
    Automatic web service composition with abstraction and refinement. [Citation Graph (, )][DBLP]