Richard Bornat

ACM-SIGACT Symposium on Principles of Programming Languages · 2005

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

Whom Richard Bornat trusts overall

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

  1. John Tang Boyland
  2. S. Brookes
  3. Peter W. O'Hearn
  4. John C. Reynolds
  5. Iroon Polytechniou

Who trusts Richard Bornat overall

  1. Peter W. O'Hearn
  2. Cristiano Calcagno

Papers from Richard Bornat's perspective

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

  1. Separation logic: a logic for shared mutable data structures
  2. Local Reasoning about Programs that Alter Data Structures
  3. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
  4. Cooperating sequential processes
  5. A Semantics for Concurrent Separation Logic (International Conference on Concurrency Theory)
  6. Checking Interference with Fractional Permissions (Sensors Applications Symposium)
  7. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  8. Operating System Principles
  9. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
  10. Anytime, anywhere: modal logics for mobile ambients (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers