Wonhong Nam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | DIMVA | MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. | Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis |
| 2011 | WWW | Anytime algorithm for QoS web service composition. | Hyunyoung Kil, Wonhong Nam |
| 2009 | IJCAI | Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
| 2009 | WWW | Automatic web service composition with abstraction and refinement. | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
| 2008 | ICTAI | Computational Complexity of Web Service Composition Based on Behavioral Descriptions. | Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
| 2006 | ATVA | Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. | Wonhong Nam, Rajeev Alur |
| 2005 | CAV | Symbolic Compositional Verification by Learning Assumptions. | Rajeev Alur, P. Madhusudan, Wonhong Nam |
| 2005 | POPL | Synthesis of interface specifications for Java classes. | Rajeev Alur, Pavol Cern, P. Madhusudan, Wonhong Nam |