Xiangpeng Zhao

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 2

Top Topics

Computationally Expensive

Recognition Accuracy

Top Venues

Mob. Networks Appl.

Wirel. Networks

Frontiers Comput. Sci.

Publications

Haina Tang, Xiangpeng Zhao, Yongmao Ren
A multilayer recognition model for twitter user geolocation. Wirel. Networks 28 (3) (2022)
Haina Tang, Yulei Wu, Tong Li, Chunjing Han, Jingguo Ge, Xiangpeng Zhao
Efficient Identification of TOP-K Heavy Hitters over Sliding Windows. Mob. Networks Appl. 24 (5) (2019)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7 (5) (2013)
Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC (2010)
Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
Enforcing Constraints on Life Cycles of Business Artifacts. TASE (2009)
Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. 24 (2) (2009)
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Model-Checking of Web Services Choreography. SOSE (2008)
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
Correct Channel Passing by Construction. ICFEM (2008)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu
Reasoning about Channel Passing in Choreography. TASE (2008)
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
A Formal Model of Human Workflow. ICWS (2008)
Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu
A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) (2008)
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE (2007)
Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu
A QoS View ofWeb Service Choreography. ICEBE (2007)
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
Towards the theoretical foundation of choreography. WWW (2007)
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao
Towards a Theory of Web Service Choreographies. WS-FM (2007)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
Type Checking Choreography Description Language. ICFEM (2006)
Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan
Verifying BPEL Workflows Under Authorisation Constraints. Business Process Management (2006)
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
A Type System for the Relational Calculus of Object Systems. ICECCS (2006)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS (2006)
Xiangpeng Zhao, Quan Long, Zongyan Qiu
Model Checking Dynamic UML Consistency. ICFEM (2006)
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
Towards the Semantics and Verification of BPEL4WS. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM (2006)
Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Patterns with Algebraic Properties in BPEL0. ISoLA (2006)
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS (2006)
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
Semantics of BPEL4WS-Like Fault and Compensation Handling. FM (2005)
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM (2004)