| Publication | Date of Publication | Type |
|---|
| Labelled tableaux for linear time bunched implication logic | 2024-10-21 | Paper |
| A separation logic with histories of epistemic actions as resources | 2024-02-28 | Paper |
| Internal and External Calculi: Ordering the Jungle without Being Lost in Translations | 2023-12-06 | Paper |
| An epistemic separation logic with action models | 2023-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6159928 | 2023-06-23 | Paper |
| Labelled cyclic proofs for separation logic | 2021-09-22 | Paper |
| Relating labelled and label-free bunched calculi in BI logic | 2020-05-14 | Paper |
| A substructural epistemic resource logic: theory and modelling applications | 2020-02-17 | Paper |
| A Substructural Epistemic Resource Logic | 2019-07-24 | Paper |
| A public announcement separation logic | 2019-05-27 | Paper |
| Tree-sequent calculi and decision procedures for intuitionistic modal logics | 2019-01-31 | Paper |
| A modal separation logic for resource dynamics | 2019-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636028 | 2018-04-23 | Paper |
| Separation logic with one quantified variable | 2017-10-20 | Paper |
| A logic of separating modalities | 2016-06-03 | Paper |
| A Modal BI Logic for Dynamic Resource Properties | 2015-12-11 | Paper |
| An Epistemic Separation Logic | 2015-09-24 | Paper |
| Nondeterministic Phase Semantics and the Undecidability of Boolean BI | 2015-09-17 | Paper |
| A connection-based characterization of bi-intuitionistic validity | 2015-06-23 | Paper |
| Looking at Separation Algebras with Boolean BI-eyes | 2014-09-15 | Paper |
| Separation Logic with One Quantified Variable | 2014-06-24 | Paper |
| Resource graphs and countermodels in resource logics | 2013-09-25 | Paper |
| Label-free natural deduction systems for intuitionistic and classical modal logics | 2012-07-17 | Paper |
| Sequent calculi and decidability for intuitionistic hybrid logic | 2012-03-13 | Paper |
| A Connection-Based Characterization of Bi-intuitionistic Validity | 2011-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007292 | 2011-06-21 | Paper |
| A family of Gödel hybrid logics | 2011-03-22 | Paper |
| Label-Free Proof Systems for Intuitionistic Modal Logic IS5 | 2011-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408154 | 2010-02-24 | Paper |
| Tableaux and Resource Graphs for Separation Logic | 2010-02-19 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding | 2009-06-30 | Paper |
| Labelled Calculi for Łukasiewicz Logics | 2008-07-10 | Paper |
| Characterizing Provability in BI’s Pointer Logic Through Resource Graphs | 2008-05-27 | Paper |
| Expressivity Properties of Boolean BI Through Relational Models | 2008-04-17 | Paper |
| Models and Separation Logics for Resource Trees | 2007-11-19 | Paper |
| The semantics of BI and resource tableaux | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714444 | 2006-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809046 | 2004-08-12 | Paper |
| Semantic Labelled Tableaux for Propositional BI | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412869 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411823 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540540 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757832 | 2001-12-04 | Paper |
| Proof-search and proof nets in mixed linear logic | 2001-05-07 | Paper |
| Labelled proof systems for intuitionistic provability | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513584 | 2001-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501574 | 2001-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501142 | 2000-09-03 | Paper |
| Connection methods in linear logic and proof nets construction | 2000-08-23 | Paper |
| Proof-search in type-theoretic languages: An introduction | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255504 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223030 | 1999-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223029 | 1999-01-10 | Paper |
| On proof normalization in linear logic | 1995-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282536 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028371 | 1993-03-28 | Paper |
| Program development in constructive type theory | 1992-09-26 | Paper |
| Constructive system for automatic program synthesis | 1990-01-01 | Paper |
