Greg Nelson

Computational Theory and Mathematics · 2002–2005

A researcher in the Science corpus: 3 papers; trusts 17 researchers and is trusted by 96 researchers here, as inferred from the citation graph.

Subfields

Whom Greg Nelson trusts overall

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

  1. Cormac Flanagan
  2. R. Deline
  3. Dawson R. Engler
  4. Willem Visser
  5. Manuel Fähndrich
  6. K. Rustan M. Leino
  7. Donald Ervin Knuth
  8. Thomas Ball
  9. Klaus Havelund
  10. Matthew B. Dwyer

Who trusts Greg Nelson overall

  1. Cormac Flanagan
  2. Ranjit Jhala
  3. Leonardo de Moura
  4. Shaz Qadeer
  5. Michael D. Ernst
  6. Mike Barnett
  7. David R. Cok
  8. K. Rustan
  9. David Detlefs
  10. Mark Gabel

Papers from Greg Nelson's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  5. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  6. Houdini, an Annotation Assistant for ESC/Java (FME)
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Bugs as deviant behavior: a general approach to inferring errors in systems code
  9. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  10. GRASP: A Search Algorithm for Propositional Satisfiability

Their papers