John C. Reynolds

2001–2002

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

Whom John C. Reynolds trusts overall

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

  1. Peter W. O'Hearn
  2. Luca Cardelli
  3. Hongseok Yang
  4. Bernhard Beckert

Who trusts John C. Reynolds overall

  1. Peter W. O'Hearn
  2. Matthew J. Parkinson
  3. Cristiano Calcagno
  4. S. Brookes
  5. John Tang Boyland
  6. Marc Brockschmidt
  7. Viktor Vafeiadis
  8. Josh Berdine
  9. Yujia Li
  10. Daniel Tarlow

Papers from John C. Reynolds's perspective

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

  1. Anytime, anywhere: modal logics for mobile ambients (ACM-SIGACT Symposium on Principles of Programming Languages)
  2. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
  3. Local Reasoning about Programs that Alter Data Structures
  4. Dynamic logic (SIGA)
  5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  6. Separation logic and abstraction (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
  8. The ASTREÉ Analyzer
  9. Lazy abstraction
  10. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers