A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. - Gongyuan Zhang; Bixin Li (APSCC, 2010)

Verifying the Concurrent Properties in BPEL Based Web Service Composition Process. - Bixin Li; Shunhui Ji; Dong Qiu; Hareton Leung; Gongyuan Zhang (IEEE Trans. Netw. Serv. Manag., 2013)

Orthogonal Coded Multi-view Structured Light for Inter-view Interference Elimination. - Zaichao Sun; Guochao Qian; Zhaoyu Peng; Weiju Dai; Dongjun Sun; Gongyuan Zhang; Nongtao Zhang; Jun Xu; Ren Wang; Chunlin Li 011 (VCIP, 2020)