Xiangpeng Zhao

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A multilayer recognition model for twitter user geolocation.
Wirel. Networks, 2022

2019
Efficient Identification of TOP-K Heavy Hitters over Sliding Windows.
Mob. Networks Appl., 2019

2013
Algorithms for checking channel passing in web service choreography.
Frontiers Comput. Sci., 2013

2010
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.
Proceedings of the 10th International Conference on Quality Software, 2010

2009
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
J. Comput. Sci. Technol., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.
Proceedings of the TASE 2009, 2009

2008
Reasoning about Channel Passing in Choreography.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model-Checking of Web Services Choreography.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Formal Model of Human Workflow.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.
Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Towards the theoretical foundation of choreography.
Proceedings of the 16th International Conference on World Wide Web, 2007

Towards a Theory of Web Service Choreographies.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A QoS View ofWeb Service Choreography.
Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Towards the Formal Model and Verification of Web Service Choreography Description Language.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Patterns with Algebraic Properties in BPEL0.
Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Model Checking Dynamic UML Consistency.
Proceedings of the Formal Methods and Software Engineering, 2006

Type Checking Choreography Description Language.
Proceedings of the Formal Methods and Software Engineering, 2006

A Type System for the Relational Calculus of Object Systems.
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.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Verifying BPEL Workflows Under Authorisation Constraints.
Proceedings of the Business Process Management, 4th International Conference, 2006

2005
Towards the Semantics and Verification of BPEL4WS.
Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.
Proceedings of the FM 2005: Formal Methods, 2005

2004
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004


  Loading...