Author of the publication

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.

, , , , and . IEEE SCC, page 427-434. IEEE Computer Society, (2009)

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

Probabilistic cloning and orthogonal complementing of an unknown EPR state, , , and . Physica A: Statistical Mechanics and its Applications, (Aug 15, 2005)An Efficient Algorithm for Computing Core Based on Positive Region., , , and . IC-AI, page 628-634. CSREA Press, (2007)Binary partition for itemsets expansion in mining high utility itemsets., , and . Intell. Data Anal., 20 (4): 915-931 (2016)Intelligent information retrieval system using automatic thesaurus construction., , , and . Int. J. General Systems, 40 (4): 395-415 (2011)Energy-Aware Cooperation Strategy With Uncoordinated Group Relays for Delay-Sensitive Services., , , and . IEEE Trans. Vehicular Technology, 63 (5): 2104-2114 (2014)Exact Outage Probability for a Wireless Diversity Network With Spatially Random Mobile Relays., , and . IEEE Communications Letters, 18 (9): 1641-1644 (2014)A distributed storage model for selfish and rational nodes.. BMEI, page 717-722. IEEE, (2013)Hand & eye-vergence dual visual servoing to enhance observability and stability., and . ICRA, page 714-721. IEEE, (2009)Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty., , , , , and . J. Comput. Sci. Technol., 28 (1): 165-187 (2013)A survey on usage of mobile video in Australia., and . OZCHI, page 5-8. ACM, (2010)