Clemens Kupke
Conference Papers
- C. Kupke and D. Pattinson.
On Modal Logics of Linear Inequalities.
In Proceedings of AiML 2010.
- R. Goré, Clemens Kupke, D. Pattinson and L. Schröder.
Global Caching for Coalgebraic Description Logics.
In J. Giesl and R. Hähnle (Eds.): IJCAR 2010, LNCS 6173,
pp. 46-60, 2010.
- R. Goré, Clemens Kupke and D. Pattinson.
Optimal Tableau Algorithms for Coalgebraic Logics.
In J. Esparza and R. Majumdar (Eds.): TACAS 2010, LNCS 6015,
pp. 114-128, 2010.
- C. Kupke and R. Leal. Characterising Behavioural Equivalence: Three Sides of One Coin. In A. Kurz, M. Lenisa and A. Tarlecki (Eds.):CALCO 2009, LNCS 5728, pp. 97-112, 2009.
- L. Schröder, D. Pattinson and C. Kupke. Nominals for Everyone. In Craig Boutilier (Ed.), International Joint Conferences on Artificial Intelligence (IJCAI 2009). AAAI Press, Menlo Park, CA.
- C. Kupke. Terminal sequence induction via games. Proceedings of the 7th International Tbilisi Symposium on Language, Logic and Computation, LNCS 5422, 2009.
- C. Kupke, A. Kurz and Y. Venema. Completeness of the finitary Moss logic. Proceedings of AIML 2008.
- C. Kupke and J. Rutten. Observational Coalgebras and Complete Sets of Co-operations Electronic
Notes in Theoretical Computer Science 203, 2008.
- H. H. Hansen, C. Kupke and E. Pacuit. Bisimulations for Neighbourhood Structures, CALCO 2007. For the technical report version, click
here.
- C. Kupke, A. Kurz and D. Pattinson.
Ultrafilter extensions for
coalgebras , CALCO 2005.
- C. Kupke and Y. Venema.
Closure properties of coalgebra
automata, LICS 2005.
- H. H. Hansen and C. Kupke.
A coalgebraic perspetive on
monotone modal logic, Electronic
Notes in Theoretical Computer Science 106, 2004.
- C. Kupke, A. Kurz and D. Pattinson.
Algebraic Semantics of
Coalgebraic Modal Logic, Electronic
Notes in Theoretical Computer Science 106, 2004.
- C. Kupke, A. Kurz and Y. Venema.
Stone Coalgebras, Electronic
Notes in Theoretical Computer Science 82(1), 2003.
For the extended technical report version, click
here.
Journal Papers
- C. Kupke and J. Rutten. Complete sets of cooperations. Information and Computation, Article in Press, 2010.
- H.H. Hansen, C. Kupke and E. Pacuit. Neighbourhood Structures: Bisimilarity and Basic Model Theory. Logical Methods in Computer Science, 5(2), 2009.
- C. Kupke and Y. Venema. Coalgebraic automata theory: basic results. Logical Methods in Computer Science, 4(4), 2008.
- C. Kupke, A. Kurz and Y. Venema.
Stone Coalgebras. Theoretical Computer Science 327(1-2), p.109-134, 2004.
PhD Thesis
Edited Volumes
Other Publications
ckupkeeee@doc.ic.ac.uk (one e is enough)