| Publication | Date of Publication | Type |
|---|
| Intuitionistic proofs without syntax | 2024-12-19 | Paper |
| Normalization without syntax | 2024-05-27 | Paper |
| A graphical proof theory of logical time | 2024-05-27 | Paper |
| BV and Pomset Logic Are Not the Same | 2024-04-10 | Paper |
| A System of Interaction and Structure III: The Complexity of BV and Pomset Logic | 2024-01-16 | Paper |
| Combinatorial flows as bicolored atomic flows | 2023-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884933 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884946 | 2023-03-24 | Paper |
| An Analytic Propositional Proof System on Graphs | 2023-01-09 | Paper |
| MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) | 2022-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039162 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089024 | 2022-07-18 | Paper |
| Game semantics for constructive modal logic | 2022-05-25 | Paper |
| A fully labelled proof system for intuitionistic modal logics | 2021-09-22 | Paper |
| Towards a Denotational Semantics for Proofs in Constructive Modal Logic | 2021-04-19 | Paper |
| Logic Beyond Formulas | 2021-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111329 | 2020-05-26 | Paper |
| Towards a combinatorial proof theory | 2020-05-14 | Paper |
| On combinatorial proofs for modal logic | 2020-05-14 | Paper |
| On combinatorial proofs for logics of relevance and entailment | 2020-03-04 | Paper |
| The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem | 2019-12-05 | Paper |
| Deep inference and expansion trees for second-order multiplicative linear logic | 2019-10-09 | Paper |
| Maehara-style modal nested calculi | 2019-03-27 | Paper |
| On the decision problem for MELL | 2019-03-26 | Paper |
| From syntactic proofs to combinatorial proofs | 2018-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636304 | 2018-04-23 | Paper |
| Symmetric normalisation for intuitionistic logic | 2018-04-23 | Paper |
| Proof theory for indexed nested sequents | 2018-02-02 | Paper |
| On the length of medial-switch-mix derivations | 2017-12-20 | Paper |
| Modular Focused Proof Systems for Intuitionistic Modal Logics | 2017-10-17 | Paper |
| No complete linear term rewriting system for propositional logic | 2017-07-12 | Paper |
| On linear rewriting systems for Boolean logic and some applications to proof theory | 2017-04-11 | Paper |
| Non-crossing Tree Realizations of Ordered Degree Sequences | 2017-02-22 | Paper |
| Proof nets and semi-star-autonomous categories | 2016-07-28 | Paper |
| Focused and Synthetic Nested Sequents | 2016-06-10 | Paper |
| On Nested Sequents for Constructive Modal Logics | 2015-10-29 | Paper |
| A system of interaction and structure IV | 2015-09-17 | Paper |
| On the Power of Substitution in the Calculus of Structures | 2015-09-17 | Paper |
| A Logical Basis for Quantum Evolution and Entanglement | 2014-05-08 | Paper |
| Herbrand-confluence | 2014-01-08 | Paper |
| System NEL is Undecidable | 2013-06-06 | Paper |
| Cut Elimination in Nested Sequents for Intuitionistic Modal Logics | 2013-03-18 | Paper |
| Herbrand-Confluence for Cut Elimination in Classical First Order Logic | 2012-11-22 | Paper |
| Extension without cut | 2012-10-11 | Paper |
| The focused calculus of structures | 2012-09-18 | Paper |
| From Deep Inference to Proof Nets via Cut Elimination | 2011-10-21 | Paper |
| A system of interaction and structure. V: The exponentials and splitting | 2011-06-15 | Paper |
| What is the problem with proof nets for classical logic? | 2010-07-29 | Paper |
| Modular sequent systems for modal logic | 2009-12-01 | Paper |
| Expanding the Realm of Systematic Proof Theory | 2009-11-12 | Paper |
| Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic | 2009-07-07 | Paper |
| A Kleene Theorem for Forest Languages | 2009-04-02 | Paper |
| What is a logic, and what is a proof? | 2008-08-26 | Paper |
| A Characterization of Medial as Rewriting Rule | 2008-01-02 | Paper |
| On the axiomatisation of Boolean categories with and without medial | 2007-11-01 | Paper |
| From Proof Nets to the Free *-Autonomous Category | 2007-10-11 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311060 | 2005-08-22 | Paper |
| MELL in the calculus of structures | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428313 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428303 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783301 | 2002-12-04 | Paper |
