12
Publications
438
Citations
10
H-Index
2006
Active since
Affiliations
Zongyan Qiu is an author at Peking University specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisSoftware EngineeringFormal VerificationSystems EngineeringVerificationProgram Analysis
Publications per year
2006–2021
12
12
Towards the theoretical foundation of choreography
Zongyan Qiu, Xiangpeng Zhao, Chao Cai et al. · 2007 · 157 citations
Towards the Semantics and Verification of BPEL4WS
Geguang Pu, Xiangpeng Zhao, Shuling Wang et al. · Electronic Notes in Theoretical Computer Science · 2006 · 78 citations · Full text
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu et al. · 2006 · 69 citations · Full text
Graph transformations for object-oriented refinement
Liang Zhao, Xiaojian Liu, Zhiming Liu et al. · Formal Aspects of Computing · 2008 · 23 citations · Full text
A Formal Model of Human Workflow
Xiangpeng Zhao, Zongyan Qiu, Chao Cai et al. · 2008 · 23 citations
Rows per page
1–5 of 12