 | 2008 |
|---|
| 5 |       | Hai H. Wang,
Nick Gibbins,
Terry R. Payne,
Ahmed Saleh,
Jun Sun:
A Formal Model of Semantic Web Service Ontology (WSMO) Execution.
ICECCS 2008: 111-120 |
| 2007 |
|---|
| 4 | | Hai H. Wang,
Nick Gibbins,
Terry R. Payne,
Ahmed Saleh,
Jun Sun:
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).
ICECCS 2007: 74-86 |
| 3 | | Hai H. Wang,
Terry R. Payne,
Nick Gibbins,
Ahmed Saleh:
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect.
WISE 2007: 237-248 |
| 2 | | Hai H. Wang,
Ahmed Saleh,
Terry R. Payne,
Nick Gibbins:
Formal Specification of OWL-S with Object-Z: the Static Aspect.
Web Intelligence 2007: 431-434 |
| 2001 |
|---|
| 1 | | Richard Beales,
Don Cruickshank,
David De Roure,
Nick Gibbins,
Ben Juby,
Danius T. Michaelides,
Kevin R. Page:
The Pipeline of Enrichment: Supporting Link Creation for Continuous Media.
OHS-7/SC-3/AH-3 2001: 47-58 |
