| 2026 | FSCD | Proof Identity and Categorical Models of BV. | Matteo Acclavio, Lutz Straburger, Vladimir Zamdzhiev |
| 2025 | LICS | Proof Compression via Subatomic Logic and Guarded Substitutions. | Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straburger |
| 2025 | TABLEAUX | Intuitionistic BV. | Matteo Acclavio, Lutz Straburger |
| 2024 | WoLLIC | A Simple Loopcheck for Intuitionistic K. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2024 | WoLLIC | Lambek Calculus with Banged Atoms for Parasitic Gaps. | Mehrnoosh Sadrzadeh, Lutz Straburger |
| 2023 | LICS | Intuitionistic S4 is decidable. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2022 | AiML | Combinatorial Proofs for Constructive Modal Logic. | Matteo Acclavio, Lutz Straburger |
| 2022 | AiML | Taming Bounded Depth with Nested Sequents. | Lutz Straburger, Matteo Tesi, Agata Ciabattoni |
| 2022 | CSL | BV and Pomset Logic Are Not the Same. | L Thnh Dung Nguyn, Lutz Straburger |
| 2022 | FSCD | A Graphical Proof Theory of Logical Time. | Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straburger |
| 2022 | FSCD | Normalization Without Syntax. | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straburger |
| 2022 | WoLLIC | Combinatorial Flows as Bicolored Atomic Flows. | Giti Omidvar, Lutz Straburger |
| 2021 | LICS | Combinatorial Proofs and Decomposition Theorems for First-order Logic. | Dominic J. D. Hughes, Lutz Straburger, Jui-Hsuan Wu |
| 2021 | TABLEAUX | Game Semantics for Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Lutz Straburger |
| 2020 | CADE | MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description). | Marianna Girlando, Lutz Straburger |
| 2020 | LICS | Logic Beyond Formulas: A Proof System on Graphs. | Matteo Acclavio, Ross Horne, Lutz Straburger |
| 2019 | LICS | Intuitionistic proofs without syntax. | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straburger |
| 2019 | TABLEAUX | On Combinatorial Proofs for Modal Logic. | Matteo Acclavio, Lutz Straburger |
| 2019 | TABLEAUX | Towards a Combinatorial Proof Theory. | Benjamin Ralph, Lutz Straburger |
| 2019 | WoLLIC | On Combinatorial Proofs for Logics of Relevance and Entailment. | Matteo Acclavio, Lutz Straburger |
| 2018 | CADE | From Syntactic Proofs to Combinatorial Proofs. | Matteo Acclavio, Lutz Straburger |
| 2017 | TABLEAUX | Proof Theory for Indexed Nested Sequents. | Sonia Marin, Lutz Straburger |
| 2017 | WoLLIC | On the Length of Medial-Switch-Mix Derivations. | Paola Bruscoli, Lutz Straburger |
| 2016 | FOSSACS | Focused and Synthetic Nested Sequents. | Kaustuv Chaudhuri, Sonia Marin, Lutz Straburger |
| 2014 | AiML | Label-free Modular Systems for Classical and Intuitionistic Modal Logics. | Sonia Marin, Lutz Straburger |
| 2014 | CSL | Symmetric normalisation for intuitionistic logic. | Nicolas Guenot, Lutz Straburger |
| 2014 | PPDP | Parametricity and Proving Free Theorems for Functional-Logic Languages. | Stefan Mehner, Daniel Seidel, Lutz Straburger, Janis Voigtlnder |
| 2013 | FOSSACS | Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. | Lutz Straburger |
| 2012 | CSL | Herbrand-Confluence for Cut Elimination in Classical First Order Logic. | Stefan Hetzl, Lutz Straburger |
| 2011 | CSL | The Focused Calculus of Structures. | Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straburger |
| 2011 | TABLEAUX | Some Remarks on Nested Sequent Systems for Modal Logics. | Lutz Straburger |
| 2011 | TABLEAUX | Introduction to Proof Nets. | Lutz Straburger |
| 2010 | CiE | What Is the Problem with Proof Nets for Classical Logic? | Lutz Straburger |
| 2010 | LICS | Breaking Paths in Atomic Flows for Classical Logic. | Alessio Guglielmi, Tom Gundersen, Lutz Straburger |
| 2009 | CSL | Expanding the Realm of Systematic Proof Theory. | Agata Ciabattoni, Lutz Straburger, Kazushige Terui |
| 2009 | LATA | A Kleene Theorem for Forest Languages. | Lutz Straburger |
| 2009 | TABLEAUX | Modular Sequent Systems for Modal Logic. | Kai Brnnler, Lutz Straburger |
| 2005 | LICS | Constructing Free Boolean Categories. | Franois Lamarche, Lutz Straburger |
| 2004 | CSL | On Proof Nets for Multiplicative Linear Logic with Units. | Lutz Straburger, Franois Lamarche |
| 2002 | LPAR | A Non-commutative Extension of MELL. | Alessio Guglielmi, Lutz Straburger |
| 2002 | LPAR | A Local System for Linear Logic. | Lutz Straburger |
| 2001 | CSL | Non-commutativity and MELL in the Calculus of Structures. | Alessio Guglielmi, Lutz Straburger |