| |
| 2009 | ||
|---|---|---|
| 6 | EE | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Neighbourhood Structures: Bisimilarity and Basic Model Theory CoRR abs/0901.4430: (2009) |
| 2008 | ||
| 5 | EE | Helle Hvid Hansen: Coalgebraising Subsequential Transducers. Electr. Notes Theor. Comput. Sci. 203(5): 109-129 (2008) |
| 2007 | ||
| 4 | EE | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit: Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293 |
| 2006 | ||
| 3 | EE | Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten: Synthesis of Mealy Machines Using Derivatives. Electr. Notes Theor. Comput. Sci. 164(1): 27-45 (2006) |
| 2004 | ||
| 2 | EE | Helle Hvid Hansen, Clemens Kupke: A Coalgebraic Perspective on Monotone Modal Logic. Electr. Notes Theor. Comput. Sci. 106: 121-143 (2004) |
| 2002 | ||
| 1 | EE | Helle Hvid Hansen, Marc Pauly: Axiomatising Nash-Consistent Coalition Logic. JELIA 2002: 394-406 |
| 1 | David Costa | [3] |
| 2 | Clemens Kupke | [2] [4] [6] |
| 3 | Eric Pacuit | [4] [6] |
| 4 | Marc Pauly | [1] |
| 5 | Jan J. M. M. Rutten | [3] |