Author of the publication

Formal Specification and Verification of Transactional Service Composition.

, , and . SERVICES, page 474-481. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Reusable Model for Data-Centric Web Services., , and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 288-297. Springer, (2009)HadoopMutator: A Cloud-Based Mutation Testing Framework., and . ICSR, volume 8919 of Lecture Notes in Computer Science, page 172-187. Springer, (2015)Shared service recommendations from requirement specifications: A hybrid syntactic and semantic toolkit., , , , , and . Inf. Softw. Technol., (2015)Semantic Kernels for Semantic Parsing., , , , and . EMNLP, page 436-442. ACL, (2014)DAR: A Digital Assets Repository for Library Collections., , and . ECDL, volume 3652 of Lecture Notes in Computer Science, page 116-127. Springer, (2005)Specification and Verification of Data-Centric Web Services.. SERVICES, page 132-135. IEEE Computer Society, (2010)ZamAn and Raqm: Extracting Temporal and Numerical Expressions in Arabic., , and . AIRS, volume 7097 of Lecture Notes in Computer Science, page 562-573. Springer, (2011)Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications., , , and . SEKE, page 592-597. Knowledge Systems Institute Graduate School, (2014)JPrivacy: A java privacy profiling framework for Big Data applications., , and . CollaborateCom, page 501-502. ICST / IEEE, (2014)Combining human and machine computing elements for analysis via crowdsourcing., , , , , and . CollaborateCom, page 312-321. ICST / IEEE, (2014)