| Publication | Date of Publication | Type |
|---|
| Concurrent separation logics: logical abstraction, logical atomicity and environment liveness conditions (invited talk) | 2024-08-13 | Paper |
A perspective on specifying and verifying concurrent modules
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Context logic and tree update
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Abstract specifications for concurrent maps
Programming Languages and Systems | 2017-05-19 | Paper |
Verifying concurrent graph algorithms
Programming Languages and Systems | 2016-12-21 | Paper |
DOM: Specification and Client Reasoning
Programming Languages and Systems | 2016-12-21 | Paper |
Steps in modular specifications for concurrent modules (invited tutorial paper)
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
| Abstract local reasoning for concurrent libraries: mind the gap | 2016-05-13 | Paper |
Modular termination verification for non-blocking concurrency
Programming Languages and Systems | 2016-04-26 | Paper |
ColoSL: concurrent local subjective logic
Programming Languages and Systems | 2016-04-26 | Paper |
Fault-tolerant resource reasoning
Programming Languages and Systems | 2016-01-08 | Paper |
Towards a program logic for JavaScript
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
Views, compositional reasoning for concurrent programs
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Context logic as modal logic, completeness and parametric inexpressivity
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Local Reasoning for the POSIX File System
Programming Languages and Systems | 2014-04-16 | Paper |
A trusted mechanised JavaSript specification
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
A process model of actin polymerisation
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A process model of rho GTP-binding proteins in the context of phagocytosis
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Local reasoning about data update
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Manipulating trees with hidden labels
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Local reasoning about tree update | 2013-10-10 | Paper |
Processes in space
Theoretical Computer Science | 2012-05-30 | Paper |
Processes in space
Programs, Proofs, Processes | 2010-07-29 | Paper |
Adjunct elimination in context logic for trees
Information and Computation | 2010-04-22 | Paper |
Linear forwarders.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A process model of Rho GTP-binding proteins
Theoretical Computer Science | 2009-08-07 | Paper |
Footprints in Local Reasoning
Logical Methods in Computer Science | 2009-06-30 | Paper |
Automatic Parallelization with Separation Logic
Programming Languages and Systems | 2009-03-31 | Paper |
An Introduction to Context Logic
Logic, Language, Information and Computation | 2009-03-10 | Paper |
Adjunct Elimination in Context Logic for Trees
Programming Languages and Systems | 2008-05-15 | Paper |
Footprints in Local Reasoning
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Behavioural equivalences for dynamic web data
The Journal of Logic and Algebraic Programming | 2008-03-05 | Paper |
Linear forwarders
Information and Computation | 2007-10-10 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Expressiveness and complexity of graph logic
Information and Computation | 2007-03-12 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Explicit fusions
Theoretical Computer Science | 2005-09-22 | Paper |
Modelling dynamic web data
Theoretical Computer Science | 2005-09-22 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2163044 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2086655 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1956515 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1927577 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1759424 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1759603 (Why is no real title available?) | 2002-06-25 | Paper |
Closed action calculi
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1479634 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1223613 (Why is no real title available?) | 1999-03-18 | Paper |
| scientific article; zbMATH DE number 1231609 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231458 (Why is no real title available?) | 1998-12-10 | Paper |
| scientific article; zbMATH DE number 1088052 (Why is no real title available?) | 1997-11-17 | Paper |
Equivalences between logics and their representing type theories
Mathematical Structures in Computer Science | 1996-02-12 | Paper |
| scientific article; zbMATH DE number 516994 (Why is no real title available?) | 1994-03-17 | Paper |
