 | 2009 |
| 17 |  | Clemens Kupke,
Raul Andres Leal:
Characterising Behavioural Equivalence: Three Sides of One Coin.
CALCO 2009: 97-112 |
| 16 |  | Corina Cîrstea,
Clemens Kupke,
Dirk Pattinson:
EXPTIME Tableaux for the Coalgebraic µ-Calculus.
CSL 2009: 179-193 |
| 15 |  | Lutz Schröder,
Dirk Pattinson,
Clemens Kupke:
Nominals for Everyone.
IJCAI 2009: 917-922 |
| 14 |  | Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Logical Methods in Computer Science 5(2): (2009) |
| 2008 |
| 13 |  | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Completeness of the finitary Moss logic.
Advances in Modal Logic 2008: 193-217 |
| 12 |  | Clemens Kupke,
Yde Venema:
Coalgebraic Automata Theory: Basic Results
CoRR abs/0811.1976: (2008) |
| 11 |  | Jirí Adámek,
Clemens Kupke:
Preface.
Electr. Notes Theor. Comput. Sci. 203(5): 1-2 (2008) |
| 10 |  | Clemens Kupke,
Jan J. M. M. Rutten:
Observational Coalgebras and Complete Sets of Co-operations.
Electr. Notes Theor. Comput. Sci. 203(5): 153-174 (2008) |
| 9 |  | Clemens Kupke,
Yde Venema:
Coalgebraic Automata Theory: Basic Results.
Logical Methods in Computer Science 4(4): (2008) |
| 2007 |
| 8 |  | Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit:
Bisimulation for Neighbourhood Structures.
CALCO 2007: 279-293 |
| 7 |  | Clemens Kupke:
Terminal Sequence Induction via Games.
TbiLLC 2007: 257-271 |
| 2005 |
| 6 |  | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Ultrafilter Extensions for Coalgebras.
CALCO 2005: 263-277 |
| 5 |  | Clemens Kupke,
Yde Venema:
Closure Properties of Coalgebra Automata.
LICS 2005: 199-208 |
| 2004 |
| 4 |  | Helle Hvid Hansen,
Clemens Kupke:
A Coalgebraic Perspective on Monotone Modal Logic.
Electr. Notes Theor. Comput. Sci. 106: 121-143 (2004) |
| 3 |  | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Algebraic Semantics for Coalgebraic Logics.
Electr. Notes Theor. Comput. Sci. 106: 219-241 (2004) |
| 2 |  | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone coalgebras.
Theor. Comput. Sci. 327(1-2): 109-134 (2004) |
| 2003 |
| 1 |  | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |