Matthew J. Parkinson

Artificial Intelligence · 2005–2007

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

Subfields

• Artificial Intelligence — 16 citations into it; #21,819 of 35,345 by trust here, #22,463 by citations
• Computational Theory and Mathematics — 12 citations into it; #7,340 of 12,182 by trust here, #5,724 by citations
• Computer Networks and Communications — 8 citations into it; #9,587 of 9,886 by trust here, #5,961 by citations
• Program Analysis & Verification — 6 citations into it

Whom Matthew J. Parkinson trusts overall

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

1. Peter W. O'Hearn
2. John C. Reynolds
3. D. Clarke
4. Hongseok Yang
5. Cristiano Calcagno
6. S. Brookes
7. Sophia Drossopoulou
8. Josh Berdine
9. Dino Distefano
10. John Tang Boyland

Who trusts Matthew J. Parkinson overall

1. Cristiano Calcagno
2. Peter W. O'Hearn
3. Bernhard Beckert
4. Hongseok Yang

Papers from Matthew J. Parkinson's perspective

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

1. Local Reasoning about Programs that Alter Data Structures
2. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
3. Cooperating sequential processes
4. A Semantics for Concurrent Separation Logic (International Conference on Concurrency Theory)
5. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
6. Separation logic: a logic for shared mutable data structures
7. Symbolic Execution with Separation Logic (Asian Symposium on Programming Languages and Systems)
8. Ownership, encapsulation and the disjointness of type and effect (Conference on Object-Oriented Programming Systems, Languages, and Applications)
9. Checking Interference with Fractional Permissions (Sensors Applications Symposium)
10. Local Action and Abstract Separation Logic (Logic in Computer Science)

Their papers

• Permission accounting in separation logic (2005) — 454 citations
• Separation logic and abstraction (2005) — 377 citations
• A Marriage of Rely/Guarantee and Separation Logic (2007) — 357 citations