Author of the publication

Timed Web Services Analysis after Removing Complex Implicit Transitions.

, , and . ICWS, page 153-160. 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

Typing constraint logic programs., and . Theory Pract. Log. Program., 1 (6): 751-777 (2001)Surcharge et sous-typage dans TCLP., and . JFPLC, page 273-. (2002)Localized Feature Ranking approach for Multi-Target Regression., , , , and . IJCNN, page 1-8. IEEE, (2022)Typing constraint logic programs, and . CoRR, (2004)A Type System for CHR., and . CSCLP, volume 3978 of Lecture Notes in Computer Science, page 100-117. Springer, (2005)TCLP: A type checker for CLP(X).. WLPE, volume CW371 of Report, page 17-30. Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), (2003)Access control to materialized views: an inference-based approach., , and . EDBT/ICDT Ph.D. Workshop, page 19-24. ACM, (2011)Consistency checking of role assignments in inter-organizational collaboration., , and . SPRINGL, page 82-88. ACM, (2008)Interactive Mapping Specification with Exemplar Tuples., , , and . ACM Trans. Database Syst., 44 (3): 10:1-10:44 (2019)Supporting Web Service Protocol Changes by Propagation., , and . Web Intelligence, page 438-441. IEEE Computer Society, (2009)