| 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 | 2018-06-27 | Paper |
| Context logic and tree update | 2017-07-14 | Paper |
| Abstract Specifications for Concurrent Maps | 2017-05-19 | Paper |
| Verifying Concurrent Graph Algorithms | 2016-12-21 | Paper |
| DOM: Specification and Client Reasoning | 2016-12-21 | Paper |
| Steps in modular specifications for concurrent modules (invited tutorial paper) | 2016-12-16 | Paper |
| Abstract local reasoning for concurrent libraries: mind the gap | 2016-05-13 | Paper |
| Modular Termination Verification for Non-blocking Concurrency | 2016-04-26 | Paper |
| CoLoSL: Concurrent Local Subjective Logic | 2016-04-26 | Paper |
| Fault-Tolerant Resource Reasoning | 2016-01-08 | Paper |
| Towards a program logic for JavaScript | 2015-09-11 | Paper |
| Views | 2014-11-27 | Paper |
| Context logic as modal logic | 2014-09-12 | Paper |
| Local Reasoning for the POSIX File System | 2014-04-16 | Paper |
| A trusted mechanised JavaScript specification | 2014-04-10 | Paper |
| A Process Model of Actin Polymerisation | 2014-03-21 | Paper |
| A process model of rho GTP-binding proteins in the context of phagocytosis | 2014-01-17 | Paper |
| Local reasoning about data update | 2013-12-06 | Paper |
| Manipulating trees with hidden labels | 2013-12-06 | Paper |
| Local reasoning about tree update | 2013-10-10 | Paper |
| Processes in space | 2012-05-30 | Paper |
| Processes in Space | 2010-07-29 | Paper |
| Adjunct elimination in context logic for trees | 2010-04-22 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| A process model of Rho GTP-binding proteins | 2009-08-07 | Paper |
| Footprints in Local Reasoning | 2009-06-30 | Paper |
| Automatic Parallelization with Separation Logic | 2009-03-31 | Paper |
| An Introduction to Context Logic | 2009-03-10 | Paper |
| Adjunct Elimination in Context Logic for Trees | 2008-05-15 | Paper |
| Footprints in Local Reasoning | 2008-04-11 | Paper |
| Behavioural equivalences for dynamic web data | 2008-03-05 | Paper |
| Linear forwarders | 2007-10-10 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Expressiveness and complexity of graph logic | 2007-03-12 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Explicit fusions | 2005-09-22 | Paper |
| Modelling dynamic web data | 2005-09-22 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673431 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737192 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417861 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484502 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536373 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536594 | 2002-06-25 | Paper |
| Closed action calculi | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490749 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218924 | 1999-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222930 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222759 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364401 | 1997-11-17 | Paper |
| Equivalences between logics and their representing type theories | 1996-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282512 | 1994-03-17 | Paper |
