Search the dblp DataBase

Publications of Author

1. Clemens Kupke, Alexander Kurz, Dirk Pattinson
   Ultrafilter Extensions for Coalgebras. [Citation Graph (0, 0)][DBLP]
   CALCO, 2005, pp:263-277 [Conf]
   
2. Clemens Kupke, Yde Venema
   Closure Properties of Coalgebra Automata. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:199-208 [Conf]
   
3. Helle Hvid Hansen, Clemens Kupke
   A Coalgebraic Perspective on Monotone Modal Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:121-143 [Journal]
   
4. Clemens Kupke, Alexander Kurz, Dirk Pattinson
   Algebraic Semantics for Coalgebraic Logics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:219-241 [Journal]
   
5. Clemens Kupke, Alexander Kurz, Yde Venema
   Stone Coalgebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
6. Clemens Kupke, Alexander Kurz, Yde Venema
   Stone coalgebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:109-134 [Journal]
   
7. Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
   Bisimulation for Neighbourhood Structures. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:279-293 [Conf]
   
8. 
   Completeness of the finitary Moss logic. [Citation Graph (, )][DBLP]
   
   
9. 
   Global Caching for Coalgebraic Description Logics. [Citation Graph (, )][DBLP]
   
   
10. 
    Characterising Behavioural Equivalence: Three Sides of One Coin. [Citation Graph (, )][DBLP]
    
    
11. 
    EXPTIME Tableaux for the Coalgebraic µ-Calculus. [Citation Graph (, )][DBLP]
    
    
12. 
    Nominals for Everyone. [Citation Graph (, )][DBLP]
    
    
13. 
    Optimal Tableau Algorithms for Coalgebraic Logics. [Citation Graph (, )][DBLP]
    
    
14. 
    Terminal Sequence Induction via Games. [Citation Graph (, )][DBLP]
    
    
15. 
    Coalgebraic Automata Theory: Basic Results [Citation Graph (, )][DBLP]
    
    
16. 
    Neighbourhood Structures: Bisimilarity and Basic Model Theory [Citation Graph (, )][DBLP]
    
    
17. 
    Observational Coalgebras and Complete Sets of Co-operations. [Citation Graph (, )][DBLP]
    
    
18. 
    Preface. [Citation Graph (, )][DBLP]