Dirk Pattinson

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 49

Top Venues

CoRR

LICS

Log. Methods Comput. Sci.

VSTTE

Publications

Dirk Pattinson, Cláudia Nalon
Non-iterative Modal Resolution Calculi. IJCAR (2) (2024)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Merlin Humml, Lutz Schröder, Dirk Pattinson
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies. CoRR (2023)
Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
Resolution Calculi for Non-normal Modal Logics. TABLEAUX (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR (2023)
Jim de Groot, Dirk Pattinson
Modal meet-implication logic. Log. Methods Comput. Sci. 18 (3) (2022)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log. 23 (2) (2022)
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
Uniform Interpolation in Coalgebraic Modal Logic. CoRR (2022)
Jim de Groot, Dirk Pattinson
Hennessy-Milner properties via topological compactness. Inf. Comput. 287 (2022)
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. LICS (2021)
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. CoRR (2021)
Dirk Pattinson, Mina Mohammadian
Constructive Domains with Classical Witnesses. Log. Methods Comput. Sci. 17 (1) (2021)
Merlin Göttlinger, Lutz Schröder, Dirk Pattinson
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. CSL (2021)
Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS (2020)
Jim de Groot, Dirk Pattinson
Modal Intuitionistic Logics as Dialgebraic Logics. LICS (2020)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A new foundation for finitary corecursion and iterative algebras. Inf. Comput. 271 (2020)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR (2020)
Jim de Groot, Dirk Pattinson
Modal meet-implication logic. CoRR (2020)
Dirk Pattinson, Peter Schuster, Ana Sokolova
Preface for the special issue of Proof, Structure, and Computation 2014. J. Log. Comput. 29 (4) (2019)
Thomas Haines, Dirk Pattinson, Mukesh Tiwari
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. VSTTE (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. IJCAI (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. CoRR (2019)
Dirk Pattinson, Mina Mohammadian
Constructive Domains with Classical Witnesses. CoRR (2019)
Milad K. Ghale, Dirk Pattinson, Michael Norrish
Modular synthesis of verified verifiers of computation with STV algorithms. FormaliSE@ICSE (2019)
Jim de Groot, Dirk Pattinson
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. WoLLIC (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Quantitative Probabilistic Modal Logic. CoRR (2018)
Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
Modular Formalisation and Verification of STV Algorithms. E-Vote-ID (2018)
Cláudia Nalon, Dirk Pattinson
A Resolution-Based Calculus for Preferential Logics. IJCAR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. CoRR (2018)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion and Iterative Algebras. CoRR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. LICS (2018)
Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish
Verified Certificate Checking for Counting Votes. VSTTE (2018)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Milad K. Ghale, Rajeev Goré, Dirk Pattinson
A Formally Verified Single Transferable Voting Scheme with Fractional Values. E-VOTE-ID (2017)
Dirk Pattinson, Mukesh Tiwari
Schulze Voting as Evidence Carrying Computation. ITP (2017)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Model Theory and Proof Theory of CPL. CoRR (2017)
Florrie Verity, Dirk Pattinson
Formally verified invariants of vote counting schemes. ACSW (2017)
Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. E-VOTE-ID (2017)
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
Uniform Interpolation in Coalgebraic Modal Logic. CALCO (2017)
Lutz Schröder, Dirk Pattinson, Tadeusz Litak
A Van Benthem/Rosen theorem for coalgebraic predicate logic. J. Log. Comput. 27 (3) (2017)
Dirk Pattinson, Lutz Schröder
Program Equivalence is Coinductive. LICS (2016)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion. CoRR (2016)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. FoSSaCS (2016)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Reasoning with Global Assumptions in Arithmetic Modal Logics. FCT (2015)
Dirk Pattinson, Lutz Schröder
Sound and Complete Equational Reasoning over Comodels. MFPS (2015)
Stefan Milius, Dirk Pattinson, Lutz Schröder
Generic Trace Semantics and Graded Monads. CALCO (2015)
Dirk Pattinson, Lutz Schröder
From the Editors. J. Comput. Syst. Sci. 81 (5) (2015)
Dirk Pattinson, Carsten Schürmann
Vote Counting as Mathematical Proof. Australasian Conference on Artificial Intelligence (2015)
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
Simplified Coalgebraic Trace Equivalence. Software, Services, and Systems (2015)
Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). IJCAR (2014)
Sergey Goncharov, Dirk Pattinson
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. ICALP (2) (2014)
Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
Simplified Coalgebraic Trace Equivalence. CoRR (2014)
Sergey Goncharov, Dirk Pattinson
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. CoRR (2014)
Faris Abou-Saleh, Dirk Pattinson
Comodels and Effects in Mathematical Operational Semantics. FoSSaCS (2013)
Abbas Edalat, André Lieutier, Dirk Pattinson
A computational model for multi-variable differential calculus. Inf. Comput. 224 (2013)
Fredrik Dahlqvist, Dirk Pattinson
Some Sahlqvist Completeness Results for Coalgebraic Logics. FoSSaCS (2013)
Björn Lellmann, Dirk Pattinson
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. TABLEAUX (2013)
Dirk Pattinson
The Logic of Exact Covers: Completeness and Uniform Interpolation. LICS (2013)
Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. IJCAI (2013)
Björn Lellmann, Dirk Pattinson
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic. ICLA (2013)
Björn Lellmann, Dirk Pattinson
Sequent Systems for Lewis' Conditional Logics. JELIA (2012)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Coalgebraic Predicate Logic. ICALP (2) (2012)
William Snell, Dirk Pattinson, Florian Widmann
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). LPAR (2012)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. Comput. J. 54 (1) (2011)
Fredrik Dahlqvist, Dirk Pattinson
On the Fusion of Coalgebraic Logics. CALCO (2011)
Lutz Schröder, Dirk Pattinson
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Math. Struct. Comput. Sci. 21 (2) (2011)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. TbiLLC (2011)
Dirk Pattinson, Lutz Schröder
Generic Modal Cut Elimination Applied to Conditional Logics Log. Methods Comput. Sci. 7 (1) (2011)
Björn Lellmann, Dirk Pattinson
Cut Elimination for Shallow Modal Logics. TABLEAUX (2011)
Faris Abou-Saleh, Dirk Pattinson
Towards Effects in Mathematical Operational Semantics. MFPS (2011)
Lutz Schröder, Dirk Pattinson
Description Logics and Fuzzy Probability. IJCAI (2011)
Clemens Kupke, Dirk Pattinson
Coalgebraic semantics of modal logics: An overview. Theor. Comput. Sci. 412 (38) (2011)
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
EXPTIME Tableaux for the Coalgebraic mu-Calculus Log. Methods Comput. Sci. 7 (3) (2011)
Dirk Pattinson, Lutz Schröder
Cut elimination in coalgebraic logics. Inf. Comput. 208 (12) (2010)
Lutz Schröder, Dirk Pattinson
Coalgebraic Correspondence Theory. FoSSaCS (2010)
Lutz Schröder, Dirk Pattinson
Rank-1 Modal Logics are Coalgebraic. J. Log. Comput. 20 (5) (2010)
Lutz Schröder, Dirk Pattinson, Daniel Hausmann
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. ECAI (2010)
Rajeev Goré, Clemens Kupke, Dirk Pattinson
Optimal Tableau Algorithms for Coalgebraic Logics. TACAS (2010)
Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
Global Caching for Coalgebraic Description Logics. IJCAR (2010)
Clemens Kupke, Dirk Pattinson
On Modal Logics of Linear Inequalities. Advances in Modal Logic (2010)
Robert S. R. Myers, Dirk Pattinson
Hybrid logic with the difference modality for generalisations of graphs. J. Appl. Log. 8 (4) (2010)
Lutz Schröder, Dirk Pattinson
Named Models in Coalgebraic Hybrid Logic. STACS (2010)
Lutz Schröder, Dirk Pattinson
Named Models in Coalgebraic Hybrid Logic CoRR (2010)
Lutz Schröder, Dirk Pattinson
Strong Completeness of Coalgebraic Modal Logics CoRR (2009)
Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
Coalgebraic Hybrid Logic. FoSSaCS (2009)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Representations of Stream Processors Using Nested Fixed Points Log. Methods Comput. Sci. 5 (3) (2009)
Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electron. Notes Theor. Comput. Sci. 231 (2009)
Lutz Schröder, Dirk Pattinson
PSPACE bounds for rank-1 modal logics. ACM Trans. Comput. Log. 10 (2) (2009)
Lutz Schröder, Dirk Pattinson, Clemens Kupke
Nominals for Everyone. IJCAI (2009)
Dirk Pattinson, Lutz Schröder
Generic Modal Cut Elimination Applied to Conditional Logics. TABLEAUX (2009)
Lutz Schröder, Dirk Pattinson
Strong Completeness of Coalgebraic Modal Logics. STACS (2009)
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
-Calculus. CSL (2009)
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Continuous Functions on Final Coalgebras. MFPS (2009)
Dirk Pattinson, Lutz Schröder
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. FoSSaCS (2008)
Lutz Schröder, Dirk Pattinson
Shallow Models for Non-iterative Modal Logics. KI (2008)
Dirk Pattinson, Lutz Schröder
Admissibility of Cut in Coalgebraic Logics. CMCS (2008)
Lutz Schröder, Dirk Pattinson
The craft of model making: PSPACE bounds for non-iterative modal logics CoRR (2008)
Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe
Editorial: Math. Log. Quart. 1/2008. Math. Log. Q. 54 (1) (2008)
Lutz Schröder, Dirk Pattinson
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. KR (2008)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. BCS Int. Acad. Conf. (2008)

Dirk Pattinson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dirk Pattinson