default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClemens Kupke
Person information
- affiliation: University of Strathclyde, Glasgow, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c48]Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg:
A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS 2024: 23-43- [c47]Ruben Turkenburg
, Harsh Beohar, Clemens Kupke, Jurriaan Rot:
Proving Behavioural Apartness. CMCS 2024: 156-173 - [i17]Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot:
Proving Behavioural Apartness. CoRR abs/2404.16588 (2024) - [i16]Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg:
A Categorical Approach to Coalgebraic Fixpoint Logic. CoRR abs/2405.00237 (2024) - [i15]Anton Chernev, Helle Hvid Hansen, Clemens Kupke:
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. CoRR abs/2407.14115 (2024) - 2023
- [c46]Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters:
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. APLAS 2023: 135-154 - [c45]Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot:
Forward and Backward Steps in a Fibration. CALCO 2023: 6:1-6:18 - [c44]Corina Cîrstea, Clemens Kupke:
Measure-Theoretic Semantics for Quantitative Parity Automata. CSL 2023: 14:1-14:20 - [c43]Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen:
Preservation and Reflection of Bisimilarity via Invertible Steps. FoSSaCS 2023: 328-348 - [i14]Ezra Schoen, Jade Master, Clemens Kupke:
Beyond Initial Algebras and Final Coalgebras. CoRR abs/2303.02065 (2023) - [i13]Ezra Schoen, Jade Master, Clemens Kupke:
Relative fixed points of functors. CoRR abs/2310.03445 (2023) - 2022
- [j14]Clemens Kupke, Dirk Pattinson, Lutz Schröder:
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log. 23(2): 11:1-11:34 (2022) - [c42]Clemens Kupke, Johannes Marti, Yde Venema:
Succinct Graph Representations of μ-Calculus Formulas. CSL 2022: 29:1-29:18 - [c41]Clemens Kupke, Johannes Marti, Yde Venema:
Size measures and alphabetic equivalence in the μ-calculus. LICS 2022: 18:1-18:13 - 2021
- [j13]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): 35:1-35:87 (2021) - [j12]Clemens Kupke, Jurriaan Rot:
Expressive Logics for Coinductive Predicates. Log. Methods Comput. Sci. 17(4) (2021) - [c40]Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo:
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS 2021: 1-14 - [c39]Clemens Kupke, Johannes Marti, Yde Venema:
On the size of disjunctive formulas in the μ-calculus. GandALF 2021: 291-307 - [i12]Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo:
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR abs/2105.10164 (2021) - 2020
- [c38]Clemens Kupke, Jurriaan Rot:
Expressive Logics for Coinductive Predicates. CSL 2020: 26:1-26:18 - [c37]Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva:
Learning Weighted Automata over Principal Ideal Domains. FoSSaCS 2020: 602-621 - [c36]Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg:
Compositional Game Theory, Compositionally. ACT 2020: 198-214 - [i11]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020) - [i10]Clemens Kupke, Jurriaan Rot:
Expressive Logics for Coinductive Predicates. CoRR abs/2006.12465 (2020) - [i9]Clemens Kupke, Dirk Pattinson, Lutz Schröder:
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. CoRR abs/2009.00971 (2020) - [i8]Clemens Kupke, Johannes Marti, Yde Venema:
Size matters in the modal μ-calculus. CoRR abs/2010.14430 (2020)
2010 – 2019
- 2019
- [c35]Simone Barlocco, Clemens Kupke, Jurriaan Rot:
Coalgebra Learning via Duality. FoSSaCS 2019: 62-79 - [c34]Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. LICS 2019: 1-13 - [c33]Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. ACT 2019: 95-105 - [i7]Simone Barlocco, Clemens Kupke, Jurriaan Rot:
Coalgebra Learning via Duality. CoRR abs/1902.05762 (2019) - [i6]Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. CoRR abs/1904.07691 (2019) - [i5]Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva:
Learning Weighted Automata over Principal Ideal Domains. CoRR abs/1911.04404 (2019) - 2018
- [j11]Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
A compositional treatment of iterated open games. Theor. Comput. Sci. 741: 48-57 (2018) - [c32]Clemens Kupke:
Coalgebraic Logics & Duality. CMCS 2018: 6-12 - [c31]Simone Barlocco, Clemens Kupke:
Angluin Learning via Logic. LFCS 2018: 72-90 - 2017
- [j10]Helle Hvid Hansen, Clemens Kupke, Jan Rutten:
Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. 13(1) (2017) - [c30]Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic. DALI@TABLEAUX 2017: 115-132 - [i4]Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic (Extended Version). CoRR abs/1709.00777 (2017) - [i3]Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
A Compositional Treatment of Iterated Open Games. CoRR abs/1711.07968 (2017) - 2016
- [c29]Nick Bezhanishvili, Clemens Kupke:
Games for Topological Fixpoint Logic. GandALF 2016: 46-60 - 2015
- [c28]Clemens Kupke, Dirk Pattinson, Lutz Schröder:
Reasoning with Global Assumptions in Arithmetic Modal Logics. FCT 2015: 367-380 - [c27]Helle Hvid Hansen, Clemens Kupke:
Weak Completeness of Coalgebraic Dynamic Logics. FICS 2015: 90-104 - [e2]Martin Aher, Daniel Hole, Emil Jerábek, Clemens Kupke:
Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8984, Springer 2015, ISBN 978-3-662-46905-7 [contents] - 2014
- [c26]Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter:
A Final Coalgebra for k-regular Sequences. Horizons of the Mind 2014: 363-383 - [c25]Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal:
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS 2014: 281-295 - [c24]Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz:
Stable Model Semantics for Guarded Existential Rules and Description Logics. KR 2014 - [i2]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 abs/1406.4110 (2014) - 2013
- [j9]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: 741-808 (2013) - [c23]André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob:
Well-Founded Semantics for Extended Datalog and Ontological Reasoning. Description Logics 2013: 209-220 - [c22]André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob:
Well-founded semantics for extended datalog and ontological reasoning. PODS 2013: 225-236 - 2012
- [j8]Clemens Kupke, Alexander Kurz, Yde Venema:
Completeness for the coalgebraic cover modality. Log. Methods Comput. Sci. 8(3) (2012) - [c21]Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz:
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. AAAI 2012: 757-764 - [c20]Clemens Kupke, Jan J. M. M. Rutten:
On the Final Coalgebra of Automatic Sequences. Logic and Program Semantics 2012: 149-164 - [c19]Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz:
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Description Logics 2012 - [c18]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 - [c17]Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden:
Minimization via Duality. WoLLIC 2012: 191-205 - 2011
- [j7]Corina Cîrstea, Clemens Kupke, Dirk Pattinson:
EXPTIME Tableaux for the Coalgebraic mu-Calculus. Log. Methods Comput. Sci. 7(3) (2011) - [j6]Clemens Kupke, Dirk Pattinson:
Coalgebraic semantics of modal logics: An overview. Theor. Comput. Sci. 412(38): 5070-5094 (2011) - 2010
- [j5]Jirí Adámek, Clemens Kupke:
Preface. Inf. Comput. 208(12): 1305 (2010) - [j4]Clemens Kupke, Jan J. M. M. Rutten:
Complete sets of cooperations. Inf. Comput. 208(12): 1398-1420 (2010) - [c16]Clemens Kupke, Dirk Pattinson:
On Modal Logics of Linear Inequalities. Advances in Modal Logic 2010: 235-255 - [c15]Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder:
Global Caching for Coalgebraic Description Logics. IJCAR 2010: 46-60 - [c14]Rajeev Goré, Clemens Kupke, Dirk Pattinson:
Optimal Tableau Algorithms for Coalgebraic Logics. TACAS 2010: 114-128
2000 – 2009
- 2009
- [j3]Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory. Log. Methods Comput. Sci. 5(2) (2009) - [c13]Clemens Kupke, Raul Andres Leal:
Characterising Behavioural Equivalence: Three Sides of One Coin. CALCO 2009: 97-112 - [c12]Corina Cîrstea, Clemens Kupke, Dirk Pattinson:
EXPTIME Tableaux for the Coalgebraic µ-Calculus. CSL 2009: 179-193 - [c11]Lutz Schröder, Dirk Pattinson, Clemens Kupke:
Nominals for Everyone. IJCAI 2009: 917-922 - 2008
- [j2]Clemens Kupke, Yde Venema:
Coalgebraic Automata Theory: Basic Results. Log. Methods Comput. Sci. 4(4) (2008) - [c10]Clemens Kupke, Alexander Kurz, Yde Venema:
Completeness of the finitary Moss logic. Advances in Modal Logic 2008: 193-217 - [c9]Jirí Adámek, Clemens Kupke:
Preface. CMCS 2008: 1-2 - [c8]Clemens Kupke, Jan J. M. M. Rutten:
Observational Coalgebras and Complete Sets of Co-operations. CMCS 2008: 153-174 - [e1]Jirí Adámek, Clemens Kupke:
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008. Electronic Notes in Theoretical Computer Science 203(5), Elsevier 2008 [contents] - [i1]Clemens Kupke, Yde Venema:
Coalgebraic Automata Theory: Basic Results. CoRR abs/0811.1976 (2008) - 2007
- [c7]Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293 - [c6]Clemens Kupke:
Terminal Sequence Induction via Games. TbiLLC 2007: 257-271 - 2005
- [c5]Clemens Kupke, Alexander Kurz, Dirk Pattinson:
Ultrafilter Extensions for Coalgebras. CALCO 2005: 263-277 - [c4]Clemens Kupke, Yde Venema:
Closure Properties of Coalgebra Automata. LICS 2005: 199-208 - 2004
- [j1]Clemens Kupke, Alexander Kurz, Yde Venema:
Stone coalgebras. Theor. Comput. Sci. 327(1-2): 109-134 (2004) - [c3]Helle Hvid Hansen, Clemens Kupke:
A Coalgebraic Perspective on Monotone Modal Logic. CMCS 2004: 121-143 - [c2]Clemens Kupke, Alexander Kurz, Dirk Pattinson:
Algebraic Semantics for Coalgebraic Logics. CMCS 2004: 219-241 - 2003
- [c1]Clemens Kupke, Alexander Kurz, Yde Venema:
Stone Coalgebras. CMCS 2003: 170-190
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
