| Publication | Date of Publication | Type |
|---|
| Cut Elimination for Extended Sequent Calculi | 2024-02-29 | Paper |
| Natural deduction calculi for classical and intuitionistic S5 | 2023-08-16 | Paper |
| Coherence for sharing proof nets | 2022-12-09 | Paper |
| From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 2022-02-24 | Paper |
| Proof nets for classical logic | 2021-09-07 | Paper |
| Contracting for technology improvement: the effect of asymmetric bargaining power and investment uncertainty | 2021-06-07 | Paper |
| A two‐dimensional metric temporal logic | 2020-05-29 | Paper |
| A logic for quantum register measurements | 2020-03-20 | Paper |
| A two-dimensional metric temporal logic | 2019-03-14 | Paper |
| A natural deduction system for bundled branching time logic | 2018-08-28 | Paper |
| Confluence Results for a Quantum Lambda Calculus with Measurements | 2016-10-07 | Paper |
| A History of Until | 2016-08-05 | Paper |
| Proofs, tests and continuation passing style | 2015-09-17 | Paper |
| Back from the future | 2012-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389322 | 2012-04-26 | Paper |
| Labelled natural deduction for a bundled branching temporal logic | 2011-12-19 | Paper |
| Quantum implicit computational complexity | 2009-12-15 | Paper |
| On a measurement-free quantum lambda calculus with classical control | 2009-05-06 | Paper |
| A Labeled Natural Deduction System for a Fragment of CTL * | 2009-02-24 | Paper |
| A note on unbounded metric temporal logic over dense time domains | 2007-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024907 | 2005-07-04 | Paper |
| An approach to infinitary temporal proof theory | 2005-02-11 | Paper |
| A Way of Making World Quantification Explicit | 2004-10-28 | Paper |
| An infinitary variant of Metric Temporal Logic over dense time domains | 2004-08-06 | Paper |
| A proof-theoretic investigation of a logic of positions | 2003-09-25 | Paper |
| Coherence for sharing proof-nets | 2003-07-29 | Paper |
| Parsing MELL proof nets | 2001-08-20 | Paper |
| Proof nets, garbage, and computations | 2000-12-12 | Paper |
| An analysis of (linear) exponentials based on extended sequents | 2000-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942005 | 2000-03-19 | Paper |
| Experiments in linear natural deduction | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688812 | 1997-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842974 | 1996-04-22 | Paper |
| A modal view of linear logic | 1995-06-13 | Paper |
| 2-Sequent Calculus: Intuitionism and Natural Deduction | 1994-03-27 | Paper |
| 2-sequent calculus: A proof theory of modalities | 1993-04-01 | Paper |
| TTL : a formalism to describe local and global properties of distributed systems | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3972532 | 1992-06-25 | Paper |
