Ahmed Saleh

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS (2008)
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)
Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins
Formal Specification of OWL-S with Object-Z: the Static Aspect. Web Intelligence (2007)
Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. WISE (2007)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Yuan-Fang Li
Transitioning Applications to Semantic Web Services: An Automated Formal Approach. Int. J. Interoperability Bus. Inf. Syst. 6 (2007)
Mike J. Boniface, E. Rowland Watkins, Ahmed Saleh, Asuman Dogac, Marco Eichelberg
A Secure Semantic Interoperability Infrastructure for Inter-Enterprise Sharing of Electronic Healthcare Records. HealthGrid (2006)