| Publication | Date of Publication | Type |
|---|
| On algebra of program correctness and incorrectness | 2023-03-30 | Paper |
| Local reasoning about the presence of bugs: incorrectness separation logic | 2021-02-09 | Paper |
| Continuous Reasoning | 2021-01-20 | Paper |
| Permission accounting in separation logic | 2017-07-14 | Paper |
| The essence of Reynolds | 2016-08-05 | Paper |
| Separation and information hiding | 2015-11-11 | Paper |
| Compositional shape analysis by means of bi-abduction | 2015-07-03 | Paper |
| On the relation between concurrent separation logic and concurrent Kleene algebra | 2015-06-10 | Paper |
| BI as an assertion language for mutable data structures | 2015-03-17 | Paper |
| Verifying linearizability with hindsight | 2015-03-02 | Paper |
| Variance analyses from invariance analyses | 2014-09-12 | Paper |
| Modular verification of a non-blocking stack | 2014-09-12 | Paper |
| Separation Logic Semantics for Communicating Processes | 2014-05-13 | Paper |
| Developments in Concurrent Kleene Algebra | 2014-04-16 | Paper |
| The essence of Reynolds | 2014-04-10 | Paper |
| Compositional Shape Analysis by Means of Bi-Abduction | 2014-02-17 | Paper |
| Strong update, disposal, and encapsulation in bunched typing | 2013-10-10 | Paper |
| On Locality and the Exchange Law for Concurrent Processes | 2011-09-02 | Paper |
| Abstraction for concurrent objects | 2011-01-07 | Paper |
| Blaming the client: on data refinement in the presence of pointers | 2010-11-22 | Paper |
| Graphical models of separation logic | 2010-08-20 | Paper |
| Abstraction for Concurrent Objects | 2009-03-31 | Paper |
| Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic | 2009-03-12 | Paper |
| Separation Logic Tutorial | 2009-01-22 | Paper |
| Scalable Shape Analysis for Systems Code | 2008-07-15 | Paper |
| Shape Analysis for Composite Data Structures | 2007-11-29 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Automatic Termination Proofs for Programs with Shape-Shifting Heaps | 2007-09-05 | Paper |
| Resources, concurrency, and local reasoning | 2007-05-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| From Algol to polymorphic linear lambda-calculus | 2006-09-12 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738240 | 2004-08-11 | Paper |
| Possible worlds and resources: The semantics of \(\mathbf{BI}\) | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474211 | 2004-08-04 | Paper |
| On bunched typing | 2004-05-18 | Paper |
| Program logic and equivalence in the presence of garbage collection. | 2003-05-25 | Paper |
| Linear continuation-passing | 2003-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783297 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769428 | 2002-02-05 | Paper |
| Syntactic control of interference revisited | 2000-08-23 | Paper |
| Bireflectivity | 2000-08-23 | Paper |
| Objects, interference, and the Yoneda embedding | 2000-08-23 | Paper |
| The Logic of Bunched Implications | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263875 | 1999-09-22 | Paper |
| Kripke logical relations and PCF | 1999-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222775 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222776 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222758 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364388 | 1998-03-15 | Paper |
| Parametricity and local variables | 1998-01-28 | Paper |
| Note on Algol and conservatively extending functional programming | 1996-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282570 | 1994-08-28 | Paper |
| Semantical analysis of specification logic. II | 1994-04-17 | Paper |
| A model for syntactic control of interference | 1994-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138545 | 1993-11-11 | Paper |
| A resolution framework for finitely-valued first-order logics | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3485886 | 1990-01-01 | Paper |
