Static Check of WS-CDL Documents. - Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Zheng Wang 005; Meng Sun; Geguang Pu (SOSE, 2008)

Simulation and validation of Web services choreography. - Lei Zhou 007; Hao Xiao; Jing Ping; Geguang Pu; Hanyi Zhang (SOCA, 2009)

Static validation of WS-CDL documents. - Geguang Pu; Zheng Wang 005; Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Liyang Peng; Meng Sun (Simul. Model. Pract. Theory, 2009)

Automatically Testing Web Services Choreography with Assertions. - Lei Zhou 007; Jing Ping; Hao Xiao; Zheng Wang 005; Geguang Pu; Zuohua Ding (ICFEM, 2010)

Web services choreography validation. - Zheng Wang 005; Lei Zhou 007; Yongxin Zhao; Jing Ping; Hao Xiao; Geguang Pu; Huibiao Zhu (Serv. Oriented Comput. Appl., 2010)

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. - Mingsong Chen 001; Lei Zhou 007; Geguang Pu; Jifeng He 001 (CODES+ISSS, 2013)

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. - Mingsong Chen 001; Fan Gu; Lei Zhou 007; Geguang Pu; Xiao Liu 004 (VLSID, 2014)