David Robertson

2007
27	EE	Nardine Osman, David Robertson: Dynamic Verification of Trust in Distributed Open Systems. IJCAI 2007: 1440-1445
26	EE	Ronny Siebes, David Dupplaw, Spyros Kotoulas, Adrian Perreau de Pinninck, Frank van Harmelen, David Robertson: The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing. OTM Conferences (1) 2007: 381-390
25	EE	Bruce Taylor, David Robertson, Nirmalie Wiratunga, Susan Craw, Dawn Mitchell, Elaine Stewart: Using computer aided case based reasoning to support clinical reasoning in community occupational therapy. Computer Methods and Programs in Biomedicine 87(2): 170-179 (2007)
2006
24	EE	Nardine Osman, David Robertson, Christopher Walton: Run-time model checking of interaction and deontic models for multi-agent systems. AAMAS 2006: 238-240
23	EE	David Lambert, David Robertson: Selecting Web Services Statistically. CIA 2006: 153-167
22	EE	Nardine Osman, David Robertson, Christopher Walton: Dynamic Model Checking for Multi-agent Systems. DALT 2006: 43-60
21	EE	Xueping Quan, Chris Walton, Dietlind L. Gerloff, Joanna L. Sharman, David Robertson: Peer-to-Peer Experimentation in Protein Structure Prediction: An Architecture, Experiment and Initial Results. GCCB 2006: 75-98
20	EE	David Robertson: Grigoris Antoniou, Frank van Harmelen, A Semantic Web Primer, The MIT Press, April 1, 2004, 272 pp., ISBN 0262012103. Inf. Process. Manage. 42(3): 853 (2006)
2005
19	EE	Jarred McGinnis, David Robertson, Chris Walton: Protocol synthesis with dialogue structure theory. AAMAS 2005: 1329-1330
18	EE	David Lambert, David Robertson: Matchmaking multi-party interactions using historical performance data. AAMAS 2005: 611-617
17	EE	Jarred McGinnis, David Robertson: Dynamic and Distributed Interaction Protocols. Adaptive Agents and Multi-Agent Systems 2005: 167-184
16	EE	Jarred McGinnis, David Robertson, Chris Walton: Protocol Synthesis with Dialogue Structure Theory. ArgMAS 2005: 199-216
15		Jarred McGinnis, David Robertson, Chris Walton: Protocol Synthesis with Dialogue Structure Theory. EUMAS 2005: 179-189
14		Nardine Osman, David Robertson, Christopher Walton: Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. EUMAS 2005: 248-259
13	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition. IAT 2005: 301-307
12	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: A Novel Approach for Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform. ICEBE 2005: 657-664
11	EE	Li Guo, David Robertson, Yun-Heh Chen-Burger: Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform. MATES 2005: 35-46
2004
10	EE	Jarred McGinnis, David Robertson: Realizing Agent Dialogues with Distributed Protocols. AC 2004: 106-119
9	EE	David Robertson: A Lightweight Coordination Calculus for Agent Systems. DALT 2004: 183-197
8	EE	David Robertson: Multi-agent Coordination as Distributed Logic Programming. ICLP 2004: 416-430
2003
7		Derek H. Sleeman, Stephen Potter, David Robertson, W. Marco Schorlemmer: Ontology Extraction for Distributed Environments. Knowledge Transformation for the Semantic Web 2003: 80-91
6	EE	João M. B. Cavalcanti, David Robertson: Web Site Synthesis Based on Computational Logic. Knowl. Inf. Syst. 5(3): 263-287 (2003)
2002
5		David Robertson: Pitfalls of formality in early system design. Sci. Comput. Program. 42(1): 29-38 (2002)
2000
4		Yun-Heh Chen-Burger, David Robertson, Jussi Stader: Formal Support for an Informal Business Modelling Method. International Journal of Software Engineering and Knowledge Engineering 10(1): 49-68 (2000)
1998
3	EE	David Robertson: An empirical study of the LSS specification toolkit in use. Journal of Systems and Software 42(2): 115-123 (1998)
1996
2		David Robertson: Domain Specific Problem Description. SEKE 1996: 206-213
1990
1	EE	David Robertson: Expert systems lab course : P Schnupp, C T Nguyen and L W. Knowl.-Based Syst. 3(2): 122 (1990)

Coauthor Index

1	João M. B. Cavalcanti	[6]
2	Yun-Heh Chen-Burger	[4] [11] [12] [13]
3	Susan Craw	[25]
4	David Dupplaw	[26]
5	Dietlind L. Gerloff	[21]
6	Li Guo	[11] [12] [13]
7	Frank van Harmelen	[26]
8	Spyros Kotoulas	[26]
9	David Lambert	[18] [23]
10	Jarred McGinnis	[10] [15] [16] [17] [19]
11	Dawn Mitchell	[25]
12	Nardine Osman	[14] [22] [24] [27]
13	Adrian Perreau de Pinninck	[26]
14	Stephen Potter	[7]
15	Xueping Quan	[21]
16	W. Marco Schorlemmer	[7]
17	Joanna L. Sharman	[21]
18	Ronny Siebes	[26]
19	Derek H. Sleeman	[7]
20	Jussi Stader	[4]
21	Elaine Stewart	[25]
22	Bruce Taylor	[25]
23	Chris Walton	[15] [16] [19] [21]
24	Christopher Walton	[14] [22] [24]
25	Nirmalie Wiratunga	[25]

Colors in the list of coauthors