| 2025 | CADE | From Modal Sequent Calculi to Modal Resolution. | Dirk Pattinson, Cludia Nalon, Sourabh Peruri |
| 2025 | CALCO | A Coinductive Representation of Computable Functions. | Alvin Tang, Dirk Pattinson |
| 2024 | IJCAR | Non-iterative Modal Resolution Calculi. | Dirk Pattinson, Cludia Nalon |
| 2023 | CADE | COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). | Oliver Grlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schrder |
| 2023 | TABLEAUX | Resolution Calculi for Non-normal Modal Logics. | Dirk Pattinson, Nicola Olivetti, Cludia Nalon |
| 2021 | CSL | The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. | Merlin Gttlinger, Lutz Schrder, Dirk Pattinson |
| 2021 | LICS | Gdel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. | Jim de Groot, Tadeusz Litak, Dirk Pattinson |
| 2020 | LICS | Modal Intuitionistic Logics as Dialgebraic Logics. | Jim de Groot, Dirk Pattinson |
| 2020 | MFPS | Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. | Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson |
| 2019 | IJCAI | A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2019 | ICSE | Modular synthesis of verified verifiers of computation with STV algorithms. | Milad K. Ghale, Dirk Pattinson, Michael Norrish |
| 2019 | WoLLIC | Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. | Jim de Groot, Dirk Pattinson |
| 2018 | CADE | A Resolution-Based Calculus for Preferential Logics. | Cludia Nalon, Dirk Pattinson |
| 2018 | LICS | A van Benthem Theorem for Fuzzy Modal Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2017 | CALCO | Uniform Interpolation in Coalgebraic Modal Logic. | Fatemeh Seifan, Lutz Schrder, Dirk Pattinson |
| 2017 | ITP | Schulze Voting as Evidence Carrying Computation. | Dirk Pattinson, Mukesh Tiwari |
| 2016 | FOSSACS | A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. | Stefan Milius, Dirk Pattinson, Thorsten Wimann |
| 2016 | LICS | Program Equivalence is Coinductive. | Dirk Pattinson, Lutz Schrder |
| 2015 | CALCO | Generic Trace Semantics and Graded Monads. | Stefan Milius, Dirk Pattinson, Lutz Schrder |
| 2015 | FCT | Reasoning with Global Assumptions in Arithmetic Modal Logics. | Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2014 | CADE | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). | Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann |
| 2014 | ICALP | Coalgebraic Weak Bisimulation from Recursive Equations over Monads. | Sergey Goncharov, Dirk Pattinson |
| 2013 | FOSSACS | Comodels and Effects in Mathematical Operational Semantics. | Faris Abou-Saleh, Dirk Pattinson |
| 2013 | FOSSACS | Some Sahlqvist Completeness Results for Coalgebraic Logics. | Fredrik Dahlqvist, Dirk Pattinson |
| 2013 | IJCAI | Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. | Agnieszka Kulacka, Dirk Pattinson, Lutz Schrder |
| 2013 | LICS | The Logic of Exact Covers: Completeness and Uniform Interpolation. | Dirk Pattinson |
| 2013 | TABLEAUX | Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. | Bjrn Lellmann, Dirk Pattinson |
| 2012 | ICALP | Coalgebraic Predicate Logic. | Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schrder |
| 2012 | JELIA | Sequent Systems for Lewis' Conditional Logics. | Bjrn Lellmann, Dirk Pattinson |
| 2012 | LPAR | Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). | William Snell, Dirk Pattinson, Florian Widmann |
| 2011 | CALCO | On the Fusion of Coalgebraic Logics. | Fredrik Dahlqvist, Dirk Pattinson |
| 2011 | IJCAI | Description Logics and Fuzzy Probability. | Lutz Schrder, Dirk Pattinson |
| 2011 | TABLEAUX | Cut Elimination for Shallow Modal Logics. | Bjrn Lellmann, Dirk Pattinson |
| 2010 | AiML | On Modal Logics of Linear Inequalities. | Clemens Kupke, Dirk Pattinson |
| 2010 | CADE | Global Caching for Coalgebraic Description Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2010 | ECAI | Optimal Tableaux for Conditional Logics with Cautious Monotonicity. | Lutz Schrder, Dirk Pattinson, Daniel Hausmann |
| 2010 | FOSSACS | Coalgebraic Correspondence Theory. | Lutz Schrder, Dirk Pattinson |
| 2010 | STACS | Named Models in Coalgebraic Hybrid Logic. | Lutz Schrder, Dirk Pattinson |
| 2010 | TACAS | Optimal Tableau Algorithms for Coalgebraic Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson |
| 2009 | CSL | EXPTIME Tableaux for the Coalgebraic | Corina Crstea, Clemens Kupke, Dirk Pattinson |
| 2009 | FOSSACS | Coalgebraic Hybrid Logic. | Robert S. R. Myers, Dirk Pattinson, Lutz Schrder |
| 2009 | IJCAI | Nominals for Everyone. | Lutz Schrder, Dirk Pattinson, Clemens Kupke |
| 2009 | STACS | Strong Completeness of Coalgebraic Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2009 | TABLEAUX | Generic Modal Cut Elimination Applied to Conditional Logics. | Dirk Pattinson, Lutz Schrder |
| 2008 | FOSSACS | Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. | Dirk Pattinson, Lutz Schrder |
| 2008 | KI | Shallow Models for Non-iterative Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2008 | KR | How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. | Lutz Schrder, Dirk Pattinson |
| 2007 | ICALP | Modular Algorithms for Heterogeneous Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2007 | STACS | Rank-1 Modal Logics Are Coalgebraic. | Lutz Schrder, Dirk Pattinson |
| 2006 | FOSSACS | Denotational Semantics of Hybrid Automata. | Abbas Edalat, Dirk Pattinson |
| 2006 | LICS | PSPACE Bounds for Rank-1 Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2005 | CALCO | Ultrafilter Extensions for Coalgebras. | Clemens Kupke, Alexander Kurz, Dirk Pattinson |
| 2005 | CiE | Domain-Theoretic Formulation of Linear Boundary Value Problems. | Dirk Pattinson |
| 2005 | FOSSACS | A Computational Model for Multi-variable Differential Calculus. | Abbas Edalat, Andr Lieutier, Dirk Pattinson |
| 2005 | LICS | Inverse and Implicit Functions in Domain Theory. | Abbas Edalat, Dirk Pattinson |
| 2004 | CONCUR | Modular Construction of Modal Logics. | Corina Crstea, Dirk Pattinson |
| 2004 | ICALP | A Domain Theoretic Account of Picard's Theorem. | Abbas Edalat, Dirk Pattinson |
| 2001 | STACS | Semantical Principles in the Modal Logic of Coalgebras. | Dirk Pattinson |