Ahmed Saleh

Affiliations:
  • University of Southampton, School of Electronics and Computer Science, UK


According to our database1, Ahmed Saleh authored at least 6 papers between 2006 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
A Formal Model of Semantic Web Service Ontology (WSMO) Execution.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007
Transitioning Applications to Semantic Web Services: An Automated Formal Approach.
Int. J. Interoperability Bus. Inf. Syst., 2007

Formal Specification of OWL-S with Object-Z: The Dynamic Aspect.
Proceedings of the Web Information Systems Engineering, 2007

Formal Specification of OWL-S with Object-Z: the Static Aspect.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006
A Secure Semantic Interoperability Infrastructure for Inter-Enterprise Sharing of Electronic Healthcare Records.
Proceedings of the Challenges and Opportunities of HealthGrids, 2006


  Loading...