Hywel R. Dunn-Davies

According to our database, Hywel R. Dunn-Davies authored at least 6 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

A Diagrammatic Formalism for the Modular Representation of Agent Interaction Protocols.

Hywel R. Dunn-Davies

PhD thesis, 2009

Verifying realizability and reachability in recursive interaction protocol specifications.

Hywel R. Dunn-Davies, Jim Cunningham

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Synchronization protocols for reliable communication in fully distributed agent systems.

Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Deriving agent-centred representations of protocols described using propositional statecharts.

Hywel R. Dunn-Davies, Jim Cunningham

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Modularity and Composition in Propositional Statecharts.

Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2004

Propositional Statecharts for Agent Interaction Protocols.

Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally

Proceedings of the First International Workshop on Euler Diagrams, 2004