Commitment and Effectiveness of Situated Agents. - David Kinny; Michael P. Georgeff (IJCAI, 1991)

Planned Team Activity. - David Kinny; Magnus Ljungberg; Anand S. Rao; Liz Sonenberg; Gil Tidhar; Eric Werner (MAAMAW, 1992)

Active Databases and Agent Systems - A Comparison. - James Bailey 001; Michael P. Georgeff; David B. Kemp; David Kinny; Kotagiri Ramamohanarao (Rules in Database Systems, 1995)

Modelling and Design of Multi-Agent Systems. - David Kinny; Michael P. Georgeff (ATAL, 1996)

A Methodology and Modelling Technique for Systems of BDI Agents. - David Kinny; Michael P. Georgeff; Anand S. Rao (MAAMAW, 1996)

Panel: Methodologies for Multi-Agent Systems. - David Kinny; Jan Treur; Les Gasser; Steve Clark; Jörg P. Müller (ATAL, 1997)

A Formal Specification of dMARS. - Mark d'Inverno; David Kinny; Michael Luck; Michael J. Wooldridge (ATAL, 1997)

The Agentis Agent Interaction Model. - David Kinny (ATAL, 1998)

Interaction Protocols in Agentis. - Mark d'Inverno; David Kinny; Michael Luck (ICMAS, 1998)

A Methodology for Agent-Oriented Analysis and Design. - Michael J. Wooldridge; Nicholas R. Jennings; David Kinny (Agents, 1999)

The Gaia Methodology for Agent-Oriented Analysis and Design. - Michael J. Wooldridge; Nicholas R. Jennings; David Kinny (Auton. Agents Multi Agent Syst., 2000)

The Psi Calculus: An Algebraic Agent Language. - David Kinny (ATAL, 2001)

Motivational Attitudes of Agents: On Desires, Obligations, and Norms. - Frank Dignum; David Kinny; Liz Sonenberg (CEEMAS, 2001)

Reliable Agent Computation: An Algebraic Approach. - David Kinny (PRIMA, 2001)

Reliable Agent Communication - a Pragmatic Perspective. - David Kinny (New Gener. Comput., 2001)

Fundamentals of agent computation theory: semantics. - David Kinny (2001)

ViP: a visual programming language for plan execution systems. - David Kinny (AAMAS, 2002)

Agents - The Challenge of Relevance to the IT Mainstream. - David Kinny (PROMAS, 2004)

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. - Mark d'Inverno; Michael Luck; Michael P. Georgeff; David Kinny; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2004)

Algebraic specification of agent computation. - David Kinny (Appl. Algebra Eng. Commun. Comput., 2005)

A New Approach to the Snake-In-The-Box Problem. - David Kinny (ECAI, 2012)

Monte-Carlo Search for Snakes and Coils. - David Kinny (MIWAI, 2012)

Parallel Prototyping for Multi-language Service Design: A Case Study on Introducing a Multilingual Tool into a Japanese Local Restaurant. - Hiromichi Cho; David Kinny; Donghui Lin (Culture and Computing, 2013)

Energy-Based Particle Swarm Optimization: Collective Energy Homeostasis in Social Autonomous Robots. - Xin Zhou 008; David Kinny (IAT, 2013)