A Coalgebraic Perspective on Monotone Modal Logic. - Helle Hvid Hansen; Clemens Kupke (CMCS, 2004)

Algebraic Semantics for Coalgebraic Logics. - Clemens Kupke; Alexander Kurz 001; Dirk Pattinson (CMCS, 2004)

Stone coalgebras. - Clemens Kupke; Alexander Kurz 001; Yde Venema (Theor. Comput. Sci., 2004)

Ultrafilter Extensions for Coalgebras. - Clemens Kupke; Alexander Kurz 001; Dirk Pattinson (CALCO, 2005)

Closure Properties of Coalgebra Automata. - Clemens Kupke; Yde Venema (LICS, 2005)

Bisimulation for Neighbourhood Structures. - Helle Hvid Hansen; Clemens Kupke; Eric Pacuit (CALCO, 2007)

Terminal Sequence Induction via Games. - Clemens Kupke (TbiLLC, 2007)

Completeness of the finitary Moss logic. - Clemens Kupke; Alexander Kurz 001; Yde Venema (Advances in Modal Logic, 2008)

Preface. - Jirí Adámek; Clemens Kupke (CMCS, 2008)

Observational Coalgebras and Complete Sets of Co-operations. - Clemens Kupke; Jan J. M. M. Rutten (CMCS, 2008)

Coalgebraic Automata Theory: Basic Results. - Clemens Kupke; Yde Venema (Log. Methods Comput. Sci., 2008)

Characterising Behavioural Equivalence: Three Sides of One Coin. - Clemens Kupke; Raul Andres Leal (CALCO, 2009)

EXPTIME Tableaux for the Coalgebraic µ-Calculus. - Corina Cîrstea; Clemens Kupke; Dirk Pattinson (CSL, 2009)

Nominals for Everyone. - Lutz Schröder; Dirk Pattinson; Clemens Kupke (IJCAI, 2009)

Neighbourhood Structures: Bisimilarity and Basic Model Theory - Helle Hvid Hansen; Clemens Kupke; Eric Pacuit (Log. Methods Comput. Sci., 2009)

On Modal Logics of Linear Inequalities. - Clemens Kupke; Dirk Pattinson (Advances in Modal Logic, 2010)

Global Caching for Coalgebraic Description Logics. - Rajeev Goré; Clemens Kupke; Dirk Pattinson; Lutz Schröder (IJCAR, 2010)

Optimal Tableau Algorithms for Coalgebraic Logics. - Rajeev Goré; Clemens Kupke; Dirk Pattinson (TACAS, 2010)

Complete sets of cooperations. - Clemens Kupke; Jan J. M. M. Rutten (Inf. Comput., 2010)

EXPTIME Tableaux for the Coalgebraic mu-Calculus - Corina Cîrstea; Clemens Kupke; Dirk Pattinson (Log. Methods Comput. Sci., 2011)

Coalgebraic semantics of modal logics: An overview. - Clemens Kupke; Dirk Pattinson (Theor. Comput. Sci., 2011)

Equality-Friendly Well-Founded Semantics and Applications to Description Logics. - Georg Gottlob; André Hernich; Clemens Kupke; Thomas Lukasiewicz (AAAI, 2012)

On the Final Coalgebra of Automatic Sequences. - Clemens Kupke; Jan J. M. M. Rutten (Logic and Program Semantics, 2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (KR, 2012)

Minimization via Duality. - Nick Bezhanishvili; Clemens Kupke; Prakash Panangaden (WoLLIC, 2012)

Completeness for the coalgebraic cover modality - Clemens Kupke; Alexander Kurz 001; Yde Venema (Log. Methods Comput. Sci., 2012)

Well-Founded Semantics for Extended Datalog and Ontological Reasoning. - André Hernich; Clemens Kupke; Thomas Lukasiewicz; Georg Gottlob (Description Logics, 2013)

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (J. Artif. Intell. Res., 2013)

A Final Coalgebra for k-regular Sequences. - Helle Hvid Hansen; Clemens Kupke; Jan Rutten; Joost Winter (Horizons of the Mind, 2014)

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. - Helle Hvid Hansen; Clemens Kupke; Raul Andres Leal (IFIP TCS, 2014)

Stable Model Semantics for Guarded Existential Rules and Description Logics. - Georg Gottlob; André Hernich; Clemens Kupke; Thomas Lukasiewicz (KR, 2014)

Reasoning with Global Assumptions in Arithmetic Modal Logics. - Clemens Kupke; Dirk Pattinson; Lutz Schröder (FCT, 2015)

Weak Completeness of Coalgebraic Dynamic Logics. - Helle Hvid Hansen; Clemens Kupke (FICS, 2015)

Games for Topological Fixpoint Logic. - Nick Bezhanishvili; Clemens Kupke (GandALF, 2016)

Parity Games and Automata for Game Logic. - Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (DALI@TABLEAUX, 2017)

Stream Differential Equations: Specification Formats and Solution Methods. - Helle Hvid Hansen; Clemens Kupke; Jan Rutten (Log. Methods Comput. Sci., 2017)

Parity Games and Automata for Game Logic (Extended Version). - Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (CoRR, 2017)

Coalgebraic Logics & Duality. - Clemens Kupke (CMCS, 2018)

Angluin Learning via Logic. - Simone Barlocco; Clemens Kupke (LFCS, 2018)

A compositional treatment of iterated open games. - Neil Ghani; Clemens Kupke; Alasdair Lambert; Fredrik Nordvall Forsberg (Theor. Comput. Sci., 2018)

Coalgebra Learning via Duality. - Simone Barlocco; Clemens Kupke; Jurriaan Rot (FoSSaCS, 2019)

Completeness for Game Logic. - Sebastian Enqvist; Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (LICS, 2019)

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. - Neil Ghani; Clemens Kupke; Alasdair Lambert; Fredrik Nordvall Forsberg (ACT, 2019)

Learning Weighted Automata over Principal Ideal Domains. - Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva 001 (FoSSaCS, 2020)

Minimisation in Logical Form. - Nick Bezhanishvili; Marcello M. Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva 001 (CoRR, 2020)

Size matters in the modal μ-calculus. - Clemens Kupke; Johannes Marti; Yde Venema (CoRR, 2020)

Compositional Game Theory, Compositionally. - Robert Atkey; Bruno Gavranovic; Neil Ghani; Clemens Kupke; Jérémy Ledent; Fredrik Nordvall Forsberg (ACT, 2020)

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. - Yuichi Komorida; Shin-ya Katsumata; Clemens Kupke; Jurriaan Rot; Ichiro Hasuo (LICS, 2021)

On the size of disjunctive formulas in the μ-calculus. - Clemens Kupke; Johannes Marti; Yde Venema (GandALF, 2021)

Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity. - Georg Gottlob; André Hernich; Clemens Kupke; Thomas Lukasiewicz (J. ACM, 2021)

Expressive Logics for Coinductive Predicates. - Clemens Kupke; Jurriaan Rot (Log. Methods Comput. Sci., 2021)

Succinct Graph Representations of μ-Calculus Formulas. - Clemens Kupke; Johannes Marti; Yde Venema (CSL, 2022)

Size measures and alphabetic equivalence in the μ-calculus. - Clemens Kupke; Johannes Marti; Yde Venema (LICS, 2022)

Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. - Clemens Kupke; Dirk Pattinson; Lutz Schröder (ACM Trans. Comput. Log., 2022)

A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. - Clemens Kupke; Fredrik Nordvall Forsberg; Sean Watters (APLAS, 2023)

Forward and Backward Steps in a Fibration. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CALCO, 2023)

Measure-Theoretic Semantics for Quantitative Parity Automata. - Corina Cîrstea; Clemens Kupke (CSL, 2023)

Preservation and Reflection of Bisimilarity via Invertible Steps. - Ruben Turkenburg; Clemens Kupke; Jurriaan Rot; Ezra Schoen (FoSSaCS, 2023)

Beyond Initial Algebras and Final Coalgebras. - Ezra Schoen; Jade Master; Clemens Kupke (CoRR, 2023)

Relative fixed points of functors. - Ezra Schoen; Jade Master; Clemens Kupke (CoRR, 2023)

A Categorical Approach to Coalgebraic Fixpoint Logic. - Ezra Schoen; Clemens Kupke; Jurriaan Rot; Ruben Turkenburg (CMCS, 2024)

Proving Behavioural Apartness. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CMCS, 2024)

Dual Adjunction Between $ varOmega $-Automata and Wilke Algebra Quotients. - Anton Chernev; Helle Hvid Hansen; Clemens Kupke (ICTAC, 2024)

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. - Anton Chernev; Helle Hvid Hansen; Clemens Kupke (CoRR, 2024)

Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. - Daniel Luckhardt; Harsh Beohar; Clemens Kupke (CALCO, 2025)

Thin Coalgebraic Behaviours Are Inductive. - Anton Chernev; Corina Cîrstea; Helle Hvid Hansen; Clemens Kupke (CoRR, 2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances. - Ruben Turkenburg; Harsh Beohar; Franck van Breugel; Clemens Kupke; Jurriaan Rot (CoRR, 2025)