| 2015 | EDM | Reimagining Khan Analytics for Student Coaches. | Jim Cunningham |
| 2006 | DIAGRAMS | Modularity and Composition in Propositional Statecharts. | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally |
| 2003 | KES | Ontological Foundations of Natural Language Communication in Multiagent Systems. | Luc Schneider, Jim Cunningham |
| 2002 | ECAI | Verification of Protocols for Automated Negotiation. | Shamimabi Paurobally, Jim Cunningham |
| 1999 | HCI | Agents in the box. | Gulden Uchyigit, Bjrn Carlin, Ewald Quak, Jim Cunningham |
| 1997 | ECSQARU | Representing and Reasoning with Events fron Natural Language. | Miguel Leith, Jim Cunningham |
| 1996 | TABLEAUX | Distributed Modal Theorem Proving with KE. | Jeremy V. Pitt, Jim Cunningham |
| 1992 | TABLEAUX | Towards Tableau Theorem-Proving with Analytic Cut. | Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt |
| 1990 | ICSE | Logical Animation. | M. C. Costa, Jim Cunningham, J. Booth |
| 1986 | CADE | Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. | A. J. J. Dick, Jim Cunningham |
| 1979 | ICSE | Invariants for Specifications. | Jeff Kramer, Jim Cunningham |