Dirk Pattinson

137 papers A* 14A 12B 30C 2Misc 1Journal 48Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Coinductive Representation of Computable Functions. CALCO Alvin Tang, Dirk Pattinson
2025	A	`conf`	From Modal Sequent Calculi to Modal Resolution. CADE Dirk Pattinson, Cláudia Nalon, Sourabh Peruri
2025	J	`jnl`	Linear Regression in p-adic metric spaces. CoRR Gregory D. Baker, Scott McCallum, Dirk Pattinson
2024	—	`conf`	Non-iterative Modal Resolution Calculi. IJCAR (2) Dirk Pattinson, Cláudia Nalon
2023	A	`conf`	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
2023	J	`jnl`	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
2023	B	`conf`	Resolution Calculi for Non-normal Modal Logics. TABLEAUX Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
2023	J	`jnl`	The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies. CoRR Merlin Humml, Lutz Schröder, Dirk Pattinson
2022	A	`ed.`	Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings IJCAR Jasmin Blanchette, Laura Kovács, Dirk Pattinson
2022	J	`jnl`	Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log. Clemens Kupke, Dirk Pattinson, Lutz Schröder
2022	J	`jnl`	Hennessy-Milner properties via topological compactness. Inf. Comput. Jim de Groot, Dirk Pattinson
2022	J	`jnl`	Modal meet-implication logic. Log. Methods Comput. Sci. Jim de Groot, Dirk Pattinson
2022	J	`jnl`	Uniform Interpolation in Coalgebraic Modal Logic. CoRR Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
2021	J	`jnl`	Constructive Domains with Classical Witnesses. Log. Methods Comput. Sci. Dirk Pattinson, Mina Mohammadian
2021	A*	`conf`	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. LICS Jim de Groot, Tadeusz Litak, Dirk Pattinson
2021	J	`jnl`	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. CoRR Jim de Groot, Tadeusz Litak, Dirk Pattinson
2021	B	`conf`	The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies. CSL Merlin Göttlinger, Lutz Schröder, Dirk Pattinson
2020	J	`jnl`	A new foundation for finitary corecursion and iterative algebras. Inf. Comput. Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2020	J	`jnl`	Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR Clemens Kupke, Dirk Pattinson, Lutz Schröder
2020	B	`conf`	Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson
2020	A*	`conf`	Modal Intuitionistic Logics as Dialgebraic Logics. LICS Jim de Groot, Dirk Pattinson
2020	J	`jnl`	Modal meet-implication logic. CoRR Jim de Groot, Dirk Pattinson
2019	A*	`conf`	A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. IJCAI Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019	J	`jnl`	A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. CoRR Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019	J	`jnl`	Constructive Domains with Classical Witnesses. CoRR Dirk Pattinson, Mina Mohammadian
2019	C	`conf`	Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. WoLLIC Jim de Groot, Dirk Pattinson
2019	—	`conf`	Modular synthesis of verified verifiers of computation with STV algorithms. FormaliSE@ICSE Milad K. Ghale, Dirk Pattinson, Michael Norrish
2019	J	`jnl`	Preface for the special issue of Proof, Structure, and Computation 2014. J. Log. Comput. Dirk Pattinson, Peter Schuster, Ana Sokolova
2019	—	`conf`	Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. VSTTE Thomas Haines, Dirk Pattinson, Mukesh Tiwari
2018	J	`jnl`	A New Foundation for Finitary Corecursion and Iterative Algebras. CoRR Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2018	A	`conf`	A Resolution-Based Calculus for Preferential Logics. IJCAR Cláudia Nalon, Dirk Pattinson
2018	A*	`conf`	A van Benthem Theorem for Fuzzy Modal Logic. LICS Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018	J	`jnl`	A van Benthem Theorem for Fuzzy Modal Logic. CoRR Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018	J	`jnl`	A van Benthem Theorem for Quantitative Probabilistic Modal Logic. CoRR Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018	J	`jnl`	Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2018	—	`conf`	Modular Formalisation and Verification of STV Algorithms. E-Vote-ID Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
2018	—	`conf`	Verified Certificate Checking for Counting Votes. VSTTE Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish
2017	—	`conf`	A Formally Verified Single Transferable Voting Scheme with Fractional Values. E-VOTE-ID Milad K. Ghale, Rajeev Goré, Dirk Pattinson
2017	J	`jnl`	A Van Benthem/Rosen theorem for coalgebraic predicate logic. J. Log. Comput. Lutz Schröder, Dirk Pattinson, Tadeusz Litak
2017	—	`conf`	Formally verified invariants of vote counting schemes. ACSW Florrie Verity, Dirk Pattinson
2017	J	`jnl`	Model Theory and Proof Theory of CPL. CoRR Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2017	—	`conf`	No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. E-VOTE-ID Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari
2017	B	`conf`	Schulze Voting as Evidence Carrying Computation. ITP Dirk Pattinson, Mukesh Tiwari
2017	B	`conf`	Uniform Interpolation in Coalgebraic Modal Logic. CALCO Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
2016	B	`conf`	A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. FoSSaCS Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2016	J	`jnl`	A New Foundation for Finitary Corecursion. CoRR Stefan Milius, Dirk Pattinson, Thorsten Wißmann
2016	A*	`conf`	Program Equivalence is Coinductive. LICS Dirk Pattinson, Lutz Schröder
2015	J	`jnl`	From the Editors. J. Comput. Syst. Sci. Dirk Pattinson, Lutz Schröder
2015	B	`conf`	Generic Trace Semantics and Graded Monads. CALCO Stefan Milius, Dirk Pattinson, Lutz Schröder
2015	B	`conf`	Reasoning with Global Assumptions in Arithmetic Modal Logics. FCT Clemens Kupke, Dirk Pattinson, Lutz Schröder
2015	—	`conf`	Simplified Coalgebraic Trace Equivalence. Software, Services, and Systems Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2015	B	`conf`	Sound and Complete Equational Reasoning over Comodels. MFPS Dirk Pattinson, Lutz Schröder
2015	—	`conf`	Vote Counting as Mathematical Proof. Australasian Conference on Artificial Intelligence Dirk Pattinson, Carsten Schürmann
2014	—	`conf`	Coalgebraic Weak Bisimulation from Recursive Equations over Monads. ICALP (2) Sergey Goncharov, Dirk Pattinson
2014	J	`jnl`	Coalgebraic Weak Bisimulation from Recursive Equations over Monads. CoRR Sergey Goncharov, Dirk Pattinson
2014	A	`conf`	Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). IJCAR Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
2014	J	`jnl`	Simplified Coalgebraic Trace Equivalence. CoRR Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
2013	J	`jnl`	A computational model for multi-variable differential calculus. Inf. Comput. Abbas Edalat, André Lieutier, Dirk Pattinson
2013	B	`conf`	Comodels and Effects in Mathematical Operational Semantics. FoSSaCS Faris Abou-Saleh, Dirk Pattinson
2013	—	`conf`	Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic. ICLA Björn Lellmann, Dirk Pattinson
2013	B	`conf`	Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. TABLEAUX Björn Lellmann, Dirk Pattinson
2013	B	`conf`	Some Sahlqvist Completeness Results for Coalgebraic Logics. FoSSaCS Fredrik Dahlqvist, Dirk Pattinson
2013	A*	`conf`	Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. IJCAI Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder
2013	A*	`conf`	The Logic of Exact Covers: Completeness and Uniform Interpolation. LICS Dirk Pattinson
2012	—	`ed.`	Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers CMCS Dirk Pattinson, Lutz Schröder
2012	—	`conf`	Coalgebraic Predicate Logic. ICALP (2) Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2012	B	`conf`	Sequent Systems for Lewis' Conditional Logics. JELIA Björn Lellmann, Dirk Pattinson
2012	B	`conf`	Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). LPAR William Snell, Dirk Pattinson, Florian Widmann
2011	—	`conf`	Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. TbiLLC Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano
2011	J	`jnl`	Coalgebraic semantics of modal logics: An overview. Theor. Comput. Sci. Clemens Kupke, Dirk Pattinson
2011	B	`conf`	Cut Elimination for Shallow Modal Logics. TABLEAUX Björn Lellmann, Dirk Pattinson
2011	A*	`conf`	Description Logics and Fuzzy Probability. IJCAI Lutz Schröder, Dirk Pattinson
2011	J	`jnl`	EXPTIME Tableaux for the Coalgebraic mu-Calculus Log. Methods Comput. Sci. Corina Cîrstea, Clemens Kupke, Dirk Pattinson
2011	J	`jnl`	Generic Modal Cut Elimination Applied to Conditional Logics Log. Methods Comput. Sci. Dirk Pattinson, Lutz Schröder
2011	J	`jnl`	Modal Logics are Coalgebraic. Comput. J. Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2011	J	`jnl`	Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Math. Struct. Comput. Sci. Lutz Schröder, Dirk Pattinson
2011	B	`conf`	On the Fusion of Coalgebraic Logics. CALCO Fredrik Dahlqvist, Dirk Pattinson
2011	B	`conf`	Towards Effects in Mathematical Operational Semantics. MFPS Faris Abou-Saleh, Dirk Pattinson
2010	B	`conf`	Coalgebraic Correspondence Theory. FoSSaCS Lutz Schröder, Dirk Pattinson
2010	J	`jnl`	Cut elimination in coalgebraic logics. Inf. Comput. Dirk Pattinson, Lutz Schröder
2010	A	`conf`	Global Caching for Coalgebraic Description Logics. IJCAR Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
2010	J	`jnl`	Hybrid logic with the difference modality for generalisations of graphs. J. Appl. Log. Robert S. R. Myers, Dirk Pattinson
2010	J	`jnl`	Named Models in Coalgebraic Hybrid Logic CoRR Lutz Schröder, Dirk Pattinson
2010	A	`conf`	Named Models in Coalgebraic Hybrid Logic. STACS Lutz Schröder, Dirk Pattinson
2010	B	`conf`	On Modal Logics of Linear Inequalities. Advances in Modal Logic Clemens Kupke, Dirk Pattinson
2010	A	`conf`	Optimal Tableau Algorithms for Coalgebraic Logics. TACAS Rajeev Goré, Clemens Kupke, Dirk Pattinson
2010	A	`conf`	Optimal Tableaux for Conditional Logics with Cautious Monotonicity. ECAI Lutz Schröder, Dirk Pattinson, Daniel Hausmann
2010	J	`jnl`	Rank-1 Modal Logics are Coalgebraic. J. Log. Comput. Lutz Schröder, Dirk Pattinson
2009	B	`conf`	Coalgebraic Hybrid Logic. FoSSaCS Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
2009	B	`conf`	Continuous Functions on Final Coalgebras. MFPS Neil Ghani, Peter G. Hancock, Dirk Pattinson
2009	B	`conf`	EXPTIME Tableaux for the Coalgebraic CSL Corina Cîrstea, Clemens Kupke, Dirk Pattinson
2009	B	`conf`	Generic Modal Cut Elimination Applied to Conditional Logics. TABLEAUX Dirk Pattinson, Lutz Schröder
2009	A*	`conf`	Nominals for Everyone. IJCAI Lutz Schröder, Dirk Pattinson, Clemens Kupke
2009	J	`jnl`	PSPACE bounds for rank-1 modal logics. ACM Trans. Comput. Log. Lutz Schröder, Dirk Pattinson
2009	J	`jnl`	Representations of Stream Processors Using Nested Fixed Points Log. Methods Comput. Sci. Neil Ghani, Peter G. Hancock, Dirk Pattinson
2009	J	`jnl`	Strong Completeness of Coalgebraic Modal Logics CoRR Lutz Schröder, Dirk Pattinson
2009	A	`conf`	Strong Completeness of Coalgebraic Modal Logics. STACS Lutz Schröder, Dirk Pattinson
2008	—	`conf`	Admissibility of Cut in Coalgebraic Logics. CMCS Dirk Pattinson, Lutz Schröder
2008	B	`conf`	Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. FoSSaCS Dirk Pattinson, Lutz Schröder
2008	J	`jnl`	Editorial: Math. Log. Quart. 1/2008. Math. Log. Q. Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe
2008	A*	`conf`	How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. KR Lutz Schröder, Dirk Pattinson
2008	—	`conf`	Modal Logics are Coalgebraic. BCS Int. Acad. Conf. Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
2008	Misc	`conf`	Shallow Models for Non-iterative Modal Logics. KI Lutz Schröder, Dirk Pattinson
2008	J	`jnl`	The craft of model making: PSPACE bounds for non-iterative modal logics CoRR Lutz Schröder, Dirk Pattinson
2007	J	`jnl`	A Domain-Theoretic Account of Picard's Theorem. LMS J. Comput. Math. Abbas Edalat, Dirk Pattinson
2007	—	`conf`	CoLoSS: The Coalgebraic Logic Satisfiability Solver. M4M Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
2007	J	`jnl`	Denotational semantics of hybrid automata. J. Log. Algebraic Methods Program. Abbas Edalat, Dirk Pattinson
2007	A*	`conf`	Modular Algorithms for Heterogeneous Modal Logics. ICALP Lutz Schröder, Dirk Pattinson
2007	J	`jnl`	Modular construction of complete coalgebraic logics. Theor. Comput. Sci. Corina Cîrstea, Dirk Pattinson
2007	J	`jnl`	PSPACE Bounds for Rank-1 Modal Logics CoRR Lutz Schröder, Dirk Pattinson
2007	A	`conf`	Rank-1 Modal Logics Are Coalgebraic. STACS Lutz Schröder, Dirk Pattinson
2006	—	`conf`	Continuous Functions on Final Coalgebras. CMCS Neil Ghani, Peter G. Hancock, Dirk Pattinson
2006	B	`conf`	Denotational Semantics of Hybrid Automata. FoSSaCS Abbas Edalat, Dirk Pattinson
2006	A*	`conf`	PSPACE Bounds for Rank-1 Modal Logics. LICS Lutz Schröder, Dirk Pattinson
2005	—	`conf`	A Complete Temporal and Spatial Logic for Distributed Systems. FroCoS Dirk Pattinson, Bernhard Reus
2005	B	`conf`	A Computational Model for Multi-variable Differential Calculus. FoSSaCS Abbas Edalat, André Lieutier, Dirk Pattinson
2005	J	`jnl`	A coordination approach to mobile components. Theor. Comput. Sci. Dirk Pattinson, Martin Wirsing
2005	J	`jnl`	Coalgebraic modal logic of finite rank. Math. Struct. Comput. Sci. Alexander Kurz, Dirk Pattinson
2005	B	`conf`	Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. MFPS Abbas Edalat, Dirk Pattinson
2005	C	`conf`	Domain-Theoretic Formulation of Linear Boundary Value Problems. CiE Dirk Pattinson
2005	A*	`conf`	Inverse and Implicit Functions in Domain Theory. LICS Abbas Edalat, Dirk Pattinson
2005	B	`conf`	Ultrafilter Extensions for Coalgebras. CALCO Clemens Kupke, Alexander Kurz, Dirk Pattinson
2004	—	`conf`	A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. PARA Abbas Edalat, Dirk Pattinson
2004	A*	`conf`	A Domain Theoretic Account of Picard's Theorem. ICALP Abbas Edalat, Dirk Pattinson
2004	—	`conf`	Algebraic Semantics for Coalgebraic Logics. CMCS Clemens Kupke, Alexander Kurz, Dirk Pattinson
2004	J	`jnl`	Expressive Logics for Coalgebras via Terminal Sequence Induction. Notre Dame J. Formal Log. Dirk Pattinson
2004	B	`conf`	Modular Construction of Modal Logics. CONCUR Corina Cîrstea, Dirk Pattinson
2003	J	`jnl`	Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theor. Comput. Sci. Dirk Pattinson
2003	—	`conf`	Computable Functions on Final Coalgebras. CMCS Dirk Pattinson
2003	—	`ed.`	Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers WADT Martin Wirsing, Dirk Pattinson, Rolf Hennicker
2002	—	`conf`	Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. CMCS Alexander Kurz, Dirk Pattinson
2002	—	`conf`	Making Components Move: A Separation of Concerns Approach. FMCO Dirk Pattinson, Martin Wirsing
2002	—	`conf`	Translating Logics for Coalgebras. WADT Dirk Pattinson
2001	—	`conf`	Modal Languages for Coalgebras in a Topological Setting. CMCS Dirk Pattinson
2001	A	`conf`	Semantical Principles in the Modal Logic of Coalgebras. STACS Dirk Pattinson
2000	—	`conf`	Modal Logic for Rewriting Theories. WRLA Dirk Pattinson
2000	—	`conf`	Notes on Coalgebras, Cofibrations and Concurrency. CMCS Alexander Kurz, Dirk Pattinson