Author of the publication

A model for abstract process specification, verification and composition.

, , , and . ICSOC, page 232-241. ACM, (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

RAMP: Real-Time Anomaly Detection in Scientific Workflows., , , , and . IEEE BigData, page 1367-1374. IEEE, (2019)Computational Methods for Analysis of Cryptic Recombination in the Performance of Genomic Recombination Detection Software., , , , , , , and . AINA Workshops (1), page 707-712. IEEE Computer Society, (2007)Graph Matching Based Authorization Model for Efficient Secure XML Querying., , , and . AINA Workshops (2), page 473-478. IEEE Computer Society, (2007)A Survey of Modern Scientific Workflow Scheduling Algorithms and Systems in the Era of Big Data., , and . SCC, page 132-141. IEEE, (2020)A Sufficient and Necessary Condition for the Consistency of XML DTDs., , , and . ER (Workshops), volume 2814 of Lecture Notes in Computer Science, page 250-260. Springer, (2003)Fast search in DNA sequence databases using punctuation and indexing., , and . ACST, page 351-356. IASTED/ACTA Press, (2006)Coclustering Based Parcellation of Human Brain Cortex Using Diffusion Tensor MRI., , , , and . ISBRA, volume 4463 of Lecture Notes in Computer Science, page 539-550. Springer, (2007)Model Checking the Secure Electronic Transaction (SET) Protocol., and . MASCOTS, page 358-364. IEEE Computer Society, (1999)A Granular Concurrency Control for Collaborative Scientific Workflow Composition., , and . IEEE SCC, page 410-417. IEEE Computer Society, (2011)Analysis of Scientific Workflow Provenance Access Control Policies., , , and . IEEE SCC, page 266-273. IEEE Computer Society, (2012)