conferences.bib

@inproceedings{Pattinson:2016:MSP,
  author = {Dirk Pattinson and Florrie Verity},
  title = {Modular Synthesis of Provably Correct Vote Counting
                 Programs},
  booktitle = {Proc. E-Vote-ID 2016},
  editor = {Robert Krimmer and Melanie Volkamer},
  note = {to appear.},
  year = {2016}
}

@inproceedings{Pattinson:2016:PEC,
  author = {Dirk Pattinson and Lutz Schr{\"o}der},
  title = {Program Equivalence is Coinductive},
  booktitle = {Proc. LICS 2016},
  editor = {Natarajan Shankar},
  publisher = {IEEE},
  year = {2016},
  url = {/~dpattinson/Publications/lics2016.pdf}
}

@inproceedings{Milius:2016:NFF,
  author = {Stefan Milius and Dirk Pattinson and Thorsten
                 Wi{\ss}mann},
  title = {A New Foundation for Finitary Corecursion},
  booktitle = {Proc. FOSSACS 2016},
  editor = {Bart Jacobs and Christof L{\"o}ding},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2016},
  url = {/~dpattinson/Publications/fossacs2016.pdf}
}

@inproceedings{Pattinson:2015:VCM,
  author = {Dirk Pattinson and Carsten Sch{\"u}rmann},
  title = {Vote Counting as Mathematical Proof},
  booktitle = {Proc. AI 2015},
  editor = {Bernhard Pfahringer and Jochen Renz},
  series = {Lecture Notes in Comp. Sci.},
  publisher = {Springer},
  url = {/~dpattinson/Publications/aai2015.pdf},
  year = {2015}
}

@inproceedings{Pattinson:2015:SCE,
  author = {Dirk Pattinson and Lutz Schr{\"o}der},
  title = {Sound and Complete Equational Reasoning over
                 Comodels},
  booktitle = {Proc. MFPS 2015},
  editor = {Dan Ghica},
  year = {2015},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  url = {/~dpattinson/Publications/mfps2015.pdf}
}

@inproceedings{Milius:2015:GTS,
  author = {Stefan Milius and Dirk Pattinson and Lutz
                 Schr{\"o}der},
  title = {Generic Trace Semantics and Graded Monads},
  booktitle = {Proc. CALCO 2015},
  editor = {Larry Moss and Pawel Sobocinsky},
  series = {Lecture Notes in Comp. Sci.},
  publisher = {Springer},
  year = {2015},
  url = {/~dpattinson/Publications/calco2015.pdf}
}

@inproceedings{Kupke:2015:RGA,
  author = {Clemens Kupke and Dirk Pattinson and Lutz
                 Schr{\"o}der},
  title = {Reasoning with Global Assumptions in Arithmetic Modal
                 Logics},
  booktitle = {Proc. FCT 2015},
  editor = {Adrian Kosowski and Igor Walukiewicz},
  series = {Lecture Notes in Computer Science},
  year = {2015},
  publisher = {Springer},
  url = {/~dpattinson/Publications/fct2015.pdf}
}

@inproceedings{Kurz:2015:SCT,
  author = {Alexander Kurz and Stefan Milius and Dirk Pattinson
                 and Lutz Schr{\"{o}}der},
  title = {Simplified Coalgebraic Trace Equivalence},
  booktitle = {Software, Services and Systems},
  editor = {Rolf Hennicker and Rocco de Nicola},
  series = {Lecture Notes in Computer Science},
  volume = {8950},
  publisher = {Springer},
  year = {2015},
  url = {/~dpattinson/Publications/sss2015.pdf}
}

@inproceedings{Goncharov:2014:CWB,
  author = {Sergey Goncharov and Dirk Pattinson},
  title = {Coalgebraic Weak Bisimulation from Recursive Equations
                 over Monads},
  booktitle = {Proc. ICALP 2014},
  year = {2014},
  pages = {196--207},
  editor = {Javier Esparza and Pierre Fraigniaud and Thore
                 Husfeldt and Elias Koutsoupias},
  series = {Lecture Notes in Computer Science},
  volume = {8573},
  publisher = {Springer},
  url = {/~dpattinson/Publications/icalp2014.pdf}
}

@inproceedings{Gorin:2014:CGR,
  author = {Daniel Gor{\'{\i}}n and Dirk Pattinson and Lutz
                 Schr{\"{o}}der and Florian Widmann and Thorsten
                 Wi{\ss}mann},
  title = {Cool - {A} Generic Reasoner for Coalgebraic Hybrid
                 Logics (System Description)},
  booktitle = {Proc. IJCAR 2014},
  year = {2014},
  pages = {396--402},
  editor = {St{\'{e}}phane Demri and Deepak Kapur and Christoph
                 Weidenbach},
  series = {Lecture Notes in Computer Science},
  volume = {8562},
  publisher = {Springer},
  url = {/~dpattinson/Publications/ijcar2014.pdf}
}

@inproceedings{Lellmann:2013:CBM,
  author = {Bj{\"o}rn Lellmann and Dirk Pattinson},
  title = {Correspondence between Modal Hilbert Axioms and
                 Sequent Rules with an Application to {S5}},
  booktitle = {Proc. TABLEAUX 2013},
  editor = {Didier Galmiche and Dominique Larchey-Wendling},
  publisher = {Springer},
  series = {LNCS},
  year = {2013},
  url = {/~dpattinson/Publications/tableaux2013.pdf}
}

@inproceedings{Pattinson:2013:LEC,
  author = {Dirk Pattinson},
  title = {The Logic of Exact Covers: Completeness and Uniform
                 Interpolation},
  booktitle = {Proc. LICS 2013},
  editor = {Orna Kupferman},
  publisher = {IEEE},
  year = {2013},
  url = {/~dpattinson/Publications/lics2013.pdf}
}

@inproceedings{Kulacka:2013:SLT,
  author = {Agnieszka Kulacka and Dirk Pattinson and Lutz
                 Schr{\"o}der},
  title = {Syntactic Labelled Tableaux for {\L}ukasiewicz Fuzzy
                 $\mathcal{ALC}$},
  booktitle = {Proc. IJCAI 2013},
  editor = {Sebastian Thrun},
  publisher = {IJCAI/AIII},
  year = {2013},
  url = {/~dpattinson/Publications/ijcai2013.pdf}
}

@inproceedings{Litak:2013:CPL,
  author = {T. Litak and D. Pattinson and K. Sano and L.
                 Schr{\"o}der},
  title = {Coalgebraic Predicate Logic: Equipollence Results and
                 Proof Theory},
  booktitle = {Proc. TbiLLC 2011 (selected and revised papers)},
  editor = {G. Bezhanishvili and S. Loebner and V. Marra and F.
                 Richter},
  publisher = {Springer},
  series = {LNCS},
  year = {2013},
  url = {/~dpattinson/Publications/tbillc2011.pdf}
}

@inproceedings{Abou-Saleh:2013:CEM,
  author = {Faris Abou-Saleh and Dirk Pattinson},
  title = {Comodels and Effects in Mathematical Operational
                 Semantics},
  booktitle = {Proc. FoSSaCS 2013},
  year = {2013},
  pages = {129--144},
  editor = {Frank Pfenning},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7794},
  url = {/~dpattinson/Publications/fossacs2013b.pdf}
}

@inproceedings{Dahlqvist:2013:SSC,
  author = {Fredrik Dahlqvist and Dirk Pattinson},
  title = {Some Sahlqvist Completeness Results for Coalgebraic
                 Logics},
  booktitle = {Proc. FoSSaCS 2013},
  year = {2013},
  pages = {193--208},
  editor = {Frank Pfenning},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7794},
  url = {/~dpattinson/Publications/fossacs2013b.pdf}
}

@inproceedings{Lellmann:2013:CCF,
  author = {Bj{\"o}rn Lellmann and Dirk Pattinson},
  title = {Constructing Cut Free Sequent Systems with Context
                 Restrictions Based on Classical or Intuitionistic
                 Logic},
  booktitle = {Proc. ICLA 2013},
  year = {2013},
  pages = {148--160},
  editor = {Kamal Lodaya},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7750},
  url = {/~dpattinson/Publications/icla2013.pdf}
}

@inproceedings{Litak:2012:CPL,
  author = {Tadeusz Litak and Dirk Pattinson and Katsuhiko Sano
                 and Lutz Schr{\"o}der},
  title = {Coalgebraic Predicate Logic},
  booktitle = {Proc. ICALP 2012},
  year = {2012},
  pages = {299--311},
  editor = {Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts and
                 Roger Wattenhofer},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7392}
}

@inproceedings{Lellmann:2012:SSL,
  author = {Bj{\"o}rn Lellmann and Dirk Pattinson},
  title = {Sequent Systems for Lewis' Conditional Logics},
  booktitle = {Proc. JELIA 2012},
  year = {2012},
  pages = {320--332},
  editor = {Luis Fari{\~n}as del Cerro and Andreas Herzig and
                 J{\'e}r{\^o}me Mengin},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7519},
  url = {/~dpattinson/Publications/jelia2012.pdf}
}

@inproceedings{Snell:2012:SGP,
  author = {William Snell and Dirk Pattinson and Florian Widmann},
  title = {Solving Graded/Probabilistic Modal Logic via Linear
                 Inequalities (System Description)},
  booktitle = {Proc. LPAR 2012},
  year = {2012},
  pages = {383--390},
  editor = {Nikolaj Bj{\o}rner and Andrei Voronkov},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7180}
}

@inproceedings{Abou-Saleh:2011:TEM,
  author = {F. Abou-Saleh and D. Pattinson},
  title = {Towards Effects in Mathematical Operational
                 Semantics},
  booktitle = {Proc. MFPS XXVII},
  editor = {J. Ouaknine},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  year = {2011},
  url = {/~dpattinson/Publications/mfps2011.pdf}
}

@inproceedings{Dahlqvist:2011:FCL,
  author = {Fredrik Dahlqvist and Dirk Pattinson},
  title = {On the Fusion of Coalgebraic Logics},
  booktitle = {Proc. CALCO 2011},
  year = {2011},
  pages = {161--175},
  editor = {Andrea Corradini and Bartek Klin and Corina
                 C\^{\i}rstea},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6859},
  url = {/~dpattinson/Publications/calco2011.pdf}
}

@inproceedings{Schroder:2011:DLF,
  title = {Description Logics and Fuzzy Probability},
  author = {L. Schr{\"o}der and D. Pattinson},
  booktitle = {Proc. IJCAI 2011},
  editor = {T. Walsh},
  year = {2011},
  publisher = {AAAI Press},
  pages = {1075--1080},
  url = {/~dpattinson/Publications/ijcai2011.pdf}
}

@inproceedings{Lellmann:2011:CES,
  author = {B. Lellmann and D. Pattinson},
  title = {Cut Elimination for Shallow Modal Logics},
  booktitle = {Proc. Tableaux 2011},
  series = {Lecture Notes in Artificial Intelligence},
  year = {2011},
  editor = {K. Br{\"u}nnler and G. Metcalfe},
  pages = {211--225},
  volume = {6793},
  url = {/~dpattinson/Publications/tableaux2011.pdf}
}

@misc{Pattinson:2011:HCL,
  title = {How to Cover without Lifting Relations},
  author = {D. Pattinson and L. Santocanale},
  year = {2011},
  note = {TbiLLC 2011},
  url = {/~dpattinson/Publications/tbillc2011-cover.pdf}
}

@inproceedings{Kupke:2010:MLL,
  author = {C. Kupke and D. Pattinson},
  title = {On Modal Logics of Linear Inequalities},
  booktitle = {Proc. AiML 2010},
  editor = {V. Goranko and V. Shehtman},
  publisher = {College Publications},
  year = {2010},
  url = {/~dpattinson/Publications/aiml2010.pdf}
}

@inproceedings{Gore:2010:GCC,
  author = {R. Gor{\'e} and C. Kupke and D. Pattinson and L.
                 Schr{\"o}der},
  title = {Global Caching for Coalgebraic Description Logics},
  editor = {J. Giesl and R. Haehnle},
  booktitle = {Proc. IJCAR 2010},
  series = {Lecture Notes in Comp. Sci.},
  number = {6173},
  year = {2010},
  pages = {46--60},
  url = {/~dpattinson/Publications/ijcar2010.pdf}
}

@inproceedings{Schroder:2010:OTC,
  author = {L. Schr{\"o}der and D. Pattinson and D. Hausmann},
  title = {Optimal Tableaux for Conditional Logics with Cautious
                 Monotonicity},
  booktitle = {Proc. ECAI 2010},
  year = {2010},
  pages = {707--712},
  editor = {H. Coelho and R. Studer and M. Wooldridge},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and
                 Applications},
  volume = {215},
  url = {/~dpattinson/Publications/ecai2010.pdf}
}

@inproceedings{Schroder:2010:CCT,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Coalgebraic Correspondence Theory},
  booktitle = {Proc. FoSSaCS 2010},
  editor = {L. Ong},
  series = {Lecture Notes in Comp. Sci.},
  year = {2010},
  url = {/~dpattinson/Publications/fossacs2010.pdf}
}

@inproceedings{Schroder:2010:NMC,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Named Models in Coalgebraic Hybrid Logic},
  booktitle = {Proc. STACS 2010},
  editor = {J.-Y. Marion and T. Schwentick},
  series = {Leibniz International Proceedings in Informatics},
  year = {2010},
  url = {/~dpattinson/Publications/stacs2010.pdf}
}

@inproceedings{Gore:2010:OTA,
  author = {R. Gor{\'e} and C. Kupke and D. Pattinson},
  title = {Optimal Tableau Algorithms for Coalgebraic Logics},
  booktitle = {Proc. TACAS 2010},
  editor = {R. Majumdar and J. Esparza},
  series = {Lecture Notes in Comp. Sci.},
  pages = {114--128},
  volume = {6015},
  url = {/~dpattinson/Publications/tacas2010.pdf},
  year = {2010}
}

@article{Calin:2009:CCL,
  title = {CoLo{SS}: The Coalgebraic Logic Satisfiability
                 Solver},
  author = {G. Calin and R. Myers and D. Pattinson and L.
                 Schr{\"{o}}der},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {231},
  year = {2009},
  pages = {41--54},
  note = {Proc. Methods for Modalities 5 (2007)},
  url = {/~dpattinson/Publications/m4m2007.pdf}
}

@article{Ghani:2009:CFF,
  author = {N. Ghani and P. Hancock and D. Pattinson},
  title = {Continuous Functions of Final Coalgebras},
  journal = {Electr. Notes in Theoret. Comput. Sci.},
  volume = {249},
  note = {Proc. MFPS 2009},
  editor = {S. Abramsky and M. Mislove and C. Palamidessi},
  year = {2009},
  pages = {3--18},
  url = {/~dpattinson/Publications/mfps2009.pdf}
}

@inproceedings{Cirstea:2009:ETC,
  title = {{EXPTIME} Tableaux for the Coalgebraic
                 $\mu$-Calculus},
  author = {C. C\^irstea and C. Kupke and D. Pattinson},
  booktitle = {Proc. CSL 2009},
  series = {Lecture Notes in Comp. Sci.},
  editor = {E. Gr{\"a}del and R. Kahle},
  number = {5771},
  year = {2009},
  pages = {179--193},
  url = {/~dpattinson/Publications/csl2009.pdf}
}

@inproceedings{Myers:2009:CHL,
  author = {R. Myers and D. Pattinson and L. Schr{\"o}der},
  title = {Coalgebraic Hybrid Logic},
  booktitle = {Proc. FOSSACS 2009},
  year = {2009},
  pages = {137--151},
  editor = {L. de Alfaro},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5504},
  url = {/~dpattinson/Publications/fossacs2009.pdf}
}

@inproceedings{Schroder:2009:NE,
  author = {L. Schr{\"o}der and D. Pattinson and C. Kupke},
  title = {Nominals for Everyone},
  booktitle = {Proc. IJCAI 2009},
  editor = {C. Boutilier},
  pages = {917--922},
  year = {2009},
  url = {/~dpattinson/Publications/ijcai2009.pdf},
  note = {online proceedings}
}

@inproceedings{Schroder:2009:SCC,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Strong Completeness of Coalgebraic Modal Logics},
  booktitle = {Proc. STACS 2009},
  year = {2009},
  pages = {673--684},
  editor = {S. Albers and J.-Y. Marion},
  publisher = {Schloss Dagstuhl},
  series = {Dagstuhl Seminar Proceedings},
  volume = {09001},
  url = {/~dpattinson/Publications/stacs2009.pdf}
}

@inproceedings{Pattinson:2009:GMC,
  author = {D. Pattinson and L. Schr{\"o}der},
  title = {Generic Modal Cut Elimination Applied to Conditional
                 Logics},
  booktitle = {Proc. Tableaux 2009},
  editor = {M. Giese and A. Waaler},
  publisher = {Springer},
  series = {Lect. Notes in Artificial Intelligence},
  volume = {5607},
  year = {2009},
  url = {/~dpattinson/Publications/tableaux2009.pdf}
}

@article{Pattinson:2008:ACC,
  author = {Dirk Pattinson and Lutz Schr{\"o}der},
  title = {Admissibility of Cut in Coalgebraic Logics},
  booktitle = {Proc. CMCS 2008},
  editor = {J. Ad{\`a}mek and C. Kupke},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {203},
  number = {5},
  year = {2008},
  pages = {221--241},
  url = {/~dpattinson/Publications/cmcs2008.pdf}
}

@inproceedings{Cirstea:2008:MLC,
  author = {C. C{\^i}rstea and A. Kurz and D. Pattinson and L.
                 Schr{\"o}der and Y. Venema},
  title = {Modal Logics are Coalgebraic},
  booktitle = {BCS Visions in Computer Science},
  editor = {S. Abramsky and V. Sassone},
  series = {Electronic Workshops in Computing},
  year = {2008},
  url = {/~dpattinson/Publications/visions2008.pdf}
}

@inproceedings{Pattinson:2008:BRA,
  title = {Beyond Rank 1: Algebraic Semantics and Finite Models
                 for Coalgebraic Logics},
  author = {D. Pattinson and L. Schr{\"{o}}der},
  booktitle = {Proc. FoSSaCS 2008},
  editor = {R. Amadio},
  series = {LNCS},
  year = {2008},
  pages = {66--80},
  number = {4962},
  url = {/~dpattinson/Publications/fossacs2008.pdf}
}

@inproceedings{Schroder:2008:SMN,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Shallow Models for Non-iterative Modal Logics},
  booktitle = {Proc. KI 2008},
  year = {2008},
  pages = {324--331},
  editor = {A. Dengel and K. Berns and T. Breuel and F. Bomarius
                 and T. Roth-Berghofer},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5243},
  url = {/~dpattinson/Publications/ki2008.pdf}
}

@inproceedings{Schroder:2008:HMT,
  title = {How many toes do {I} have? Parthood and Number
                 Restrictions in Description Logics},
  author = {L. Schr{\"{o}}der and D. Pattinson},
  booktitle = {Proc. Knowledge Representation 2008},
  publisher = {AAAI Press},
  year = {2008},
  url = {/~dpattinson/Publications/kr2008.pdf}
}

@inproceedings{Schroder:2007:MAH,
  author = {L. Schr{\"o}der and D. Pattinson},
  title = {Modular Algorithms for Heterogeneous Modal Logics},
  booktitle = {Proc 34th International Colloquium on Automata,
                 Languages and Programming (ICALP 2007)},
  pages = {459--471},
  editor = {L. Arge and C. Cachin and T. Jurdzinski and A.
                 Tarlecki},
  series = {Lecture Notes in Comp. Sci.},
  number = {4596},
  year = {2007},
  url = {/~dpattinson/Publications/icalp2007.pdf}
}

@inproceedings{Schroder:2007:RLC,
  author = {L. Schr{\"{o}}der and D. Pattinson},
  title = {Rank-1 Logics are Coalgebraic},
  booktitle = {Proc. 24th Annual Symposium on Theoretical Aspects of
                 Computer Science (STACS 2007)},
  editor = {W. Thomas and T. Weil},
  pages = {573--585},
  series = {Lecture Notes in Comp. Sci.},
  number = {4393},
  year = {2007},
  url = {/~dpattinson/Publications/stacs2007.pdf}
}

@inproceedings{Edalat:2006:DTS,
  author = {A. Edalat and D. Pattinson},
  title = {Domain Theoretic Solutions of Initial Value Problems
                 for Unbounded Vector Fields},
  booktitle = {Proc. MFPS XXI},
  editor = {M. Escard{\'{o}}},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  volume = {155},
  pages = {565--581},
  year = {2006},
  url = {/~dpattinson/Publications/mfps2005.pdf}
}

@inproceedings{Ghani:2006:CFF,
  author = {N. Ghani and P. Hancock and D. Pattinson},
  title = {Continuous Functions on Final Coalgebras},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  booktitle = {Proc. CMCS 2006},
  editor = {J. Power},
  year = {2006},
  url = {/~dpattinson/Publications/cmcs2006.pdf}
}

@inproceedings{Edalat:2006:DSH,
  author = {A. Edalat and D. Pattinson},
  title = {Denotational Semantics of Hybrid Automata},
  booktitle = {Proc. FoSSaCS 2006},
  editor = {L. Aceto and A. Ingofsdottir},
  series = {Lecture Notes in Comp. Sci.},
  volume = {3921},
  pages = {231--245},
  year = {2006},
  url = {/~dpattinson/Publications/fossacs2006.pdf}
}

@inproceedings{Schroder:2006:PBR,
  author = {L. Schr{\"{o}}der and D. Pattinson},
  title = {{PSPACE} Bounds for Rank-1 Modal Logics},
  booktitle = {Proc. 21st IEEE Symposium on Logic in Computer Science
                 (LICS 2006)},
  pages = {231--242},
  year = {2006},
  url = {/~dpattinson/Publications/lics2006.pdf}
}

@inproceedings{Kupke:2005:UEC,
  author = {C. Kupke and A. Kurz and D. Pattinson},
  title = {Ultrafilter Extensions for Coalgebras},
  booktitle = {Proc. CALCO 2005},
  editor = {J. Fiadeiro and J. Rutten},
  series = {Lecture Notes in Comp. Sci.},
  pages = {263--277},
  volume = {3629},
  year = {2005},
  url = {/~dpattinson/Publications/calco2005.pdf}
}

@inproceedings{Pattinson:2005:DTF,
  author = {D. Pattinson},
  title = {Domain Theoretic Formulation of Linear Boundary Value
                 Problems},
  booktitle = {Proc. CiE 2005},
  editor = {B. Loewe},
  series = {Lecture Notes in Comp. Sci.},
  number = {3526},
  pages = {385--395},
  year = {2005},
  url = {/~dpattinson/Publications/cie2005.pdf}
}

@inproceedings{Edalat:2005:CMM,
  author = {A. Edalat and A. Lieutier and D. Pattinson},
  title = {A Computational Model for Multi-Variable Differential
                 Calculus},
  booktitle = {Proc. FoSSaCS 2005},
  editor = {V. Sassone},
  series = {Lecture Notes in Comp. Sci.},
  volume = {3441},
  pages = {505--519},
  year = {2005},
  url = {/~dpattinson/Publications/fossacs2005.pdf}
}

@inproceedings{Pattinson:2005:CTS,
  author = {D. Pattinson and B. Reus},
  title = {A Complete Temporal and Spatial Logic for Distributed
                 Systems},
  booktitle = {Frontiers of Combining Systems},
  editor = {B. Gramlich},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {3717},
  year = {2005},
  pages = {122--137},
  url = {/~dpattinson/Publications/frocos2005.pdf}
}

@inproceedings{Edalat:2005:IIF,
  author = {A. Edalat and D. Pattinson},
  title = {Inverse and Implicit Functions in Domain Theory},
  booktitle = {Proc. 20th IEEE Symposium on Logic in Computer Science
                 (LICS 2005)},
  editor = {P. Panangaden},
  pages = {417--426},
  year = {2005},
  url = {/~dpattinson/Publications/lics2005.pdf}
}

@inproceedings{Kupke:2004:ASC,
  title = {Algebraic Semantics for Coalgebraic Logics},
  author = {C. Kupke and A. Kurz and D. Pattinson},
  booktitle = {Coalgebraic Methods in Computer Science (CMCS 2004)},
  editor = {J. Ad{\`{a}}amek and S. Milius},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  volume = {106},
  pages = {219--241},
  year = {2004},
  url = {/~dpattinson/Publications/cmcs2004.pdf}
}

@inproceedings{Cirstea:2004:MCM,
  author = {C. Cirstea and D. Pattinson},
  title = {Modular Construction of Modal Logics},
  booktitle = {Proc. CONCUR 2004},
  editor = {P. Gardner and N. Yoshida},
  series = {Lecture Notes in Comp. Sci.},
  volume = {3170},
  pages = {258--275},
  year = {2004},
  url = {/~dpattinson/Publications/concur2004.pdf}
}

@inproceedings{Edalat:2004:DTAb,
  author = {A. Edalat and D. Pattinson},
  title = {A domain theoretic account of {P}icard's theorem},
  booktitle = {Proc. ICALP 2004},
  year = {2004},
  series = {Lecture Notes in Comp. Sci.},
  volume = {3142},
  pages = {494--505},
  url = {/~dpattinson/Publications/icalp2004.pdf}
}

@inproceedings{Edalat:2004:DTAc,
  author = {A. Edalat and D. Pattinson},
  title = {A Domain Theoretic Account of {E}uler's Method for
                 Solving Initial Value Problems},
  booktitle = {Proc. PARA 2004},
  series = {Lecture Notes in Comp. Sci.},
  volume = {3732},
  editor = {J. Dongarra and K. Madsen and J. Wasniewski},
  pages = {112--121},
  year = {2004},
  url = {/~dpattinson/Publications/para2004.pdf}
}

@inproceedings{Edalat:2003:IVP,
  author = {A. Edalat and D. Pattinson},
  title = {Initial Value Problems in Domain Theory},
  booktitle = {Proc. International Conference on Computability and
                 Complexity in Analysis (CCA 2003)},
  year = {2003},
  pages = {211--227},
  url = {/~dpattinson/Publications/cca2003.pdf}
}

@inproceedings{Pattinson:2003:CFF,
  author = {D. Pattinson},
  title = {Computable Functions on Final Coalgebras},
  booktitle = {Coalgebraic Methods in Computer Science (CMCS 2003)},
  editor = {H.-P. Gumm},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  volume = {82},
  year = {2003},
  pages = {1--20},
  url = {/~dpattinson/Publications/cmcs2003.pdf}
}

@inproceedings{Kurz:2002:DCM,
  author = {A. Kurz and D. Pattinson},
  title = {Definability, Canonical Models, Compactness for
                 Finitary Coalgebraic Modal Logic},
  booktitle = {Coalgebraic Methods in Computer Science (CMCS 2002)},
  editor = {L. Moss},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  volume = {65.1},
  issue = {1},
  year = {2002},
  pages = {1--21},
  url = {/~dpattinson/Publications/cmcs2002.pdf}
}

@inproceedings{Pattinson:2002:MCM,
  author = {D. Pattinson and M. Wirsing},
  title = {Making Components Move: {A} Separation of Concerns
                 Approach},
  booktitle = {First International Symposium on Formal Methods for
                 Components and Objects (FMCO 2002)},
  editor = {F. de Boer and M. Bonsangue and S. Graf and W.-P. de
                 Roever},
  series = {Lecture Notes in Computer Science},
  volume = {2852},
  pages = {487--507},
  year = {2002},
  url = {/~dpattinson/Publications/fmco2002.pdf}
}

@inproceedings{Pattinson:2002:TLC,
  author = {D. Pattinson},
  title = {Translating Logics for Coalgebras},
  booktitle = {Recent Trends in Algebraic Developement Techniques},
  editor = {M. Wirsing and D. Pattinson and R. Hennicker},
  series = {Lecture Notes in Comp. Sci.},
  volume = {2755},
  pages = {397--412},
  year = {2002},
  url = {/~dpattinson/Publications/wadt2002.pdf}
}

@inproceedings{Pattinson:2001:MLC,
  author = {D. Pattinson},
  title = {Modal Languages for Coalgebras in a Topological
                 Setting},
  editor = {U. Montanari},
  booktitle = {Coalgebraic Methods in Computer Science (CMCS 2001)},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  year = {2001},
  volume = {44.1},
  pages = {1--14},
  url = {/~dpattinson/Publications/cmcs2001.pdf}
}

@inproceedings{Pattinson:2001:SPM,
  author = {D. Pattinson},
  title = {{Semantical Principles in the Modal Logic of
                 Coalgebras}},
  booktitle = {Proc. 18th Symposium on Theoretical Aspects of
                 Computer Science (STACS 2001)},
  year = {2001},
  series = {Lecture Notes in Comp. Sci.},
  volume = {2010},
  editor = {H. Reichel and A. Ferreira},
  pages = {514--526},
  url = {/~dpattinson/Publications/stacs2001.pdf}
}

@inproceedings{Pattinson:2000:TCS,
  author = {D. Pattinson},
  title = {Towards Coalgebraic Specification of Rewrite
                 Theories},
  booktitle = {Requirements, Design, Correct Construction and
                 Verification},
  year = {2000},
  editor = {M. V. Cengarle},
  series = {Fast Reihe Softwaretechnik},
  volume = {11},
  note = {9 pages},
  url = {/~dpattinson/Publications/specandverif2000.pdf}
}

@inproceedings{Kurz:2000:NCC,
  author = {A. Kurz and D. Pattinson},
  title = {Notes on Coalgebras, Co-Fibrations and Concurrency},
  editor = {H. Reichel},
  booktitle = {Coalgebraic Methods in Computer Science (CMCS 2000)},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  year = {2000},
  volume = {33},
  note = {34 pages},
  url = {/~dpattinson/Publications/cmcs2000.pdf}
}

@inproceedings{Pattinson:2001:MLR,
  author = {D. Pattinson},
  title = {Modal Logic for Rewriting Theories},
  booktitle = {The 3rd International Workshop on Rewriting Logic and
                 its Applications},
  editor = {K. Futatsugi},
  series = {Electr. Notes in Theoret. Comp. Sci.},
  volume = {36},
  year = {2001},
  url = {/~dpattinson/Publications/wrla2000.pdf}
}