| 2009 |
|---|
| 13 | EE | Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory
CoRR abs/0901.4430: (2009) |
| 2008 |
|---|
| 12 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Completeness of the finitary Moss logic.
Advances in Modal Logic 2008: 193-217 |
| 11 | EE | Clemens Kupke,
Yde Venema:
Coalgebraic Automata Theory: Basic Results
CoRR abs/0811.1976: (2008) |
| 10 | EE | Jirí Adámek,
Clemens Kupke:
Preface.
Electr. Notes Theor. Comput. Sci. 203(5): 1-2 (2008) |
| 9 | EE | 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) |
| 2007 |
|---|
| 8 | EE | Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit:
Bisimulation for Neighbourhood Structures.
CALCO 2007: 279-293 |
| 7 | EE | Clemens Kupke:
Terminal Sequence Induction via Games.
TbiLLC 2007: 257-271 |
| 2005 |
|---|
| 6 | EE | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Ultrafilter Extensions for Coalgebras.
CALCO 2005: 263-277 |
| 5 | EE | Clemens Kupke,
Yde Venema:
Closure Properties of Coalgebra Automata.
LICS 2005: 199-208 |
| 2004 |
|---|
| 4 | EE | Helle Hvid Hansen,
Clemens Kupke:
A Coalgebraic Perspective on Monotone Modal Logic.
Electr. Notes Theor. Comput. Sci. 106: 121-143 (2004) |
| 3 | EE | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Algebraic Semantics for Coalgebraic Logics.
Electr. Notes Theor. Comput. Sci. 106: 219-241 (2004) |
| 2 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone coalgebras.
Theor. Comput. Sci. 327(1-2): 109-134 (2004) |
| 2003 |
|---|
| 1 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
