| 2008 |
|---|
| 11 | EE | Carlos Molina-Jiménez,
Nick Cook,
Santosh K. Shrivastava:
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption.
ICSOC Workshops 2008: 270-283 |
| 10 | EE | Massimo Strano,
Carlos Molina-Jiménez,
Santosh K. Shrivastava:
A Rule-Based Notation to Specify Executable Electronic Contracts.
RuleML 2008: 81-88 |
| 2007 |
|---|
| 9 | EE | Carlos Molina-Jiménez,
Santosh K. Shrivastava,
Nick Cook:
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware.
EDOC 2007: 51-62 |
| 2006 |
|---|
| 8 | EE | Carlos Molina-Jiménez,
Santosh K. Shrivastava,
Simon Woodman:
On State Synchronization of Business Conversations.
CEC/EEE 2006: 42 |
| 7 | EE | Carlos Molina-Jiménez,
Santosh K. Shrivastava:
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors.
ECOWS 2006: 148-160 |
| 2005 |
|---|
| 6 | EE | Carlos Molina-Jiménez,
Santosh K. Shrivastava,
John P. Warne:
A Method for Specifying Contract Mediated Interactions.
EDOC 2005: 106-118 |
| 2004 |
|---|
| 5 | EE | Carlos Molina-Jiménez,
Jim Pruyne,
Aad P. A. van Moorsel:
The Role of Agreements in IT Management Software.
WADS 2004: 36-58 |
| 4 | EE | Carlos Molina-Jiménez,
Santosh K. Shrivastava,
Ellis Solaiman,
John P. Warne:
Run-time monitoring and enforcement of electronic contracts.
Electronic Commerce Research and Applications 3(2): 108-125 (2004) |
| 2003 |
|---|
| 3 | EE | Carlos Molina-Jiménez,
Santosh K. Shrivastava,
Ellis Solaiman,
John P. Warne:
Contract Representation for Run-time Monitoring and Enforcement.
CEC 2003: 103-110 |
| 2 | EE | Ellis Solaiman,
Carlos Molina-Jiménez,
Santosh K. Shrivastava:
Model Checking Correctness Properties of Electronic Contracts.
ICSOC 2003: 303-318 |
| 1999 |
|---|
| 1 | EE | Carlos Molina-Jiménez,
Lindsay Marshall:
Anonymous and Confidential Communications from an IP Addressless Computer.
HUC 1999: 383-385 |
