Xiangpeng Zhao

26 papers A* 1A 3B 3C 5Misc 2Journal 4Unranked 8

Year	Rank	Type	Title / 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