BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Denmark
1 × Finland
1 × Hungary
1 × Italy
1 × Poland
1 × Portugal
2 × Austria
2 × Cyprus
3 × USA
4 × United Kingdom
Collaborated with:
L.Schröder A.Edalat C.Kupke R.Goré S.Goncharov F.Abou-Saleh F.Dahlqvist C.Nalon C.Cîrstea R.S.R.Myers A.Lieutier T.Litak K.Sano D.Gorín F.Widmann T.Wißmann
Talks about:
logic (13) coalgebra (10) calculus (3) theori (3) semant (3) hybrid (3) modal (3) algorithm (2) descript (2) complet (2)

Person: Dirk Pattinson

DBLP DBLP: Pattinson:Dirk

Contributed to:

ICALP (2) 20142014
IJCAR 20142014
FOSSACS 20132013
LICS 20132013
ICALP (2) 20122012
FOSSACS 20102010
IJCAR 20102010
TACAS 20102010
CSL 20092009
FOSSACS 20092009
FoSSaCS 20082008
KR 20082008
ICALP 20072007
FoSSaCS 20062006
LICS 20062006
FoSSaCS 20052005
LICS 20052005
ICALP 20042004
WRLA 20002000
IJCAR 20182018

Wrote 21 papers:

ICALP-v2-2014-GoncharovP #algebra #bisimulation #equation #monad #recursion
Coalgebraic Weak Bisimulation from Recursive Equations over Monads (SG, DP), pp. 196–207.
IJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (DG, DP, LS, FW, TW), pp. 396–402.
FoSSaCS-2013-Abou-SalehP #semantics
Comodels and Effects in Mathematical Operational Semantics (FAS, DP), pp. 129–144.
FoSSaCS-2013-DahlqvistP #algebra #logic
Some Sahlqvist Completeness Results for Coalgebraic Logics (FD, DP), pp. 193–208.
LICS-2013-Pattinson #logic
The Logic of Exact Covers: Completeness and Uniform Interpolation (DP), pp. 418–427.
ICALP-v2-2012-LitakPSS #algebra #logic
Coalgebraic Predicate Logic (TL, DP, KS, LS), pp. 299–311.
FoSSaCS-2010-SchroderP #algebra
Coalgebraic Correspondence Theory (LS, DP), pp. 328–342.
IJCAR-2010-GoreKPS #algebra #logic
Global Caching for Coalgebraic Description Logics (RG, CK, DP, LS), pp. 46–60.
TACAS-2010-GoreKP #algebra #algorithm #logic
Optimal Tableau Algorithms for Coalgebraic Logics (RG, CK, DP), pp. 114–128.
CSL-2009-CirsteaKP #algebra #calculus #μ-calculus
EXPTIME Tableaux for the Coalgebraic μ-Calculus (CC, CK, DP), pp. 179–193.
FoSSaCS-2009-MyersPS #algebra #hybrid #logic
Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.
FoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
KR-2008-SchroderP #how #logic #strict
How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics (LS, DP), pp. 307–317.
ICALP-2007-SchroderP #algorithm #composition #logic
Modular Algorithms for Heterogeneous Modal Logics (LS, DP), pp. 459–471.
FoSSaCS-2006-EdalatP #automaton #hybrid #semantics
Denotational Semantics of Hybrid Automata (AE, DP), pp. 231–245.
LICS-2006-SchroderP #bound #logic
PSPACE Bounds for Rank-1 Modal Logics (LS, DP), pp. 231–242.
FoSSaCS-2005-EdalatLP #calculus #difference #multi
A Computational Model for Multi-variable Differential Calculus (AE, AL, DP), pp. 505–519.
LICS-2005-EdalatP
Inverse and Implicit Functions in Domain Theory (AE, DP), pp. 417–426.
ICALP-2004-EdalatP #theorem
A Domain Theoretic Account of Picard’s Theorem (AE, DP), pp. 494–505.
WRLA-2000-Pattinson #logic
Modal Logic for Rewriting Theories (DP), pp. 175–193.
IJCAR-2018-NalonP #calculus #logic
A Resolution-Based Calculus for Preferential Logics (CN, DP), pp. 498–515.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.