Clemens Kupke Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Jirí Adámek [11]
2Corina Cîrstea [16]
3Helle Hvid Hansen [4] [8] [14]
4Alexander Kurz [1] [2] [3] [6] [13]
5Raul Andres Leal [17]
6Eric Pacuit [8] [14]
7Dirk Pattinson [3] [6] [15] [16]
8Jan J. M. M. Rutten [10]
9Lutz Schröder [15]
10Yde Venema [1] [2] [5] [9] [12] [13]

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)