An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (SEFM, 2004)

Semantics of BPEL4WS-Like Fault and Compensation Handling. - Zongyan Qiu; Shuling Wang; Geguang Pu; Xiangpeng Zhao (FM, 2005)

Towards the Semantics and Verification of BPEL4WS. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu (WLFM@FM, 2005)

Verifying BPEL Workflows Under Authorisation Constraints. - Xiangpeng Zhao; Antonio Cerone; Padmanabhan Krishnan (Business Process Management, 2006)

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. - Geguang Pu; Huibiao Zhu; Zongyan Qiu; Shuling Wang; Xiangpeng Zhao; Jifeng He 001 (FMOODS, 2006)

A Type System for the Relational Calculus of Object Systems. - Liang Zhao; Xiangpeng Zhao; Quan Long; Zongyan Qiu (ICECCS, 2006)

Type Checking Choreography Description Language. - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Geguang Pu (ICFEM, 2006)

Model Checking Dynamic UML Consistency. - Xiangpeng Zhao; Quan Long; Zongyan Qiu (ICFEM, 2006)

A Formal Model forWeb Service Choreography Description Language (WS-CDL). - Hongli Yang; Xiangpeng Zhao; Zongyan Qiu; Geguang Pu; Shuling Wang (ICWS, 2006)

Patterns with Algebraic Properties in BPEL0. - Geguang Pu; Huibiao Zhu; Jifeng He 001; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao (ISoLA, 2006)

Towards the Formal Model and Verification of Web Service Choreography Description Language. - Xiangpeng Zhao; Hongli Yang; Zongyan Qiu (WS-FM, 2006)

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. - Hongli Yang; Xiangpeng Zhao; Chao Cai 002; Zongyan Qiu (FORTE, 2007)

A QoS View ofWeb Service Choreography. - Xiangpeng Zhao; Chao Cai 002; Hongli Yang; Zongyan Qiu (ICEBE, 2007)

Towards a Theory of Web Service Choreographies. - Jianwen Su; Tevfik Bultan; Xiang Fu 001; Xiangpeng Zhao (WS-FM, 2007)

Towards the theoretical foundation of choreography. - Zongyan Qiu; Xiangpeng Zhao; Chao Cai 002; Hongli Yang (WWW, 2007)

A Formal Model for Channel Passing in Web Service Composition. - Chao Cai 002; Hongli Yang; Xiangpeng Zhao; Zongyan Qiu (IEEE SCC (2), 2008)

Correct Channel Passing by Construction. - Chao Cai 002; Zongyan Qiu; Xiangpeng Zhao; Hongli Yang (ICFEM, 2008)

A Formal Model of Human Workflow. - Xiangpeng Zhao; Zongyan Qiu; Chao Cai 002; Hongli Yang (ICWS, 2008)

Model-Checking of Web Services Choreography. - Hongli Yang; Xiangpeng Zhao; Chao Cai 002; Zongyan Qiu (SOSE, 2008)

Reasoning about Channel Passing in Choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu (TASE, 2008)

Enforcing Constraints on Life Cycles of Business Artifacts. - Xiangpeng Zhao; Jianwen Su; Hongli Yang; Zongyan Qiu (TASE, 2009)

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. - Chao Cai 002; Zongyan Qiu; Hongli Yang; Xiangpeng Zhao (J. Comput. Sci. Technol., 2009)

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. - Hongli Yang; Liang Zhou; Kang He; Chen Deng; Xiangpeng Zhao; Zongyan Qiu (QSIC, 2010)

Algorithms for checking channel passing in web service choreography. - Hongli Yang; Chao Cai 002; Liyang Peng; Xiangpeng Zhao; Zongyan Qiu; Shengchao Qin (Frontiers Comput. Sci., 2013)

Efficient Identification of TOP-K Heavy Hitters over Sliding Windows. - Haina Tang; Yulei Wu; Tong Li 012; Chunjing Han; Jingguo Ge; Xiangpeng Zhao (Mob. Networks Appl., 2019)

A multilayer recognition model for twitter user geolocation. - Haina Tang; Xiangpeng Zhao; Yongmao Ren (Wirel. Networks, 2022)