Xiangpeng Zhao

According to our database, Xiangpeng Zhao authored at least 26 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A multilayer recognition model for twitter user geolocation.

Haina Tang, Xiangpeng Zhao, Yongmao Ren

Wirel. Networks, 2022

2019

Efficient Identification of TOP-K Heavy Hitters over Sliding Windows.

Haina Tang, Yulei Wu, Tong Li, Chunjing Han, Jingguo Ge, Xiangpeng Zhao

Mob. Networks Appl., 2019

2013

Algorithms for checking channel passing in web service choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin

Frontiers Comput. Sci., 2013

2010

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.

Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the 10th International Conference on Quality Software, 2010

2009

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.

Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

J. Comput. Sci. Technol., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.

Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu

Proceedings of the TASE 2009, 2009

2008

Reasoning about Channel Passing in Choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model-Checking of Web Services Choreography.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Formal Model of Human Workflow.

Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.

Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang

Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.

Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

Towards the theoretical foundation of choreography.

Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang

Proceedings of the 16th International Conference on World Wide Web, 2007

Towards a Theory of Web Service Choreographies.

Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A QoS View ofWeb Service Choreography.

Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu

Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Towards the Formal Model and Verification of Web Service Choreography Description Language.

Xiangpeng Zhao, Hongli Yang, Zongyan Qiu

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Patterns with Algebraic Properties in BPEL0.

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Model Checking Dynamic UML Consistency.

Xiangpeng Zhao, Quan Long, Zongyan Qiu

Proceedings of the Formal Methods and Software Engineering, 2006

Type Checking Choreography Description Language.

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu

Proceedings of the Formal Methods and Software Engineering, 2006

A Type System for the Relational Calculus of Object Systems.

Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Verifying BPEL Workflows Under Authorisation Constraints.

Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Towards the Semantics and Verification of BPEL4WS.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao

Proceedings of the FM 2005: Formal Methods, 2005

2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004