| 2007 |
|---|
| 31 | EE | Nick Bezhanishvili,
Alexander Kurz:
Free Modal Algebras: A Coalgebraic Perspective.
CALCO 2007: 143-157 |
| 30 | EE | Neil Ghani,
Alexander Kurz:
Higher Dimensional Trees, Algebraically.
CALCO 2007: 226-241 |
| 29 | EE | Alexander Kurz,
Jirí Rosický:
The Goldblatt-Thomason Theorem for Coalgebras.
CALCO 2007: 342-355 |
| 28 | EE | Marcello M. Bonsangue,
Alexander Kurz:
Pi-Calculus in Logical Form.
LICS 2007: 303-312 |
| 2006 |
|---|
| 27 | EE | Marcello M. Bonsangue,
Alexander Kurz:
Presenting Functors by Operations and Equations.
FoSSaCS 2006: 172-186 |
| 26 | EE | Alexander Kurz:
Logic Column 15: Coalgebras and Their Logics
CoRR abs/cs/0605128: (2006) |
| 25 | EE | Alexander Kurz:
Coalgebras and their logics.
SIGACT News 37(2): 57-77 (2006) |
| 2005 |
|---|
| 24 | EE | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Ultrafilter Extensions for Coalgebras.
CALCO 2005: 263-277 |
| 23 | EE | Marcello M. Bonsangue,
Alexander Kurz:
Duality for Logics of Transition Systems.
FoSSaCS 2005: 455-469 |
| 22 | EE | Alexander Kurz,
Jirí Rosický:
Weak Factorizations, Fractions and Homotopies.
Applied Categorical Structures 13(2): 141-160 (2005) |
| 21 | EE | Alexander Kurz,
Jirí Rosický:
Operations and equations for coalgebras.
Mathematical Structures in Computer Science 15(1): 149-166 (2005) |
| 20 | EE | Alexander Kurz,
Dirk Pattinson:
Coalgebraic modal logic of finite rank.
Mathematical Structures in Computer Science 15(3): 453-473 (2005) |
| 2004 |
|---|
| 19 | EE | Thomas T. Hildebrandt,
Alexander Kurz:
Preface.
Electr. Notes Theor. Comput. Sci. 100: 3- (2004) |
| 18 | EE | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Algebraic Semantics for Coalgebraic Logics.
Electr. Notes Theor. Comput. Sci. 106: 219-241 (2004) |
| 17 | EE | Alexander Kurz,
Alessandra Palmigiano:
Coalgebras and Modal Expansions of Logics.
Electr. Notes Theor. Comput. Sci. 106: 243-259 (2004) |
| 16 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone coalgebras.
Theor. Comput. Sci. 327(1-2): 109-134 (2004) |
| 2003 |
|---|
| 15 | EE | Clemens Kupke,
Alexander Kurz,
Yde Venema:
Stone Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 14 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Kurz:
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci. 3(298): 471-510 (2003) |
| 2002 |
|---|
| 13 | EE | Alexander Kurz:
Logics Admitting Final Semantics.
FoSSaCS 2002: 238-249 |
| 12 | EE | Alexander Kurz:
Notions of Behaviour and Reachable-Part and Their Institutions.
WADT 2002: 312-327 |
| 11 | EE | Alexander Kurz,
Dirk Pattinson:
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 10 | EE | Alexander Kurz,
Jirí Rosický:
Modal Predicates and Co-equations.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 9 | EE | Alexander Kurz:
Preface.
Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
| 8 | EE | Alexander Kurz,
Rolf Hennicker:
On institutions for modular coalgebraic specifications.
Theor. Comput. Sci. 280(1-2): 69-103 (2002) |
| 2001 |
|---|
| 7 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Kurz:
On the Duality between Observability and Reachability.
FoSSaCS 2001: 72-87 |
| 6 | EE | Alexander Kurz:
Modal Rules are Co-Implications.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 5 | EE | Alexander Kurz:
Specifying coalgebras with modal logic.
Theor. Comput. Sci. 260(1-2): 119-138 (2001) |
| 2000 |
|---|
| 4 | EE | Alexander Kurz,
Dirk Pattinson:
Notes on Coalgebras, Cofibrations and Concurrency.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1999 |
|---|
| 3 | EE | Rolf Hennicker,
Alexander Kurz:
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 1998 |
|---|
| 2 | | Alexander Kurz:
A Co-Variety-Theorem for Modal Logic.
Advances in Modal Logic 1998: 367-380 |
| 1 | EE | Alexander Kurz:
Specifying Coalgebras with Modal Logic.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
