A Graph-Search Based Algorithm for Verifying Workflow Graphs. - Sinnakkrishnan Perumal; Ambuj Mahanti (DEXA Workshops, 2005)

Applying Graph Search Techniques for Workflow Verification. - Sinnakkrishnan Perumal; Ambuj Mahanti (HICSS, 2007)

Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation. - Sinnakkrishnan Perumal; Ambuj Mahanti (HICSS, 2008)