| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | William Snell, Dirk Pattinson, Florian Widmann |
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description).  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Dirk Pattinson |
Coalgebraic semantics of modal logics: An overview. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Faris Abou-Saleh, Dirk Pattinson |
Towards Effects in Mathematical Operational Semantics. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema |
Modal Logics are Coalgebraic. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Clemens Kupke, Dirk Pattinson |
EXPTIME Tableaux for the Coalgebraic mu-Calculus |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Generic Modal Cut Elimination Applied to Conditional Logics |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Description Logics and Fuzzy Probability. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Björn Lellmann, Dirk Pattinson |
Cut Elimination for Shallow Modal Logics. |
TABLEAUX |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Dirk Pattinson |
On the Fusion of Coalgebraic Logics. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Cut elimination in coalgebraic logics. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Rank-1 Modal Logics are Coalgebraic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. R. Myers, Dirk Pattinson |
Hybrid logic with the difference modality for generalisations of graphs. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Named Models in Coalgebraic Hybrid Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Clemens Kupke, Dirk Pattinson |
On Modal Logics of Linear Inequalities. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder |
Global Caching for Coalgebraic Description Logics. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson, Daniel Hausmann |
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Clemens Kupke, Dirk Pattinson |
Optimal Tableau Algorithms for Coalgebraic Logics. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Named Models in Coalgebraic Hybrid Logic. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Coalgebraic Correspondence Theory. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Ghani, Peter Hancock, Dirk Pattinson |
Continuous Functions on Final Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder |
CoLoSS: The Coalgebraic Logic Satisfiability Solver. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Strong Completeness of Coalgebraic Modal Logics |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Neil Ghani, Peter Hancock, Dirk Pattinson |
Representations of Stream Processors Using Nested Fixed Points |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
PSPACE bounds for rank-1 modal logics. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Shallow models, resolution, coalgebra |
| 1 | Lutz Schröder, Dirk Pattinson, Clemens Kupke |
Nominals for Everyone. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Strong Completeness of Coalgebraic Modal Logics. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Generic Modal Cut Elimination Applied to Conditional Logics. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Clemens Kupke, Dirk Pattinson |
EXPTIME Tableaux for the Coalgebraic µ-Calculus. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. R. Myers, Dirk Pattinson, Lutz Schröder |
Coalgebraic Hybrid Logic. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe |
Editorial: Math. Log. Quart. 1/2008. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Admissibility of Cut in Coalgebraic Logics. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
The craft of model making: PSPACE bounds for non-iterative modal logics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema |
Modal Logics are Coalgebraic. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Shallow Models for Non-iterative Modal Logics. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Lutz Schröder |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, Dirk Pattinson |
Denotational semantics of hybrid automata. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Dirk Pattinson |
Modular construction of complete coalgebraic logics. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
PSPACE Bounds for Rank-1 Modal Logics |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Modular Algorithms for Heterogeneous Modal Logics. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
Rank-1 Modal Logics Are Coalgebraic. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, Dirk Pattinson |
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Ghani, Peter Hancock, Dirk Pattinson |
Continuous Functions on Final Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Dirk Pattinson |
PSPACE Bounds for Rank-1 Modal Logics. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, Dirk Pattinson |
Denotational Semantics of Hybrid Automata. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Martin Wirsing |
A coordination approach to mobile components. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz, Dirk Pattinson |
Coalgebraic modal logic of finite rank. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Bernhard Reus |
A Complete Temporal and Spatial Logic for Distributed Systems. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, Dirk Pattinson |
Inverse and Implicit Functions in Domain Theory. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Alexander Kurz, Dirk Pattinson |
Ultrafilter Extensions for Coalgebras. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, André Lieutier, Dirk Pattinson |
A Computational Model for Multi-variable Differential Calculus. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Domain-Theoretic Formulation of Linear Boundary Value Problems. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Expressive Logics for Coalgebras via Terminal Sequence Induction. |
Notre Dame Journal of Formal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Clemens Kupke, Alexander Kurz, Dirk Pattinson |
Algebraic Semantics for Coalgebraic Logics. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Dirk Pattinson |
Modular Construction of Modal Logics. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, Dirk Pattinson |
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Edalat, Dirk Pattinson |
A Domain Theoretic Account of Picard's Theorem. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Coalgebraic modal logic: soundness, completeness and decidability of local consequence. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Computable Functions on Final Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) |
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers |
WADT |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Kurz, Dirk Pattinson |
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson, Martin Wirsing |
Making Components Move: A Separation of Concerns Approach. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Translating Logics for Coalgebras. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Modal Languages for Coalgebras in a Topological Setting. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Semantical Principles in the Modal Logic of Coalgebras. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kurz, Dirk Pattinson |
Notes on Coalgebras, Cofibrations and Concurrency. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Pattinson |
Modal Logic for Rewriting Theories. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")