The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dirk Pattinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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. Dirk Pattinson
    Domain-Theoretic Formulation of Linear Boundary Value Problems. [Citation Graph (0, 0)][DBLP]
    CiE, 2005, pp:385-395 [Conf]
  3. Corina Cîrstea, Dirk Pattinson
    Modular Construction of Modal Logics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:258-275 [Conf]
  4. Dirk Pattinson, Martin Wirsing
    Making Components Move: A Separation of Concerns Approach. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:487-507 [Conf]
  5. Abbas Edalat, André Lieutier, Dirk Pattinson
    A Computational Model for Multi-variable Differential Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:505-519 [Conf]
  6. Abbas Edalat, Dirk Pattinson
    Denotational Semantics of Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:231-245 [Conf]
  7. Dirk Pattinson, Bernhard Reus
    A Complete Temporal and Spatial Logic for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:122-137 [Conf]
  8. Abbas Edalat, Dirk Pattinson
    A Domain Theoretic Account of Picard's Theorem. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:494-505 [Conf]
  9. Abbas Edalat, Dirk Pattinson
    Inverse and Implicit Functions in Domain Theory. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:417-426 [Conf]
  10. Lutz Schröder, Dirk Pattinson
    PSPACE Bounds for Rank-1 Modal Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:231-242 [Conf]
  11. Abbas Edalat, Dirk Pattinson
    A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. [Citation Graph (0, 0)][DBLP]
    PARA, 2004, pp:112-121 [Conf]
  12. Dirk Pattinson
    Semantical Principles in the Modal Logic of Coalgebras. [Citation Graph (0, 0)][DBLP]
    STACS, 2001, pp:514-526 [Conf]
  13. Lutz Schröder, Dirk Pattinson
    Rank-1 Modal Logics Are Coalgebraic. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:573-585 [Conf]
  14. Dirk Pattinson
    Translating Logics for Coalgebras. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:393-408 [Conf]
  15. Abbas Edalat, Dirk Pattinson
    Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:565-581 [Journal]
  16. 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]
  17. 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]
  18. 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]
  19. Dirk Pattinson
    Modal Logic for Rewriting Theories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  20. Dirk Pattinson
    Modal Languages for Coalgebras in a Topological Setting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  21. Dirk Pattinson
    Computable Functions on Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  22. Neil Ghani, Peter Hancock, Dirk Pattinson
    Continuous Functions on Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:141-155 [Journal]
  23. 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]
  24. Dirk Pattinson
    Coalgebraic modal logic: soundness, completeness and decidability of local consequence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:309, n:1-3, pp:177-193 [Journal]
  25. Dirk Pattinson, Martin Wirsing
    A coordination approach to mobile components. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:457-483 [Journal]
  26. Lutz Schröder, Dirk Pattinson
    Modular Algorithms for Heterogeneous Modal Logics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:459-471 [Conf]
  27. Lutz Schröder, Dirk Pattinson
    PSPACE Bounds for Rank-1 Modal Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  28. Abbas Edalat, Dirk Pattinson
    Denotational semantics of hybrid automata. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:3-21 [Journal]

  29. Global Caching for Coalgebraic Description Logics. [Citation Graph (, )][DBLP]


  30. EXPTIME Tableaux for the Coalgebraic µ-Calculus. [Citation Graph (, )][DBLP]


  31. Optimal Tableaux for Conditional Logics with Cautious Monotonicity. [Citation Graph (, )][DBLP]


  32. Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. [Citation Graph (, )][DBLP]


  33. Coalgebraic Hybrid Logic. [Citation Graph (, )][DBLP]


  34. Coalgebraic Correspondence Theory. [Citation Graph (, )][DBLP]


  35. Nominals for Everyone. [Citation Graph (, )][DBLP]


  36. Shallow Models for Non-iterative Modal Logics. [Citation Graph (, )][DBLP]


  37. How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. [Citation Graph (, )][DBLP]


  38. Strong Completeness of Coalgebraic Modal Logics. [Citation Graph (, )][DBLP]


  39. Named Models in Coalgebraic Hybrid Logic. [Citation Graph (, )][DBLP]


  40. Generic Modal Cut Elimination Applied to Conditional Logics. [Citation Graph (, )][DBLP]


  41. Optimal Tableau Algorithms for Coalgebraic Logics. [Citation Graph (, )][DBLP]


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


  43. The craft of model making: PSPACE bounds for non-iterative modal logics [Citation Graph (, )][DBLP]


  44. Strong Completeness of Coalgebraic Modal Logics [Citation Graph (, )][DBLP]


  45. Representations of Stream Processors Using Nested Fixed Points [Citation Graph (, )][DBLP]


  46. Named Models in Coalgebraic Hybrid Logic [Citation Graph (, )][DBLP]


  47. Admissibility of Cut in Coalgebraic Logics. [Citation Graph (, )][DBLP]


  48. CoLoSS: The Coalgebraic Logic Satisfiability Solver. [Citation Graph (, )][DBLP]


  49. Continuous Functions on Final Coalgebras. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.031secs
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