A Note on the Semantic Definition of Side Effects. - Jim Cunningham; M. E. J. Gilford (Inf. Process. Lett., 1976)

A Language-independent System to Aid the Development of Structured Programs. - Jim Cunningham; C. G. Pugh (Softw. Pract. Exp., 1976)

An Exercise in Program Design Using SIMULA Class Invariants. - Jim Cunningham; Jeff Kramer (Softw. Pract. Exp., 1978)

Invariants for Specifications. - Jeff Kramer; Jim Cunningham (ICSE, 1979)

Software Tools for First-Order Logic. - Jim Cunningham; Silvana Zappacosta-Amboldi (Softw. Pract. Exp., 1983)

Rewrite Systems on a Lattice of Types. - Jim Cunningham; A. J. J. Dick (Acta Informatica, 1985)

Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. - A. J. J. Dick; Jim Cunningham (CADE, 1986)

Logical Animation. - M. C. Costa; Jim Cunningham; J. Booth (ICSE, 1990)

Attributed Translation and the Semantics of Natural Language. - Jeremy V. Pitt; Jim Cunningham (WAGA, 1990)

Proving properties of a safety-critical system. - Will Atkinson; Jim Cunningham (Softw. Eng. J., 1991)

Towards Tableau Theorem-Proving with Analytic Cut. - Jim Cunningham; Marcello D'Agostino; Jeremy V. Pitt (TABLEAUX, 1992)

Co-Operative Answering to Natural Language Email Queries. - Jeremy Pitt; Jim Cunningham; Jong-Hyun Kim (IEA/AIE, 1994)

A Multi-Agent Framework for Inter-Organizational Applications. - Matthew Anderton; Jim Cunningham; Jeremy Pitt (ICMAS, 1995)

Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. - Jeremy Pitt; Jim Cunningham (IEA/AIE, 1995)

A Testbed for Animating Multi-Agent Systems. - Jim Cunningham; Lloyd Daniel Kamara; Jeremy Pitt (PAAM, 1996)

Distributed Modal Theorem Proving with KE. - Jeremy V. Pitt; Jim Cunningham (TABLEAUX, 1996)

Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management. - Jeremy Pitt; Matthew Anderton; Jim Cunningham (Comput. Support. Cooperative Work., 1996)

Editorial. - Jim Cunningham (Log. J. IGPL, 1996)

Theorem Proving and Model Building with the Calculus KE. - Jeremy Pitt; Jim Cunningham (Log. J. IGPL, 1996)

Representing and Reasoning with Events fron Natural Language. - Miguel Leith; Jim Cunningham (ECSQARU-FAPR, 1997)

Satisfying Requirements for Electronic Commerce. - Jim Cunningham; Shamimabi Paurobally; Athanassios Diacakis; Lorenz Lorenzen; Gabriel Gross; Stephen McConnell (Trends in Distributed Systems for Electronic Commerce, 1998)

Agents in the box. - Gulden Uchyigit; Bjørn Carlin; Ewald Quak; Jim Cunningham (HCI (2), 1999)

Specifying the Processes and States of Negotiation. - Shamimabi Paurobally; Jim Cunningham (AgentLink, 2001)

Towards an Axiomatic Theory of Consciousness. - Jim Cunningham (Log. J. IGPL, 2001)

Editorial. - Jim Cunningham; Dov M. Gabbay (Log. J. IGPL, 2001)

Verification of Protocols for Automated Negotiation. - Shamimabi Paurobally; Jim Cunningham (ECAI, 2002)

Ensuring consistency in the joint beliefs of interacting agents. - Shamimabi Paurobally; Jim Cunningham; Nicholas R. Jennings (AAMAS, 2003)

Ontological Foundations of Natural Language Communication in Multiagent Systems. - Luc Schneider; Jim Cunningham (KES, 2003)

Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. - Shamimabi Paurobally; Jim Cunningham; Nicholas R. Jennings (PROMAS, 2003)

Propositional Statecharts for Agent Interaction Protocols. - Hywel R. Dunn-Davies; Jim Cunningham; Shamimabi Paurobally (Euler, 2004)

A formal framework for agent interaction semantics. - Shamimabi Paurobally; Jim Cunningham; Nicholas R. Jennings (AAMAS, 2005)

'R-What?' Development of a role-based access control policy-writing tool for e-Scientists. - Sacha Brostoff; Martina Angela Sasse; David W. Chadwick; R. James Cunningham; Uche M. Mbanaso; Sassa Otenko (Softw. Pract. Exp., 2005)

Modularity and Composition in Propositional Statecharts. - Hywel R. Dunn-Davies; Jim Cunningham; Shamimabi Paurobally (Diagrams, 2006)

Deriving agent-centred representations of protocols described using propositional statecharts. - Hywel R. Dunn-Davies; Jim Cunningham (AAMAS, 2007)

Synchronization protocols for reliable communication in fully distributed agent systems. - Hywel R. Dunn-Davies; Jim Cunningham; Shamimabi Paurobally (AAMAS (3), 2008)

Verifying realizability and reachability in recursive interaction protocol specifications. - Hywel R. Dunn-Davies; Jim Cunningham (AAMAS (2), 2009)

Reimagining Khan Analytics for Student Coaches. - Jim Cunningham (EDM, 2015)