| 2007 |
| 20 | EE | David Argles,
Alex Pease,
Robert John Walters:
An Improved Approach to Secure Authentication and Signing.
AINA Workshops (1) 2007: 119-123 |
| 19 | EE | Stephen Crouch,
Peter Henderson,
Robert John Walters:
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data.
COMPSAC (1) 2007: 583-590 |
| 18 | EE | Gary B. Wills,
Noura Abbas,
Rakhi Chandrasekharan,
Richard M. Crowder,
Lester Gilbert,
Yvonne Margaret Howard,
David E. Millard,
Sylvia C. Wong,
Robert John Walters:
An agile hypertext design methodology.
Hypertext 2007: 181-184 |
| 17 | EE | Robert John Walters,
Peter Henderson,
Stephen Crouch:
Selecting a distributed agreement algorithm.
SAC 2007: 586-587 |
| 2005 |
| 16 | EE | Robert John Walters,
Stephen Crouch:
M-Grid: Using Ubiquitous Web Technologies to Create a Computational Grid.
EGC 2005: 59-67 |
| 15 | | Stephen Crouch,
Peter Henderson,
Robert John Walters:
Building Applications Able to Cope with Problematic Data Using a Datawarp Approach.
ICEIS (1) 2005: 411-414 |
| 14 | EE | Robert John Walters:
Checking of models built using a graphically based formal modelling language.
Journal of Systems and Software 76(1): 55-64 (2005) |
| 13 | EE | Peter Henderson,
Stephen Crouch,
Robert John Walters,
Qinglai Ni:
Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework.
Journal of Systems and Software 76(1): 65-76 (2005) |
| 2004 |
| 12 | EE | Peter Henderson,
Robert John Walters,
Stephen Crouch:
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language.
COMPSAC 2004: 92-98 |
| 11 | | Peter Henderson,
Stephen Crouch,
Robert John Walters:
Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation.
ICEIS (1) 2004: 473-481 |
| 2003 |
| 10 | EE | Peter Henderson,
Stephen Crouch,
Robert John Walters,
Qinglai Ni:
Effects of Introducing Survival Behaviours into Automated Negotiators.
COMPSAC 2003: 506-512 |
| 9 | EE | Robert John Walters:
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.
COMPSAC 2003: 98-104 |
| 8 | EE | Peter Henderson,
Robert John Walters,
Stephen Crouch,
Qinglai Ni:
DataWarp: Building Applications Which Make Progress in an Inconsistent World.
DAIS 2003: 167-178 |
| 2002 |
| 7 | EE | Peter Henderson,
Stephen Crouch,
Robert John Walters,
Qinglai Ni:
Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 137-150 |
| 6 | EE | Robert John Walters:
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems.
COMPSAC 2002: 363-372 |
| 2001 |
| 5 | | Peter Henderson,
Robert John Walters:
Behavioural analysis of component-based systems.
Information & Software Technology 43(3): 161-169 (2001) |
| 4 | EE | Peter Henderson,
Yvonne Margaret Howard,
Robert John Walters:
A tool for evaluation of the software development process.
Journal of Systems and Software 59(3): 355-362 (2001) |
| 1999 |
| 3 | EE | Peter Henderson,
Robert John Walters:
Component-based Systems as an Aid to Design Validation.
ASE 1999: 303-306 |
| 2 | EE | Peter Henderson,
Robert John Walters:
System Design Validation Using Formal Models.
IEEE International Workshop on Rapid System Prototyping 1999: 10-14 |
| 1998 |
| 1 | EE | Keith Phalp,
Peter Henderson,
Robert John Walters,
Geetha Abeysinghe:
RolEnact: role-based enactable models of business processes.
Information & Software Technology 40(3): 123-133 (1998) |