Matching Strictly Dependent Global Constraints for Composite Web Services. - Nalaka Gooneratne; Zahir Tari; James Harland (ECOWS, 2007)

Verification of web service descriptions using graph-based traversal algorithms. - Nalaka Gooneratne; Zahir Tari; James Harland (SAC, 2007)

VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. - Nalaka Gooneratne; Zahir Tari; James Harland (ICSOC, 2008)

Matching independent global constraints for composite web services. - Nalaka Gooneratne; Zahir Tari (WWW, 2008)