| |
| 2004 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | 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 |
| 1 | EE | Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava: Model Checking Correctness Properties of Electronic Contracts. ICSOC 2003: 303-318 |
| 1 | Carlos Molina-Jiménez | [1] [2] [3] |
| 2 | Santosh K. Shrivastava | [1] [2] [3] |
| 3 | John P. Warne | [2] [3] |