| 2026 | CSL | Constructing Witnesses for Lower Bounds on Behavioural Distances. | Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2025 | CALCO | Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. | Daniel Luckhardt, Harsh Beohar, Clemens Kupke |
| 2025 | LICS | Thin Coalgebraic Behaviours Are Inductive. | Anton Chernev, Corina Crstea, Helle Hvid Hansen, Clemens Kupke |
| 2024 | ICTAC | Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients. | Anton Chernev, Helle Hvid Hansen, Clemens Kupke |
| 2023 | APLAS | A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. | Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters |
| 2023 | CALCO | Forward and Backward Steps in a Fibration. | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
| 2023 | CSL | Measure-Theoretic Semantics for Quantitative Parity Automata. | Corina Crstea, Clemens Kupke |
| 2023 | FOSSACS | Preservation and Reflection of Bisimilarity via Invertible Steps. | Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |
| 2022 | CSL | Succinct Graph Representations of μ-Calculus Formulas. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2022 | LICS | Size measures and alphabetic equivalence in the μ-calculus. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2021 | LICS | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. | Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
| 2020 | CSL | Expressive Logics for Coinductive Predicates. | Clemens Kupke, Jurriaan Rot |
| 2020 | FOSSACS | Learning Weighted Automata over Principal Ideal Domains. | Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva |
| 2019 | FOSSACS | Coalgebra Learning via Duality. | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
| 2019 | LICS | Completeness for Game Logic. | Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2018 | LFCS | Angluin Learning via Logic. | Simone Barlocco, Clemens Kupke |
| 2017 | TABLEAUX | Parity Games and Automata for Game Logic. | Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2015 | FCT | Reasoning with Global Assumptions in Arithmetic Modal Logics. | Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2014 | KR | Stable Model Semantics for Guarded Existential Rules and Description Logics. | Georg Gottlob, Andr Hernich, Clemens Kupke, Thomas Lukasiewicz |
| 2013 | PODS | Well-founded semantics for extended datalog and ontological reasoning. | Andr Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob |
| 2012 | AAAI | Equality-Friendly Well-Founded Semantics and Applications to Description Logics. | Georg Gottlob, Andr Hernich, Clemens Kupke, Thomas Lukasiewicz |
| 2012 | KR | Acyclicity Conditions and their Application to Query Answering in Description Logics. | Bernardo Cuenca Grau, Ian Horrocks, Markus Krtzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| 2012 | WoLLIC | Minimization via Duality. | Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden |
| 2010 | AiML | On Modal Logics of Linear Inequalities. | Clemens Kupke, Dirk Pattinson |
| 2010 | CADE | Global Caching for Coalgebraic Description Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson, Lutz Schrder |
| 2010 | TACAS | Optimal Tableau Algorithms for Coalgebraic Logics. | Rajeev Gor, Clemens Kupke, Dirk Pattinson |
| 2009 | CALCO | Characterising Behavioural Equivalence: Three Sides of One Coin. | Clemens Kupke, Raul Andres Leal |
| 2009 | CSL | EXPTIME Tableaux for the Coalgebraic | Corina Crstea, Clemens Kupke, Dirk Pattinson |
| 2009 | IJCAI | Nominals for Everyone. | Lutz Schrder, Dirk Pattinson, Clemens Kupke |
| 2008 | AiML | Completeness of the finitary Moss logic. | Clemens Kupke, Alexander Kurz, Yde Venema |
| 2007 | CALCO | Bisimulation for Neighbourhood Structures. | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
| 2005 | CALCO | Ultrafilter Extensions for Coalgebras. | Clemens Kupke, Alexander Kurz, Dirk Pattinson |
| 2005 | LICS | Closure Properties of Coalgebra Automata. | Clemens Kupke, Yde Venema |