Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration. - Haiyang Hu; Jianen Xie; JiDong Ge (WAIM Workshops, 2010)

A New Method for Business Process Mining Based on State Equation. - Hua Hu 001; Jianen Xie; Haiyang Hu (WISE Workshops, 2010)