Jim Cunningham

R. James Cunningham

	2009
35		Hywel R. Dunn-Davies, Jim Cunningham: Verifying realizability and reachability in recursive interaction protocol specifications. AAMAS (2) 2009: 1233-1234
	2008
34		Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Synchronization protocols for reliable communication in fully distributed agent systems. AAMAS (3) 2008: 1539-1542
	2007
33		Hywel R. Dunn-Davies, Jim Cunningham: Deriving agent-centred representations of protocols described using propositional statecharts. AAMAS 2007: 32
	2006
32		Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Modularity and Composition in Propositional Statecharts. Diagrams 2006: 98-103
	2005
31		Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings: A formal framework for agent interaction semantics. AAMAS 2005: 91-98
30		Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Propositional Statecharts for Agent Interaction Protocols. Electr. Notes Theor. Comput. Sci. 134: 55-75 (2005)
29		Sacha Brostoff, Martina Angela Sasse, David W. Chadwick, R. James Cunningham, Uche M. Mbanaso, Sassa Otenko: 'R-What?' Development of a role-based access control policy-writing tool for e-Scientists. Softw., Pract. Exper. 35(9): 835-856 (2005)
	2003
28		Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings: Ensuring consistency in the joint beliefs of interacting agents. AAMAS 2003: 662-669
27		Luc Schneider, Jim Cunningham: Ontological Foundations of Natural Language Communication in Multiagent Systems. KES 2003: 1403-1410
26		Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings: Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. PROMAS 2003: 149-168
	2002
25		Shamimabi Paurobally, Jim Cunningham: Verification of Protocols for Automated Negotiation. ECAI 2002: 43-47
	2001
24		Shamimabi Paurobally, Jim Cunningham: Specifying the Processes and States of Negotiation. AgentLink 2001: 61-77
23		Jim Cunningham, Dov M. Gabbay: Editorial. Logic Journal of the IGPL 9(2): 139-140 (2001)
22		Jim Cunningham: Towards an Axiomatic Theory of Consciousness. Logic Journal of the IGPL 9(2): 325-331 (2001)
	1999
21		Gulden Uchyigit, Bjørn Carlin, Ewald Quak, Jim Cunningham: Agents in the box. HCI (2) 1999: 157-161
	1998
20		Jim Cunningham, Shamimabi Paurobally, Athanassios Diacakis, Lorenz Lorenzen, Gabriel Gross, Stephen McConnell: Satisfying Requirements for Electronic Commerce. Trends in Distributed Systems for Electronic Commerce 1998: 109-128
	1997
19		Miguel Leith, Jim Cunningham: Representing and Reasoning with Events fron Natural Language. ECSQARU-FAPR 1997: 406-420
	1996
18		Martina Angela Sasse, Jim Cunningham, Russel L. Winder: People and Computers XI, Proceedings of HCI '96 Springer 1996
17		Jeremy V. Pitt, Jim Cunningham: Distributed Modal Theorem Proving with KE. TABLEAUX 1996: 160-176
16		Jeremy Pitt, Matthew Anderton, Jim Cunningham: Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management. Computer Supported Cooperative Work 5(2/3): 201-222 (1996)
15		Jeremy Pitt, Jim Cunningham: Theorem Proving and Model Building with the Calculus KE. Logic Journal of the IGPL 4(1): 129-150 (1996)
14		Jim Cunningham: Editorial. Logic Journal of the IGPL 4(3): 353 (1996)
	1995
13		Matthew Anderton, Jim Cunningham, Jeremy Pitt: A Multi-Agent Framework for Inter-Organizational Applications. ICMAS 1995: 435
12		Jeremy Pitt, Jim Cunningham: Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. IEA/AIE 1995: 655-663
	1994
11		Jeremy Pitt, Jim Cunningham, Jong-Hyun Kim: Co-Operative Answering to Natural Language Email Queries. IEA/AIE 1994: 273-281
	1992
10		Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt: Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25
	1990
9		M. C. Costa, Jim Cunningham, J. Booth: Logical Animation. ICSE 1990: 144-149
8		Jeremy V. Pitt, Jim Cunningham: Attributed Translation and the Semantics of Natural Language. WAGA 1990: 284-297
	1986
7		A. J. J. Dick, Jim Cunningham: Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. CADE 1986: 272-280
	1985
6		Jim Cunningham, A. J. J. Dick: Rewrite Systems on a Lattice of Types. Acta Inf. 22(2): 149-169 (1985)
	1983
5		Jim Cunningham, Silvana Zappacosta-Amboldi: Software Tools for First-Order Logic. Softw., Pract. Exper. 13(11): 1019-1025 (1983)
	1979
4		Jeff Kramer, Jim Cunningham: Invariants for Specifications. ICSE 1979: 183-193
	1978
3		Jim Cunningham, Jeff Kramer: An Exercise in Program Design Using SIMULA Class Invariants. Softw., Pract. Exper. 8(3): 355-369 (1978)
	1976
2		Jim Cunningham, M. E. J. Gilford: A Note on the Semantic Definition of Side Effects. Inf. Process. Lett. 4(5): 118-120 (1976)
1		Jim Cunningham, C. G. Pugh: A Language-independent System to Aid the Development of Structured Programs. Softw., Pract. Exper. 6(4): 487-503 (1976)

Coauthor Index

1	Matthew Anderton	[13] [16]
2	J. Booth	[9]
3	Sacha Brostoff	[29]
4	Bjørn Carlin	[21]
5	David W. Chadwick	[29]
6	M. C. Costa	[9]
7	Marcello D'Agostino	[10]
8	Athanassios Diacakis	[20]
9	A. J. J. Dick	[6] [7]
10	Hywel R. Dunn-Davies	[30] [32] [33] [34] [35]
11	Dov M. Gabbay	[23]
12	M. E. J. Gilford	[2]
13	Gabriel Gross	[20]
14	Nicholas R. Jennings (Nick R. Jennings)	[26] [28] [31]
15	Jong-Hyun Kim	[11]
16	Jeff Kramer (Jeffrey Kramer)	[3] [4]
17	Miguel Leith	[19]
18	Lorenz Lorenzen	[20]
19	Uche M. Mbanaso	[29]
20	Stephen McConnell	[20]
21	Sassa Otenko (Alexander Otenko)	[29]
22	Shamimabi Paurobally	[20] [24] [25] [26] [28] [30] [31] [32] [34]
23	Jeremy V. Pitt (Jeremy Pitt)	[8] [10] [11] [12] [13] [15] [16] [17]
24	C. G. Pugh	[1]
25	Ewald Quak	[21]
26	Martina Angela Sasse	[18] [29]
27	Luc Schneider	[27]
28	Gulden Uchyigit	[21]
29	Russel L. Winder	[18]
30	Silvana Zappacosta-Amboldi	[5]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page