From post

Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

, и (Ред.) том 6194 из Lecture Notes in Computer Science, Springer, (2010)

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.

 

Другие публикации лиц с тем же именем

Database and Modeling Systems for the Earth Sciences., , , и . IEEE Data Eng. Bull., 16 (1): 33-37 (1993)Generalizing the Discrete Timed Automaton., и . CIAA, том 2088 из Lecture Notes in Computer Science, стр. 157-169. Springer, (2000)Space-Bounded FOIES., и . PODS, стр. 139-150. ACM Press, (1995)Automated Realization of Business Workflow Specification., , , , , и . ICSOC/ServiceWave Workshops, том 6275 из Lecture Notes in Computer Science, стр. 96-108. (2009)The Internet-of-Things Meets Business Process Management: A Manifesto, , , , , , , , , и 9 other автор(ы). Computing Research Repository, (2017)Counter machines and the safety and disjointness problems for database queries with linear constraints., , и . Where Mathematics, Computer Science, Linguistics and Biology Meet, стр. 127-137. Kluwer Academic Publishers, (2001)First-Order Incremental Evaluation of Datalog Queries., и . DBPL, стр. 295-308. Springer, (1993)Automated composition of e-services: lookaheads., , , и . ICSOC, стр. 252-262. ACM, (2004)Tools for composite web services: a short overview., и . SIGMOD Record, 34 (2): 86-95 (2005)Database theory column: report on PODS 2009.. SIGACT News, 40 (4): 62-63 (2009)