The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wonhong Nam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002