Xiangpeng Zhao - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2022

A multilayer recognition model for twitter user geolocationHaina Tang, Xiangpeng Zhao, Yongmao Ren. winet, 28(3):1197-1202, 2022. [doi]

2019

Efficient Identification of TOP-K Heavy Hitters over Sliding WindowsHaina Tang, Yulei Wu, Tong Li 0012, Chunjing Han, Jingguo Ge, Xiangpeng Zhao. monet, 24(5):1732-1741, 2019. [doi]

2013

Algorithms for checking channel passing in web service choreographyHongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin. fcsc, 7(5):710-728, 2013. [doi]

2010

A Probabilistic QoS Model-Checking for Dynamic Routing ProtocolHongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu. qsic 2010: 441-448 [doi]

2009

Global-to-Local Approach to Rigorously Developing Distributed System with Exception HandlingChao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao. jcst, 24(2):238-249, 2009. [doi]

Enforcing Constraints on Life Cycles of Business ArtifactsXiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu. tase 2009: 111-118 [doi]

2008

2007

2006

Towards the Semantics and Verification of BPEL4WSGeguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu. ENTCS, 151(2):33-52, 2006. [doi]

Theoretical Foundations of Scope-Based Compensable Flow Language for Web ServiceGeguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He. fmoods 2006: 251-266 [doi]

Patterns with Algebraic Properties in BPEL0Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao. ISoLA 2006: 363-370 [doi]

A Formal Model forWeb Service Choreography Description Language (WS-CDL)Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang. icws 2006: 893-894 [doi]

Type Checking Choreography Description LanguageHongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu. icfem 2006: 264-283 [doi]

Model Checking Dynamic UML ConsistencyXiangpeng Zhao, Quan Long, Zongyan Qiu. icfem 2006: 440-459 [doi]

Towards the Formal Model and Verification of Web Service Choreography Description LanguageXiangpeng Zhao, Hongli Yang, Zongyan Qiu. wsfm 2006: 273-287 [doi]

A Type System for the Relational Calculus of Object SystemsLiang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu. ICECCS 2006: 189-198 [doi]

2005

Semantics of BPEL4WS-Like Fault and Compensation HandlingZongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao. FM 2005: 350-365 [doi]

2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices ModelGeguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi. SEFM 2004: 376-385 [doi]

Sign in or sign up to see more results.

runs on WebDSL