Huibiao Zhu Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQin Li, Huibiao Zhu, Jifeng He: A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Yongxin Zhao, Jifeng He: Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference 2009: 297-306
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen Su, Fan Yang, Huibiao Zhu, Qin Li: Modeling MapReduce with CSP. TASE 2009: 301-302
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJieqi Ding, Han Zhu, Huibiao Zhu, Qin Li: Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE 2009: 327-328
2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Huibiao Zhu, Jifeng He: Specifying and Verifying Web Transactions. FORTE 2008: 149-168
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQin Li, Huibiao Zhu, Jifeng He: Towards the Service Composition Through Buses. HASE 2008: 441-444
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Huibiao Zhu, Jifeng He: An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaiyong Jin, Huibiao Zhu: ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA 2008: 237-251
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)
2007
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jifeng He, Jing Li: Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Huibiao Zhu, Jifeng He: Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jifeng He, Jonathan P. Bowen: Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW 2007: 131-143
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQin Li, Huibiao Zhu, Jifeng He: An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Huibiao Zhu, Geguang Pu: Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQin Li, Huibiao Zhu, Jing Li, Jifeng He: Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)
2006
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He: Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin: An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jonathan P. Bowen, Jifeng He: Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466

Coauthor Index

1Jonathan P. Bowen [1] [2] [3] [5] [8] [18] [19] [24]
2Chao Cai [23]
3Jieqi Ding [31]
4Libo Feng [27] [30]
5Jifeng He [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [24] [26] [27] [28] [29] [30] [33] [34]
6Naiyong Jin [4] [25]
7Jing Li [7] [12] [13] [15] [16] [17] [19] [20] [21] [22] [26] [29]
8Qin Li [12] [14] [28] [31] [32] [34]
9Xiaoqing Peng [4]
10Geguang Pu [6] [7] [9] [10] [11] [13] [15] [16] [17] [21] [23] [27] [30]
11Yi Qian [23]
12Shengchao Qin [5]
13Zongyan Qiu [6] [9]
14Wen Su [32]
15Shuling Wang [9]
16Zheng Wang [23] [27] [30]
17Yuming Xu [23]
18Fan Yang [32]
19Hongli Yang [6]
20Xiao Yu [30]
21Xiangpeng Zhao [6] [9]
22Yongxin Zhao [27] [33]
23Han Zhu [31]

Copyright © Tue Nov 10 20:29:05 2009 by Michael Ley (ley@uni-trier.de)