| 2024 | FLOPS | Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description). | Bjrn Lellmann, Philipp Marek, Markus Triska |
| 2021 | ICAIL | Explainable Rule Extraction via Semantic Graphs. | Gbor Recski, Bjrn Lellmann, dm Kovcs, Allan Hanbury |
| 2021 | TABLEAUX | From Input/Output Logics to Conditional Logics via Sequents - with Provers. | Bjrn Lellmann |
| 2020 | LFCS | Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. | Tiziano Dalmonte, Bjrn Lellmann, Nicola Olivetti, Elaine Pimentel |
| 2019 | JELIA | Nested Sequents for the Logic of Conditional Belief. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti |
| 2019 | TABLEAUX | Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. | Rajeev Gor, Bjrn Lellmann |
| 2019 | TABLEAUX | Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels. | Bjrn Lellmann |
| 2019 | TABLEAUX | Sequentialising Nested Systems. | Elaine Pimentel, Revantha Ramanayake, Bjrn Lellmann |
| 2018 | AiML | Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. | Roman Kuznets, Bjrn Lellmann |
| 2017 | LPAR | A uniform framework for substructural logics with modalities. | Bjrn Lellmann, Carlos Olarte, Elaine Pimentel |
| 2017 | TABLEAUX | Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2017 | TABLEAUX | VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |
| 2016 | JELIA | Standard Sequent Calculi for Lewis' Logics of Counterfactuals. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2015 | LPAR | Proof Search in Nested Sequent Calculi. | Bjrn Lellmann, Elaine Pimentel |
| 2015 | TABLEAUX | Mīmāṃsā Deontic Logic: Proof Theory and Applications. | Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Bjrn Lellmann |
| 2015 | TABLEAUX | Linear Nested Sequents, 2-Sequents and Hypersequents. | Bjrn Lellmann |
| 2014 | CADE | Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications. | Bjrn Lellmann |
| 2013 | TABLEAUX | Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. | Bjrn Lellmann, Dirk Pattinson |
| 2012 | JELIA | Sequent Systems for Lewis' Conditional Logics. | Bjrn Lellmann, Dirk Pattinson |
| 2011 | TABLEAUX | Cut Elimination for Shallow Modal Logics. | Bjrn Lellmann, Dirk Pattinson |