Geguang Pu

2008
27	EE	Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12
26	EE	Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu: A Bigraphical Model of WSBPEL. TASE 2008: 117-120
25	EE	Geguang Pu, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 207: 1-2 (2008)
24	EE	Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu: The Verification of rCOS Using Spin. Electr. Notes Theor. Comput. Sci. 207: 49-67 (2008)
2007
23	EE	Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88
22	EE	Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100
21	EE	Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73
20	EE	Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166
19	EE	Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245
18	EE	Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268
17	EE	Jing Li, Huibiao Zhu, Geguang Pu: Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482
16	EE	Jifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)
2006
15	EE	Huibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36
14		Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152
13	EE	Geguang 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
12	EE	Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138
11	EE	Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263
10	EE	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
9	EE	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
8	EE	Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He: A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) 2006: 459-466
7	EE	Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu: Towards the Semantics and Verification of BPEL4WS. Electr. Notes Theor. Comput. Sci. 151(2): 33-52 (2006)
2005
6	EE	Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
5	EE	Geguang Pu, Zongyan Qiu, Jifeng He: Integrating Time and Resource into Circus. Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005)
4	EE	Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)
2004
3	EE	Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381
2	EE	Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi: An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385
2003
1	EE	Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma: Building a web thesaurus from web link structure. SIGIR 2003: 48-55

Coauthor Index

1	Chao Cai	[10] [22]
2	Zheng Chen	[1]
3	Libo Feng	[26] [27]
4	Jifeng He	[2] [3] [4] [5] [8] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [23] [27]
5	Dang Van Hung	[3] [4]
6	Lu Jin	[23]
7	Jing Li	[11] [17] [18] [19] [20] [21]
8	Zuoquan Lin	[8]
9	Jing Liu	[23] [24]
10	Shengping Liu	[1]
11	Wenyin Liu (Liu Wenyin)	[1]
12	Wei-Ying Ma	[1]
13	Dingding Mao	[24]
14	Yi Qian	[22]
15	Zongyan Qiu	[2] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14]
16	Jianqi Shi	[23]
17	Ling Shi	[26]
18	Volker Stolz	[25]
19	Shuling Wang	[2] [6] [7] [9] [13]
20	Yifei Wang	[26]
21	Zheng Wang	[22] [23] [24] [27]
22	Yuming Xu	[22]
23	Hongli Yang	[9] [10]
24	Wang Yi	[2] [3] [4] [12]
25	Xiao Yu	[24]
26	Chong Zhang	[8] [12]
27	Min Zhang	[26]
28	Xiangpeng Zhao	[2] [6] [7] [9] [10] [13]
29	Yongxin Zhao	[27]
30	Huibiao Zhu	[11] [13] [15] [16] [17] [18] [19] [20] [21] [22] [27]
31	Longfei Zhu	[26]