Xiangpeng Zhao

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