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

Fast search in DNA sequence databases using punctuation and indexing., , and . ACST, page 351-356. IASTED/ACTA Press, (2006)A Survey of Modern Scientific Workflow Scheduling Algorithms and Systems in the Era of Big Data., , and . SCC, page 132-141. IEEE, (2020)Model Checking the Secure Electronic Transaction (SET) Protocol., and . MASCOTS, page 358-364. IEEE Computer Society, (1999)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)Graph Matching Based Authorization Model for Efficient Secure XML Querying., , , and . AINA Workshops (2), page 473-478. IEEE Computer Society, (2007)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)RAMP: Real-Time Anomaly Detection in Scientific Workflows., , , , and . IEEE BigData, page 1367-1374. IEEE, (2019)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)A Folksonomy-Based Social Recommendation System for Scientific Workflow Reuse., , and . SCC, page 704-711. IEEE Computer Society, (2015)Service-Oriented Architecture for VIEW: A Visual Scientific Workflow Management System., , , , , , and . IEEE SCC (1), page 335-342. IEEE Computer Society, (2008)