HOWARD-60:Author Index

AuthorPapers
A
Abraham, MichaelThe Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Armstrong, PhilipModel checking Timed CSP
B
Birtwistle, GrahamA Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines
Bowman, HowardCognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems
D
Dixon, ClareOn and On the Temporal Way
F
Falcone, YliesOn the Expressiveness of some Runtime Validation Techniques
Fernandez, Jean-ClaudeOn the Expressiveness of some Runtime Validation Techniques
Fisher, MichaelOn and On the Temporal Way
Freitas, LeoCan a system learn from interactive proofs?
G
Gabbay, DovThe Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Gabbay, MichaelA simple and complete model theory for intensional and extensional untyped λ-equality
Gabbay, MurdochStone duality for first-order logic: a nominal approach to logic and topology
H
Havelund, KlausHoward Barringer: the Man who Invented the Past
Closing the Gap Between Specification and Programming: VDM++ and Scala
Hinrichs, TimothyModel Check What You Can, Runtime Verify the Rest
Huizing, CornelisPandora's Box
J
Jones, CliffCan a system learn from interactive proofs?
K
Kuiper, RuurdPandora's Box
Kwiatkowska, MartaOn Incremental Quantitative Verification for Probabilistic Systems
L
Lowe, GavinModel checking Timed CSP
Luit, Erik J.Pandora's Box
M
Middelkoop, RonaldPandora's Box
Mounier, LaurentOn the Expressiveness of some Runtime Validation Techniques
O
Ouaknine, JoelModel checking Timed CSP
P
Parker, DavidOn Incremental Quantitative Verification for Probabilistic Systems
Peled, DoronDistributed Control Synthesis
Q
Qu, HongyangOn Incremental Quantitative Verification for Probabilistic Systems
R
Roscoe, BillModel checking Timed CSP
Rydeheard, DavidA note on first-order reasoning for minimum models
S
Sanchez, Jesus Hector DominguezA note on first-order reasoning for minimum models
Schewe, SvenDistributed Control Synthesis
Schild, Uri J.The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Sistla, A. PrasadModel Check What You Can, Runtime Verify the Rest
Stevens, KenA Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines
Stirling, ColinA Tableau Proof System with Names for Modal Mu-calculus
Su, LiCognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems
T
Thompson, SimonExtended Abstract: Getting Engaged
U
Ujma, MateuszOn Incremental Quantitative Verification for Probabilistic Systems
V
Velykis, AndriusCan a system learn from interactive proofs?
Z
Zuck, LenoreModel Check What You Can, Runtime Verify the Rest