Hywel R. Dunn-Davies

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Hywel R. Dunn-Davies, Jim Cunningham
Verifying realizability and reachability in recursive interaction protocol specifications. AAMAS (2) (2009)
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
Synchronization protocols for reliable communication in fully distributed agent systems. AAMAS (3) (2008)
Hywel R. Dunn-Davies, Jim Cunningham
Deriving agent-centred representations of protocols described using propositional statecharts. AAMAS (2007)
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
Modularity and Composition in Propositional Statecharts. Diagrams (2006)
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
Propositional Statecharts for Agent Interaction Protocols. Electron. Notes Theor. Comput. Sci. 134 (2005)