S. Brookes

Artificial Intelligence · 2004

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

Subfields

Whom S. Brookes trusts overall

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

  1. Peter W. O'Hearn
  2. John C. Reynolds
  3. John Tang Boyland

Who trusts S. Brookes overall

  1. Cristiano Calcagno
  2. Richard Bornat
  3. Peter W. O'Hearn
  4. Matthew J. Parkinson
  5. Viktor Vafeiadis
  6. Josh Berdine

Papers from S. Brookes's perspective

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

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

Their papers