Zhengang Cheng

Toward verification of commitment protocols and their compositions

Munindar P. Singh, Amit K. Chopra, Nirmit Desai, 2007, AAMAS '07.

Automation of Network-Based Scientific Workflows

Arie Shoshani, Scott Klasky, Mladen A. Vouk, 2007, Grid-Based Problem Solving Environments.

Accelerating the scientific exploration process with scientific workflows

Arie Shoshani, Mladen A. Vouk, Ilkay Altintas, 2006 .

A modeling and execution environment for distributed scientific workflows

Calton Pu, Arie Shoshani, Reagan Moore, 2003, 15th International Conference on Scientific and Statistical Database Management, 2003..

Verifying commitment based business protocols and their compositions: model checking using promela and spin

Mladen A. Vouk, Munindar P. Singh, Zhengang Cheng, 2006 .

Composition Constraints for Semantic Web Services

Mladen A. Vouk, Munindar P. Singh, Zhengang Cheng, 2002 .