Clemens Kupke

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 40

Top Topics

Graph Representations

Top Venues

Publications

Anton Chernev, Helle Hvid Hansen, Clemens Kupke
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CoRR (2024)
Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. APLAS (2023)
Corina Cîrstea, Clemens Kupke
Measure-Theoretic Semantics for Quantitative Parity Automata. CSL (2023)
Ezra Schoen, Jade Master, Clemens Kupke
Relative fixed points of functors. CoRR (2023)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Forward and Backward Steps in a Fibration. CALCO (2023)
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
Preservation and Reflection of Bisimilarity via Invertible Steps. FoSSaCS (2023)
Ezra Schoen, Jade Master, Clemens Kupke
Beyond Initial Algebras and Final Coalgebras. CoRR (2023)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log. 23 (2) (2022)
Clemens Kupke, Johannes Marti, Yde Venema
Succinct Graph Representations of μ-Calculus Formulas. CSL (2022)
Clemens Kupke, Johannes Marti, Yde Venema
Size measures and alphabetic equivalence in the μ-calculus. LICS (2022)
Clemens Kupke, Johannes Marti, Yde Venema
On the size of disjunctive formulas in the μ-calculus. GandALF (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS (2021)
Clemens Kupke, Jurriaan Rot
Expressive Logics for Coinductive Predicates. Log. Methods Comput. Sci. 17 (4) (2021)
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity. J. ACM 68 (5) (2021)
Clemens Kupke, Jurriaan Rot
Expressive Logics for Coinductive Predicates. CoRR (2020)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains. FoSSaCS (2020)
Clemens Kupke, Jurriaan Rot
Expressive Logics for Coinductive Predicates. CSL (2020)
Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg
Compositional Game Theory, Compositionally. ACT (2020)
Clemens Kupke, Johannes Marti, Yde Venema
Size matters in the modal μ-calculus. CoRR (2020)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. CoRR (2019)
Simone Barlocco, Clemens Kupke, Jurriaan Rot
Coalgebra Learning via Duality. FoSSaCS (2019)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. LICS (2019)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains. CoRR (2019)
Simone Barlocco, Clemens Kupke, Jurriaan Rot
Coalgebra Learning via Duality. CoRR (2019)
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. ACT (2019)
Clemens Kupke
Coalgebraic Logics & Duality. CMCS (2018)
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
A compositional treatment of iterated open games. Theor. Comput. Sci. 741 (2018)
Simone Barlocco, Clemens Kupke
Angluin Learning via Logic. LFCS (2018)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic. DALI@TABLEAUX (2017)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. 13 (1) (2017)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic (Extended Version). CoRR (2017)
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
A Compositional Treatment of Iterated Open Games. CoRR (2017)
Nick Bezhanishvili, Clemens Kupke
Games for Topological Fixpoint Logic. GandALF (2016)
Clemens Kupke, Dirk Pattinson, Lutz Schröder
Reasoning with Global Assumptions in Arithmetic Modal Logics. FCT (2015)
Helle Hvid Hansen, Clemens Kupke
Weak Completeness of Coalgebraic Dynamic Logics. FICS (2015)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
A Final Coalgebra for k-regular Sequences. Horizons of the Mind (2014)
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Stable Model Semantics for Guarded Existential Rules and Description Logics. KR (2014)
Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS (2014)
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR (2014)
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
Well-founded semantics for extended datalog and ontological reasoning. PODS (2013)
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
Well-Founded Semantics for Extended Datalog and Ontological Reasoning. Description Logics (2013)
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. 47 (2013)
Clemens Kupke, Alexander Kurz, Yde Venema
Completeness for the coalgebraic cover modality Log. Methods Comput. Sci. 8 (3) (2012)
Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
Minimization via Duality. WoLLIC (2012)
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. AAAI (2012)
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Description Logics (2012)
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR (2012)
Clemens Kupke, Jan J. M. M. Rutten
On the Final Coalgebra of Automatic Sequences. Logic and Program Semantics (2012)
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)
Jirí Adámek, Clemens Kupke
Preface. Inf. Comput. 208 (12) (2010)
Clemens Kupke, Jan J. M. M. Rutten
Complete sets of cooperations. Inf. Comput. 208 (12) (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)
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Neighbourhood Structures: Bisimilarity and Basic Model Theory Log. Methods Comput. Sci. 5 (2) (2009)
Clemens Kupke, Raul Andres Leal
Characterising Behavioural Equivalence: Three Sides of One Coin. CALCO (2009)
Lutz Schröder, Dirk Pattinson, Clemens Kupke
Nominals for Everyone. IJCAI (2009)
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
-Calculus. CSL (2009)
Clemens Kupke, Yde Venema
Coalgebraic Automata Theory: Basic Results CoRR (2008)
Clemens Kupke, Yde Venema
Coalgebraic Automata Theory: Basic Results. Log. Methods Comput. Sci. 4 (4) (2008)
Jirí Adámek, Clemens Kupke
Preface. CMCS (2008)
Clemens Kupke, Jan J. M. M. Rutten
Observational Coalgebras and Complete Sets of Co-operations. CMCS (2008)
Clemens Kupke, Alexander Kurz, Yde Venema
Completeness of the finitary Moss logic. Advances in Modal Logic (2008)
Clemens Kupke
Terminal Sequence Induction via Games. TbiLLC (2007)
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Bisimulation for Neighbourhood Structures. CALCO (2007)
Clemens Kupke, Yde Venema
Closure Properties of Coalgebra Automata. LICS (2005)
Clemens Kupke, Alexander Kurz, Dirk Pattinson
Ultrafilter Extensions for Coalgebras. CALCO (2005)
Helle Hvid Hansen, Clemens Kupke
A Coalgebraic Perspective on Monotone Modal Logic. CMCS (2004)
Clemens Kupke, Alexander Kurz, Dirk Pattinson
Algebraic Semantics for Coalgebraic Logics. CMCS (2004)
Clemens Kupke, Alexander Kurz, Yde Venema
Stone coalgebras. Theor. Comput. Sci. 327 (1-2) (2004)
Clemens Kupke, Alexander Kurz, Yde Venema
Stone Coalgebras. CMCS (2003)