Author of the publication

Formal Verification of BPEL4WS Business Collaborations.

, , and . EC-Web, volume 3182 of Lecture Notes in Computer Science, page 76-85. Springer, (2004)

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

Ztreamy: A middleware for publishing semantic streams on the Web., , , and . J. Web Semant., (2014)Exploiting Wikipedia in Integrating Semantic Annotation with Information Retrieval., , , and . Advances in Web Intelligence and Data Mining, volume 23 of Studies in Computational Intelligence, Springer, (2006)A semantic similarity measure in the context of semantic queries., , , and . Int. J. Comput. Appl. Technol., 33 (4): 285-291 (2008)A Fast Search Algorithm for Vector Quantization Based on Associative Memories., , , and . CIARP, volume 5197 of Lecture Notes in Computer Science, page 487-495. Springer, (2008)WebTLab: A cooccurrence-based approach to KBP 2010 Entity-Linking task., , , and . TAC, NIST, (2010)T-Hoarder: A framework to process Twitter data streams., , and . J. Netw. Comput. Appl., (2017)Predictable remote invocations for distributed stream processing., , and . Future Gener. Comput. Syst., (2020)The maximin support method: an extension of the D'Hondt method to approval-based multiwinner elections., , , and . Math. Program., 203 (1): 107-134 (January 2024)A Semantic Web Portal for Semantic Annotation and Search, , , and . page 580--587. (2006)Detection of Barriers to Mobility in the Smart City Using Twitter., , , and . IEEE Access, (2020)