HOWARD-60:BibTeX Entries

Volume

@proceedings{HOWARD-60,
  title     = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{HOWARD-60:Howard_Barringer_Man_who,
  author    = {Klaus Havelund},
  title     = {Howard Barringer: the Man who Invented the Past},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {1--12},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/VJ},
  doi       = {10.29007/65lt}}

@inproceedings{HOWARD-60:Model_checking_Timed_CSP,
  author    = {Philip Armstrong and Gavin Lowe and Jo\textbackslash{}"el Ouaknine and Bill Roscoe},
  title     = {Model checking Timed CSP},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {13--33},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Lw5t},
  doi       = {10.29007/6fqk}}

@inproceedings{HOWARD-60:Design_Space_and_its,
  author    = {Graham Birtwistle and Kenneth S. Stevens},
  title     = {A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {34--65},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/M3},
  doi       = {10.29007/8p8h}}

@inproceedings{HOWARD-60:Cognition_Concurrency_Theory_and,
  author    = {Howard Bowman and Li Su},
  title     = {Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {66--84},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cx},
  doi       = {10.29007/94w5}}

@inproceedings{HOWARD-60:On_and_On_Temporal,
  author    = {Clare Dixon and Michael Fisher},
  title     = {On and On the Temporal Way},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {85--111},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/JGz},
  doi       = {10.29007/sz8j}}

@inproceedings{HOWARD-60:On_Expressiveness_of_some,
  author    = {Yli\textbackslash{}`es Falcone and Jean-Claude Fernandez and Mounier Laurent},
  title     = {On the Expressiveness of some Runtime Validation Techniques},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {112--123},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mCk},
  doi       = {10.29007/j7qv}}

@inproceedings{HOWARD-60:Can_system_learn_from,
  author    = {Leo Freitas and Cliff B. Jones and Andrius Velykis},
  title     = {Can a system learn from interactive proofs?},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {124--139},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ClcM},
  doi       = {10.29007/s478}}

@inproceedings{HOWARD-60:Handling_of_Loops_in,
  author    = {Michael Abraham and Dov Gabbay and Uri J. Schild},
  title     = {The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {140--164},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/v},
  doi       = {10.29007/gkg6}}

@inproceedings{HOWARD-60:simple_and_complete_model,
  author    = {Michael Gabbay},
  title     = {A simple and complete model theory for intensional and extensional untyped  \textbackslash{}ensuremath\{\textbackslash{}lambda \} -equality},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {165--177},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MdN2},
  doi       = {10.29007/2vzl}}

@inproceedings{HOWARD-60:Stone_duality_for_first_order,
  author    = {Murdoch J. Gabbay},
  title     = {Stone duality for first-order logic: a nominal approach to logic and topology},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {178--209},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/7z5},
  doi       = {10.29007/tp3z}}

@inproceedings{HOWARD-60:Closing_Gap_Between_Specification,
  author    = {Klaus Havelund},
  title     = {Closing the Gap Between Specification and Programming: VDM++ and Scala},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {210--233},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nzg},
  doi       = {10.29007/2w2f}}

@inproceedings{HOWARD-60:Model_Check_What_You,
  author    = {Timothy L. Hinrichs and A. Prasad Sistla and Lenore D. Zuck},
  title     = {Model Check What You Can, Runtime Verify the Rest},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {234--244},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/tq7},
  doi       = {10.29007/slnn}}

@inproceedings{HOWARD-60:On_Incremental_Quantitative_Verification,
  author    = {Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma},
  title     = {On Incremental Quantitative Verification for Probabilistic Systems},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {245--257},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/B3Nw},
  doi       = {10.29007/bmcf}}

@inproceedings{HOWARD-60:Pandoras_Box,
  author    = {Ronald Middelkoop and Cornelis Huizing and Ruurd Kuiper and Erik J. Luit},
  title     = {Pandora's Box},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {258--270},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/RGv},
  doi       = {10.29007/l7kx}}

@inproceedings{HOWARD-60:Distributed_Control_Synthesis,
  author    = {Doron Peled and Sven Schewe},
  title     = {Distributed Control Synthesis},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {271--288},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KWT},
  doi       = {10.29007/4wwx}}

@inproceedings{HOWARD-60:note_on_first_order_reasoning,
  author    = {David Rydeheard and Jes\textbackslash{}'us H\textbackslash{}'ector Dom\textbackslash{}'inguez S\textbackslash{}'anchez},
  title     = {A note on first-order reasoning for minimum models},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {289--305},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/LDCX},
  doi       = {10.29007/5bvp}}

@inproceedings{HOWARD-60:Tableau_Proof_System_with,
  author    = {Colin Stirling},
  title     = {A Tableau Proof System with Names for Modal Mu-calculus},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {306--318},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5gD},
  doi       = {10.29007/lwqm}}

@inproceedings{HOWARD-60:Extended_Abstract_Getting_Engaged,
  author    = {Simon Thompson},
  title     = {Extended Abstract: Getting Engaged},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  pages     = {319},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9Zv3},
  doi       = {10.29007/8h8t}}