| Publication | Date of Publication | Type |
|---|
| A tour on ecumenical systems (invited talk) | 2024-11-26 | Paper |
| Explorations in Subexponential Non-associative Non-commutative Linear Logic | 2024-03-14 | Paper |
| An ecumenical notion of entailment | 2023-12-14 | Paper |
| Proving structural properties of sequent systems in rewriting logic | 2023-07-28 | Paper |
| Explorations in Subexponential non-associative non-commutative Linear Logic (extended version) | 2023-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6159917 | 2023-06-23 | Paper |
| An ecumenical view of proof-theoretic semantics | 2023-06-06 | Paper |
| A linear logic framework for multimodal logics | 2023-04-19 | Paper |
| Non-associative, non-commutative multi-modal linear logic | 2022-12-07 | Paper |
| A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems | 2022-11-16 | Paper |
| A pure view of ecumenical modalities | 2022-06-24 | Paper |
| From axioms to synthetic inference rules via focusing | 2022-04-01 | Paper |
| Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity | 2022-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018490 | 2021-12-20 | Paper |
| Ecumenical modal logic | 2021-12-01 | Paper |
| A fresh view of linear logic as a logical framework | 2021-02-22 | Paper |
| A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems | 2021-01-08 | Paper |
| Ecumenical modal logic | 2020-05-28 | Paper |
| Sequentialising nested systems | 2020-05-14 | Paper |
| A game model for proofs with costs | 2020-05-14 | Paper |
| Countermodel construction via optimal hypersequent calculi for non-normal modal logics | 2020-05-06 | Paper |
| Hybrid linear logic, revisited | 2019-10-09 | Paper |
| Modularisation of Sequent Calculi for Normal and Non-normal Modalities | 2019-05-03 | Paper |
| A uniform framework for substructural logics with modalities | 2019-01-10 | Paper |
| A semantical view of proof systems | 2018-10-18 | Paper |
| A concurrent constraint programming interpretation of access permissions | 2018-05-31 | Paper |
| Multi-focused proofs with different polarity assignments | 2018-04-23 | Paper |
| From cut-free calculi to automated deduction: the case of bounded contraction | 2018-04-23 | Paper |
| Hybrid and subexponential linear logics | 2018-04-23 | Paper |
| On subexponentials, focusing and modalities in concurrent systems | 2017-09-12 | Paper |
| On concurrent behaviors and focusing in linear logic | 2017-06-15 | Paper |
| Proving concurrent constraint programming correct, revisited | 2016-08-01 | Paper |
| An extended framework for specifying and reasoning about proof systems | 2016-07-07 | Paper |
| Dynamic spaces in concurrent constraint programming | 2016-05-10 | Paper |
| Proof Search in Nested Sequent Calculi | 2016-01-12 | Paper |
| Subexponential concurrent constraint programming | 2015-12-08 | Paper |
| Specifying Proof Systems in Linear Logic with Subexponentials | 2015-03-18 | Paper |
| A Proof Theoretic Study of Soft Concurrent Constraint Programming | 2014-11-25 | Paper |
| Lazy strong normalization | 2013-10-02 | Paper |
| A General Proof System for Modalities in Concurrent Constraint Programming | 2013-08-12 | Paper |
| A formal framework for specifying sequent calculus proof systems | 2013-03-27 | Paper |
| Intersection Types from a Proof-theoretic Perspective | 2013-01-24 | Paper |
| Strong normalization from an unusual point of view | 2011-05-10 | Paper |
| On the Specification of Sequent Systems | 2008-05-27 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664255 | 2005-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412848 | 2003-07-17 | Paper |
