The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Kurz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  31. Completeness of the finitary Moss logic. [Citation Graph (, )][DBLP]


  32. Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP]


  33. Algebraic Theories over Nominal Sets [Citation Graph (, )][DBLP]


  34. Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. [Citation Graph (, )][DBLP]


  35. Equational Coalgebraic Logic. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002