Clemens Kupke

91 papers A* 10A 2B 19C 2Misc 1Journal 35Unranked 20
YearRankTypeTitle / Venue / Authors
2026 B conf
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CSL
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 J jnl
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CoRR
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 B conf
Expressivity of Bisimulation Pseudometrics over Analytic State Spaces.
CALCO
Daniel Luckhardt, Harsh Beohar, Clemens Kupke
2025 J jnl
Expressivity of bisimulation pseudometrics over analytic state spaces.
CoRR
Daniel Luckhardt, Harsh Beohar, Clemens Kupke
2025 B ed.
Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, MFPS XLI, University of Strathclyde, Glasgow, UK, June 16-21, 2025
MFPS
Clemens Kupke, Stefan Milius
2025 J jnl
Relative fixed points of functors.
Fundam. Informaticae
Ezra Schoen, Jade Master, Clemens Kupke
2025 A* conf
Thin Coalgebraic Behaviours Are Inductive.
LICS
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025 J jnl
Thin Coalgebraic Behaviours Are Inductive.
CoRR
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2025 B conf
Unambiguous Acceptance of Thin Coalgebras.
MFPS
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
2024 — conf
A Categorical Approach to Coalgebraic Fixpoint Logic.
CMCS
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
2024 J jnl
A Categorical Approach to Coalgebraic Fixpoint Logic.
CoRR
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
2024 C conf
Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients.
ICTAC
Anton Chernev, Helle Hvid Hansen, Clemens Kupke
2024 J jnl
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients.
CoRR
Anton Chernev, Helle Hvid Hansen, Clemens Kupke
2024 — conf
Proving Behavioural Apartness.
CMCS
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2024 J jnl
Proving Behavioural Apartness.
CoRR
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2023 B conf
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists.
APLAS
Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters
2023 J jnl
Beyond Initial Algebras and Final Coalgebras.
CoRR
Ezra Schoen, Jade Master, Clemens Kupke
2023 B conf
Forward and Backward Steps in a Fibration.
CALCO
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2023 B conf
Measure-Theoretic Semantics for Quantitative Parity Automata.
CSL
Corina Cîrstea, Clemens Kupke
2023 B conf
Preservation and Reflection of Bisimilarity via Invertible Steps.
FoSSaCS
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
2023 J jnl
Relative fixed points of functors.
CoRR
Ezra Schoen, Jade Master, Clemens Kupke
2022 J jnl
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics.
ACM Trans. Comput. Log.
Clemens Kupke, Dirk Pattinson, Lutz Schröder
2022 A* conf
Size measures and alphabetic equivalence in the μ-calculus.
LICS
Clemens Kupke, Johannes Marti, Yde Venema
2022 B conf
Succinct Graph Representations of μ-Calculus Formulas.
CSL
Clemens Kupke, Johannes Marti, Yde Venema
2021 J jnl
Expressive Logics for Coinductive Predicates.
Log. Methods Comput. Sci.
Clemens Kupke, Jurriaan Rot
2021 A* conf
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.
LICS
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021 J jnl
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation.
CoRR
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021 — conf
On the size of disjunctive formulas in the μ-calculus.
GandALF
Clemens Kupke, Johannes Marti, Yde Venema
2021 J jnl
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.
J. ACM
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2020 J jnl
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics.
CoRR
Clemens Kupke, Dirk Pattinson, Lutz Schröder
2020 — conf
Compositional Game Theory, Compositionally.
ACT
Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg
2020 B conf
Expressive Logics for Coinductive Predicates.
CSL
Clemens Kupke, Jurriaan Rot
2020 J jnl
Expressive Logics for Coinductive Predicates.
CoRR
Clemens Kupke, Jurriaan Rot
2020 B conf
Learning Weighted Automata over Principal Ideal Domains.
FoSSaCS
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2020 J jnl
Minimisation in Logical Form.
CoRR
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
2020 J jnl
Size matters in the modal μ-calculus.
CoRR
Clemens Kupke, Johannes Marti, Yde Venema
2019 B conf
Coalgebra Learning via Duality.
FoSSaCS
Simone Barlocco, Clemens Kupke, Jurriaan Rot
2019 J jnl
Coalgebra Learning via Duality.
CoRR
Simone Barlocco, Clemens Kupke, Jurriaan Rot
2019 A* conf
Completeness for Game Logic.
LICS
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019 J jnl
Completeness for Game Logic.
CoRR
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2019 — conf
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law.
ACT
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
2019 J jnl
Learning Weighted Automata over Principal Ideal Domains.
CoRR
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2018 J jnl
A compositional treatment of iterated open games.
Theor. Comput. Sci.
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
2018 Misc conf
Angluin Learning via Logic.
LFCS
Simone Barlocco, Clemens Kupke
2018 — conf
Coalgebraic Logics & Duality.
CMCS
Clemens Kupke
2017 J jnl
A Compositional Treatment of Iterated Open Games.
CoRR
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
2017 J jnl
Parity Games and Automata for Game Logic (Extended Version).
CoRR
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2017 — conf
Parity Games and Automata for Game Logic.
DALI@TABLEAUX
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
2017 J jnl
Stream Differential Equations: Specification Formats and Solution Methods.
Log. Methods Comput. Sci.
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
2016 — conf
Games for Topological Fixpoint Logic.
GandALF
Nick Bezhanishvili, Clemens Kupke
2015 — ed.
Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
TbiLLC
Martin Aher, Daniel Hole, Emil Jerábek, Clemens Kupke
2015 B conf
Reasoning with Global Assumptions in Arithmetic Modal Logics.
FCT
Clemens Kupke, Dirk Pattinson, Lutz Schröder
2015 — conf
Weak Completeness of Coalgebraic Dynamic Logics.
FICS
Helle Hvid Hansen, Clemens Kupke
2014 — conf
A Final Coalgebra for k-regular Sequences.
Horizons of the Mind
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
2014 J jnl
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
CoRR
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2014 A* conf
Stable Model Semantics for Guarded Existential Rules and Description Logics.
KR
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2014 — conf
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.
IFIP TCS
Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal
2013 J jnl
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
J. Artif. Intell. Res.
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2013 — conf
Well-Founded Semantics for Extended Datalog and Ontological Reasoning.
Description Logics
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2013 A* conf
Well-founded semantics for extended datalog and ontological reasoning.
PODS
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2012 A* conf
Acyclicity Conditions and their Application to Query Answering in Description Logics.
KR
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2012 J jnl
Completeness for the coalgebraic cover modality
Log. Methods Comput. Sci.
Clemens Kupke, Alexander Kurz, Yde Venema
2012 A* conf
Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
AAAI
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2012 — conf
Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
Description Logics
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2012 C conf
Minimization via Duality.
WoLLIC
Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
2012 — conf
On the Final Coalgebra of Automatic Sequences.
Logic and Program Semantics
Clemens Kupke, Jan J. M. M. Rutten
2011 J jnl
Coalgebraic semantics of modal logics: An overview.
Theor. Comput. Sci.
Clemens Kupke, Dirk Pattinson
2011 J jnl
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Log. Methods Comput. Sci.
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
2010 J jnl
Complete sets of cooperations.
Inf. Comput.
Clemens Kupke, Jan J. M. M. Rutten
2010 A conf
Global Caching for Coalgebraic Description Logics.
IJCAR
Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder
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 J jnl
Preface.
Inf. Comput.
Jirí Adámek, Clemens Kupke
2009 B conf
Characterising Behavioural Equivalence: Three Sides of One Coin.
CALCO
Clemens Kupke, Raul Andres Leal
2009 B conf
EXPTIME Tableaux for the Coalgebraic
CSL
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
2009 J jnl
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Log. Methods Comput. Sci.
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
2009 A* conf
Nominals for Everyone.
IJCAI
Lutz Schröder, Dirk Pattinson, Clemens Kupke
2008 J jnl
Coalgebraic Automata Theory: Basic Results
CoRR
Clemens Kupke, Yde Venema
2008 J jnl
Coalgebraic Automata Theory: Basic Results.
Log. Methods Comput. Sci.
Clemens Kupke, Yde Venema
2008 B conf
Completeness of the finitary Moss logic.
Advances in Modal Logic
Clemens Kupke, Alexander Kurz, Yde Venema
2008 — conf
Observational Coalgebras and Complete Sets of Co-operations.
CMCS
Clemens Kupke, Jan J. M. M. Rutten
2008 — conf
Preface.
CMCS
Jirí Adámek, Clemens Kupke
2008 — ed.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008
CMCS
Jirí Adámek, Clemens Kupke
2007 B conf
Bisimulation for Neighbourhood Structures.
CALCO
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
2007 — conf
Terminal Sequence Induction via Games.
TbiLLC
Clemens Kupke
2005 A* conf
Closure Properties of Coalgebra Automata.
LICS
Clemens Kupke, Yde Venema
2005 B conf
Ultrafilter Extensions for Coalgebras.
CALCO
Clemens Kupke, Alexander Kurz, Dirk Pattinson
2004 — conf
A Coalgebraic Perspective on Monotone Modal Logic.
CMCS
Helle Hvid Hansen, Clemens Kupke
2004 — conf
Algebraic Semantics for Coalgebraic Logics.
CMCS
Clemens Kupke, Alexander Kurz, Dirk Pattinson
2004 J jnl
Stone coalgebras.
Theor. Comput. Sci.
Clemens Kupke, Alexander Kurz, Yde Venema
2003 — conf
Stone Coalgebras.
CMCS
Clemens Kupke, Alexander Kurz, Yde Venema