 | 2009 |
|---|
| 46 |       | Corina Cîrstea,
Clemens Kupke,
Dirk Pattinson:
EXPTIME Tableaux for the Coalgebraic µ-Calculus.
CSL 2009: 179-193 |
| 45 | | Rob Myers,
Dirk Pattinson,
Lutz Schröder:
Coalgebraic Hybrid Logic.
FOSSACS 2009: 137-151 |
| 44 | | Lutz Schröder,
Dirk Pattinson,
Clemens Kupke:
Nominals for Everyone.
IJCAI 2009: 917-922 |
| 43 | | Lutz Schröder,
Dirk Pattinson:
Strong Completeness of Coalgebraic Modal Logics.
STACS 2009: 673-684 |
| 42 | | Dirk Pattinson,
Lutz Schröder:
Generic Modal Cut Elimination Applied to Conditional Logics.
TABLEAUX 2009: 280-294 |
| 41 | | Lutz Schröder,
Dirk Pattinson:
PSPACE bounds for rank-1 modal logics.
ACM Trans. Comput. Log. 10(2): (2009) |
| 40 | | Lutz Schröder,
Dirk Pattinson:
Strong Completeness of Coalgebraic Modal Logics
CoRR abs/0902.2072: (2009) |
| 39 | | Georgel Calin,
Rob Myers,
Dirk Pattinson,
Lutz Schröder:
CoLoSS: The Coalgebraic Logic Satisfiability Solver.
Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009) |
| 38 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Representations of Stream Processors Using Nested Fixed Points
Logical Methods in Computer Science 5(3): (2009) |
| 2008 |
|---|
| 37 | | Corina Cîrstea,
Alexander Kurz,
Dirk Pattinson,
Lutz Schröder,
Yde Venema:
Modal Logics are Coalgebraic.
BCS Int. Acad. Conf. 2008: 128-140 |
| 36 | | Dirk Pattinson,
Lutz Schröder:
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.
FoSSaCS 2008: 66-80 |
| 35 | | Lutz Schröder,
Dirk Pattinson:
Shallow Models for Non-iterative Modal Logics.
KI 2008: 324-331 |
| 34 |  | Lutz Schröder,
Dirk Pattinson:
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics.
KR 2008: 307-317 |
| 33 | | Lutz Schröder,
Dirk Pattinson:
The craft of model making: PSPACE bounds for non-iterative modal logics
CoRR abs/0802.0116: (2008) |
| 32 | | Dirk Pattinson,
Lutz Schröder:
Admissibility of Cut in Coalgebraic Logics.
Electr. Notes Theor. Comput. Sci. 203(5): 221-241 (2008) |
| 31 | | Josef Berger,
Dirk Pattinson,
Peter Schuster,
Júlia Zappe:
Editorial: Math. Log. Quart. 1/2008.
Math. Log. Q. 54(1): 4 (2008) |
| 2007 |
|---|
| 30 | | Lutz Schröder,
Dirk Pattinson:
Modular Algorithms for Heterogeneous Modal Logics.
ICALP 2007: 459-471 |
| 29 | | Lutz Schröder,
Dirk Pattinson:
Rank-1 Modal Logics Are Coalgebraic.
STACS 2007: 573-585 |
| 28 | | Lutz Schröder,
Dirk Pattinson:
PSPACE Bounds for Rank-1 Modal Logics
CoRR abs/0706.4044: (2007) |
| 27 | | Abbas Edalat,
Dirk Pattinson:
Denotational semantics of hybrid automata.
J. Log. Algebr. Program. 73(1-2): 3-21 (2007) |
| 26 | | Corina Cîrstea,
Dirk Pattinson:
Modular construction of complete coalgebraic logics.
Theor. Comput. Sci. 388(1-3): 83-108 (2007) |
| 2006 |
|---|
| 25 | | Abbas Edalat,
Dirk Pattinson:
Denotational Semantics of Hybrid Automata.
FoSSaCS 2006: 231-245 |
| 24 | | Lutz Schröder,
Dirk Pattinson:
PSPACE Bounds for Rank-1 Modal Logics.
LICS 2006: 231-242 |
| 23 | | Abbas Edalat,
Dirk Pattinson:
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields.
Electr. Notes Theor. Comput. Sci. 155: 565-581 (2006) |
| 22 | | Neil Ghani,
Peter Hancock,
Dirk Pattinson:
Continuous Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 164(1): 141-155 (2006) |
| 2005 |
|---|
| 21 | | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Ultrafilter Extensions for Coalgebras.
CALCO 2005: 263-277 |
| 20 | | Dirk Pattinson:
Domain-Theoretic Formulation of Linear Boundary Value Problems.
CiE 2005: 385-395 |
| 19 | | Abbas Edalat,
André Lieutier,
Dirk Pattinson:
A Computational Model for Multi-variable Differential Calculus.
FoSSaCS 2005: 505-519 |
| 18 | | Dirk Pattinson,
Bernhard Reus:
A Complete Temporal and Spatial Logic for Distributed Systems.
FroCos 2005: 122-137 |
| 17 | | Abbas Edalat,
Dirk Pattinson:
Inverse and Implicit Functions in Domain Theory.
LICS 2005: 417-426 |
| 16 | | Alexander Kurz,
Dirk Pattinson:
Coalgebraic modal logic of finite rank.
Mathematical Structures in Computer Science 15(3): 453-473 (2005) |
| 15 | | Dirk Pattinson,
Martin Wirsing:
A coordination approach to mobile components.
Theor. Comput. Sci. 331(2-3): 457-483 (2005) |
| 2004 |
|---|
| 14 | | Corina Cîrstea,
Dirk Pattinson:
Modular Construction of Modal Logics.
CONCUR 2004: 258-275 |
| 13 | | Abbas Edalat,
Dirk Pattinson:
A Domain Theoretic Account of Picard's Theorem.
ICALP 2004: 494-505 |
| 12 | | Abbas Edalat,
Dirk Pattinson:
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems.
PARA 2004: 112-121 |
| 11 | | Clemens Kupke,
Alexander Kurz,
Dirk Pattinson:
Algebraic Semantics for Coalgebraic Logics.
Electr. Notes Theor. Comput. Sci. 106: 219-241 (2004) |
| 2003 |
|---|
| 10 | | Martin Wirsing,
Dirk Pattinson,
Rolf Hennicker:
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Springer 2003 |
| 9 | | Dirk Pattinson:
Computable Functions on Final Coalgebras.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 8 | | Dirk Pattinson:
Coalgebraic modal logic: soundness, completeness and decidability of local consequence.
Theor. Comput. Sci. 309(1-3): 177-193 (2003) |
| 2002 |
|---|
| 7 | | Dirk Pattinson,
Martin Wirsing:
Making Components Move: A Separation of Concerns Approach.
FMCO 2002: 487-507 |
| 6 | | Dirk Pattinson:
Translating Logics for Coalgebras.
WADT 2002: 393-408 |
| 5 | | Alexander Kurz,
Dirk Pattinson:
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 2001 |
|---|
| 4 | | Dirk Pattinson:
Semantical Principles in the Modal Logic of Coalgebras.
STACS 2001: 514-526 |
| 3 | | Dirk Pattinson:
Modal Languages for Coalgebras in a Topological Setting.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 2000 |
|---|
| 2 | | Alexander Kurz,
Dirk Pattinson:
Notes on Coalgebras, Cofibrations and Concurrency.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1 | | Dirk Pattinson:
Modal Logic for Rewriting Theories.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
