Jim Cunningham
Orcid: 0000-0003-0606-2168Affiliations:
- Imperial College London, UK
According to our database1,
Jim Cunningham
authored at least 37 papers
between 1976 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
6
1
2
3
1
1
1
1
2
1
1
1
1
1
1
1
3
1
1
1
1
1
2
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on doc.ic.ac.uk
On csauthors.net:
Bibliography
2015
Proceedings of the 8th International Conference on Educational Data Mining, 2015
2009
Verifying realizability and reachability in recursive interaction protocol specifications.
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
2008
Synchronization protocols for reliable communication in fully distributed agent systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Deriving agent-centred representations of protocols described using propositional statecharts.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
2006
Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006
2005
'R-What?' Development of a role-based access control policy-writing tool for e-Scientists.
Softw. Pract. Exp., 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
2004
Proceedings of the First International Workshop on Euler Diagrams, 2004
2003
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
Verification of Protocols for Automated Negotiation.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001
1999
Agents in the box.
Proceedings of the Human-Computer Interaction: Communication, 1999
1998
Proceedings of the Trends in Distributed Systems for Electronic Commerce, 1998
1997
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997
1996
Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management.
Comput. Support. Cooperative Work., 1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
A Testbed for Animating Multi-Agent Systems.
Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996
1995
Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report.
Proceedings of the Eighth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1995
A Multi-Agent Framework for Inter-Organizational Applications.
Proceedings of the First International Conference on Multiagent Systems, 1995
1994
Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994
1992
Towards Tableau Theorem-Proving with Analytic Cut.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
1991
1990
Proceedings of the Attribute Grammars and their Applications, 1990
Proceedings of the 12th International Conference on Software Engineering, 1990
1986
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
1983
1979
Proceedings of the 4th International Conference on Software Engineering, 1979
1978
Softw. Pract. Exp., 1978
1976
Softw. Pract. Exp., 1976