Wonhong Nam

Computational Theory and Mathematics · 2005

A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

Whom Wonhong Nam trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Dana Angluin

Who trusts Wonhong Nam overall

  1. Tao Xie
  2. Jian Pei

Papers from Wonhong Nam's perspective

Ordered by how strongly the researchers Wonhong Nam trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The SLAM project: debugging system software via static analysis
  2. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  5. Automatic discovery of linear restraints among variables of a program
  6. Learning Regular Sets from Queries and Counterexamples
  7. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  9. Automatic extraction of object-oriented component interfaces (International Symposium on Software Testing and Analysis)
  10. Learning Assumptions for Compositional Verification (International Conference on Tools and Algorithms for Construction and Analysis of Systems)

Their papers