| 2009 | TASE | Enforcing Constraints on Life Cycles of Business Artifacts. | Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu |
| 2008 | ICFEM | Correct Channel Passing by Construction. | Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
| 2008 | ICWS | A Formal Model of Human Workflow. | Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang |
| 2008 | TASE | Reasoning about Channel Passing in Choreography. | Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu |
| 2007 | FORTE | Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
| 2007 | WWW | Towards the theoretical foundation of choreography. | Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang |
| 2006 | BPM | Verifying BPEL Workflows Under Authorisation Constraints. | Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan |
| 2006 | ICECCS | A Type System for the Relational Calculus of Object Systems. | Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 2006 | ICFEM | Type Checking Choreography Description Language. | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
| 2006 | ICFEM | Model Checking Dynamic UML Consistency. | Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 2006 | ICWS | A Formal Model forWeb Service Choreography Description Language (WS-CDL). | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
| 2006 | ISoLA | Patterns with Algebraic Properties in BPEL0. | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
| 2005 | FM | Semantics of BPEL4WS-Like Fault and Compensation Handling. | Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao |
| 2004 | SEFM | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |