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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2014}}
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VJ},
doi = {10.29007/65lt},
pages = {1-12},
year = {2014}}
@inproceedings{HOWARD-60:Model_checking_Timed_CSP,
author = {Philip Armstrong and Gavin Lowe and Joël 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Lw5t},
doi = {10.29007/6fqk},
pages = {13-33},
year = {2014}}
@inproceedings{HOWARD-60:Design_Space_its_Patterns,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/M3},
doi = {10.29007/8p8h},
pages = {34-65},
year = {2014}}
@inproceedings{HOWARD-60:Cognition_Concurrency_Theory_Reverberations,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Cx},
doi = {10.29007/94w5},
pages = {66-84},
year = {2014}}
@inproceedings{HOWARD-60:Temporal_Way,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/JGz},
doi = {10.29007/sz8j},
pages = {85-111},
year = {2014}}
@inproceedings{HOWARD-60:Expressiveness_some_Runtime_Validation,
author = {Yliès 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mCk},
doi = {10.29007/j7qv},
pages = {112-123},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ClcM},
doi = {10.29007/s478},
pages = {124-139},
year = {2014}}
@inproceedings{HOWARD-60:Handling_Loops_Talmudic_Logic,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/v},
doi = {10.29007/gkg6},
pages = {140-164},
year = {2014}}
@inproceedings{HOWARD-60:simple_complete_model_theory,
author = {Michael Gabbay},
title = {A simple and complete model theory for intensional and extensional untyped λ-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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MdN2},
doi = {10.29007/2vzl},
pages = {165-177},
year = {2014}}
@inproceedings{HOWARD-60:Stone_duality_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7z5},
doi = {10.29007/tp3z},
pages = {178-209},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nzg},
doi = {10.29007/2w2f},
pages = {210-233},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/tq7},
doi = {10.29007/slnn},
pages = {234-244},
year = {2014}}
@inproceedings{HOWARD-60:Incremental_Quantitative_Verification_Probabilistic,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/B3Nw},
doi = {10.29007/bmcf},
pages = {245-257},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RGv},
doi = {10.29007/l7kx},
pages = {258-270},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KWT},
doi = {10.29007/4wwx},
pages = {271-288},
year = {2014}}
@inproceedings{HOWARD-60:note_first_order_reasoning,
author = {David Rydeheard and Jesús Héctor Domínguez Sánchez},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/LDCX},
doi = {10.29007/5bvp},
pages = {289-305},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5gD},
doi = {10.29007/lwqm},
pages = {306-318},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9Zv3},
doi = {10.29007/8h8t},
pages = {319},
year = {2014}}
