Sinnakkrishnan Perumal

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Sinnakkrishnan Perumal, Ambuj Mahanti
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation. HICSS (2008)
Sinnakkrishnan Perumal, Ambuj Mahanti
Applying Graph Search Techniques for Workflow Verification. HICSS (2007)
Sinnakkrishnan Perumal, Ambuj Mahanti
A Graph-Search Based Algorithm for Verifying Workflow Graphs. DEXA Workshops (2005)