| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Hywel R. Dunn-Davies, Jim Cunningham: Verifying realizability and reachability in recursive interaction protocol specifications. AAMAS (2) 2009: 1233-1234 |
| 2008 | ||
| 4 | EE | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Synchronization protocols for reliable communication in fully distributed agent systems. AAMAS (3) 2008: 1539-1542 |
| 2007 | ||
| 3 | EE | Hywel R. Dunn-Davies, Jim Cunningham: Deriving agent-centred representations of protocols described using propositional statecharts. AAMAS 2007: 32 |
| 2006 | ||
| 2 | EE | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Modularity and Composition in Propositional Statecharts. Diagrams 2006: 98-103 |
| 2005 | ||
| 1 | EE | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Propositional Statecharts for Agent Interaction Protocols. Electr. Notes Theor. Comput. Sci. 134: 55-75 (2005) |
| 1 | Jim Cunningham (R. James Cunningham) | [1] [2] [3] [4] [5] |
| 2 | Shamimabi Paurobally | [1] [2] [4] |