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: Pattinson:Dirk
Contributed to:
2014
2014
2013
2013201220102010
2010
200920092008
2008200720062006200520052004
20002018Wrote 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.