default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Howard Barringer 2014
- Andrei Voronkov, Margarita V. Korovina:
HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. EPiC Series in Computing 42, EasyChair 2014 - Klaus Havelund:
Howard Barringer: the Man who Invented the Past. 1-12 - Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe:
Model checking Timed CSP. 13-33 - Graham M. Birtwistle, Kenneth S. Stevens:
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines. 34-65 - Howard Bowman, Li Su:
Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. 66-84 - Clare Dixon, Michael Fisher:
On and On the Temporal Way. 85-111 - Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
On the Expressiveness of some Runtime Validation Techniques. 112-123 - Leo Freitas, Cliff B. Jones, Andrius Velykis:
Can a system learn from interactive proofs? 124-139 - Michael Abraham, Dov M. Gabbay, Uri J. Schild:
The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. 140-164 - Michael Gabbay:
A simple and complete model theory for intensional and extensional untyped λ-equality. 165-177 - Murdoch James Gabbay:
Stone duality for first-order logic: a nominal approach to logic and topology. 178-209 - Klaus Havelund:
Closing the Gap Between Specification and Programming: VDM++ and Scala. 210-233 - Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck:
Model Check What You Can, Runtime Verify the Rest. 234-244 - Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
On Incremental Quantitative Verification for Probabilistic Systems. 245-257 - Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Pandora's Box. 258-270 - Doron A. Peled, Sven Schewe:
Distributed Control Synthesis. 271-288 - David E. Rydeheard, Jesús Héctor Domínguez Sánchez:
A note on first-order reasoning for minimum models. 289-305 - Colin Stirling:
A Tableau Proof System with Names for Modal Mu-calculus. 306-318 - Simon Thompson:
Extended Abstract: Getting Engaged. 319
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-17 00:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
