journals.bib

@article{Cirstea:2011:ETC,
  author = {C. Cirstea and C. Kupke and D. Pattinson},
  title = {{EXPTIME} Tableaux for the Coalgebraic
                 $\mu$-Calculus},
  journal = {Logical Methods in Computer Science},
  year = {2011},
  volume = {7},
  number = {3},
  year = {2011},
  url = {/~dirk/Publications/lmcs2011b.pdf}
}

@article{Kupke:2011:CSM,
  author = {C. Kupke and D. Pattinson},
  title = {Coalgebraic Semantics of Modal Logics: an Overview},
  journal = {Theoretical Computer Science},
  year = {2011},
  note = {Special issue CMCS 2010},
  volume = {412},
  number = {38},
  year = {2011},
  pages = {5070--5094},
  url = {/~dirk/Publications/tcs2011.pdf}
}

@article{Pattinson:2011:GMC,
  author = {D. Pattinson and L. Schr{\"o}der},
  title = {Generic Modal Cut Elimination Applied to Conditional
                 Logics},
  journal = {Logical Methods in Computer Science},
  volume = {7},
  number = {1},
  year = {2011},
  note = {25 pages},
  url = {/~dirk/Publications/lmcs2011.pdf}
}

@article{Schroder:2011:MAH,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Modular Algorithms for Heterogeneous Modal Logics via
                 Multi-Sorted Coalgebra},
  journal = {Mathematical Structures in Computer Science},
  year = {2011},
  volume = {21},
  year = {2011},
  url = {/~dirk/Publications/mscs2011.pdf}
}

@article{Myers:2010:HLD,
  author = {R. Myers and D. Pattinson},
  title = {Hybrid Logic with the Difference Modality for
                 Generalisations of Graphs},
  journal = {J. Applied Logic},
  volume = {8},
  number = {4},
  year = {2010},
  pages = {441--458},
  url = {/~dirk/Publications/jal2010.pdf}
}

@article{Pattinson:2010:CEC,
  author = {D. Pattinson and L. Schr{\"o}der},
  title = {Cut Elimination in Coalgebraic Logics},
  journal = {Information and Computation},
  year = {2010},
  volume = {208},
  issue = {12},
  pages = {1447--1468},
  url = {/~dirk/Publications/ic2010.pdf}
}

@article{Hancock:2009:RSP,
  author = {P. Hancock and D. Pattinson and N. Ghani},
  title = {Representations of Stream Processors using nested
                 fixed points},
  journal = {Logical Methods in Computer Science},
  volume = {5},
  number = {3},
  year = {2009},
  url = {/~dirk/Publications/lmcs2009.pdf}
}

@article{Cirstea:2009:MLC,
  author = {C. Cirstea and A. Kurz and D. Pattinson and L.
                 Schr{\"o}der and Y. Venema},
  title = {Modal Logics are Coalgebraic},
  journal = {The Computer Journal},
  year = {2009},
  volume = {54},
  number = {1},
  pages = {31--41},
  url = {/~dirk/Publications/cj2009.pdf}
}

@article{Schroder:2010:RLC,
  author = {L. Schr{\"{o}}der and D. Pattinson},
  title = {Rank-1 Logics are Coalgebraic},
  journal = {Journal of Logic and Computation},
  volume = {20},
  number = {5},
  pages = {1113--1147},
  year = {2010},
  url = {/~dirk/Publications/jlc2008.pdf}
}

@article{Schroder:2009:PBR,
  author = {L. Schr{\"{o}}der and D. Pattinson},
  title = {{PSPACE} Bounds for Rank-1 Modal Logics},
  journal = {ACM Transactions on Computational Logics},
  volume = {10},
  number = {2},
  year = {2009},
  url = {/~dirk/Publications/tocl2008.pdf}
}

@article{Edalat:2007:DSH,
  author = {A. Edalat and D. Pattinson},
  title = {Denotational Semantics of Hybrid Automata},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {73},
  issue = {1--2},
  pages = {3--21},
  year = {2007},
  url = {/~dirk/Publications/jlap2007.pdf}
}

@article{Cirstea:2007:MPS,
  author = {C. Cirstea and D. Pattinson},
  title = {Modular Proof Systems for Coalgebraic Logics},
  journal = {Theoretical Computer Science},
  volume = {388},
  year = {2007},
  pages = {83--108},
  url = {/~dirk/Publications/tcs2007.pdf}
}

@article{Edalat:2007:DTA,
  author = {A. Edalat and D. Pattinson},
  title = {A Domain-Theoretic Account of {P}icard's Theorem},
  journal = {LMS Journal of Computation and Mathematics},
  volume = {10},
  pages = {83--118},
  year = {2007},
  url = {/~dirk/Publications/jcm2007.pdf}
}

@article{Kurz:2005:CML,
  author = {A. Kurz and D. Pattinson},
  title = {Coalgebraic Modal Logic of Finite Rank},
  journal = {Mathematical Structures in Computer Science},
  volume = {15},
  number = {3},
  pages = {453--473},
  year = {2005},
  url = {/~dirk/Publications/mscs2005.pdf}
}

@article{Pattinson:2005:SCA,
  author = {D. Pattinson and M. Wirsing},
  title = {A Seperation of Concerns Approach to Mobile
                 Components},
  journal = {Theoretical Computer Science},
  volume = {331},
  number = {2--3},
  pages = {457--483},
  year = {2005},
  url = {/~dirk/Publications/tcs2005.pdf}
}

@article{Pattinson:2004:ELC,
  author = {D. Pattinson},
  title = {Expressive Logics for Coalgebras via Terminal Sequence
                 Induction},
  journal = {Notre Dame Journal of Formal Logic},
  volume = {45},
  number = {1},
  pages = {19--33},
  year = {2004},
  url = {/~dirk/Publications/ndjfl2004.pdf}
}

@article{Pattinson:2003:CML,
  author = {D. Pattinson},
  title = {Coalgebraic Modal Logic: Soundness, Completeness and
                 Decidability of Local Consequence},
  journal = {Theoretical Computer Science},
  year = {2003},
  volume = {309},
  number = {1--3},
  pages = {177--193},
  url = {/~dirk/Publications/tcs2003.pdf}
}