Geguang Pu

2007
22	EE	Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88
21	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
20	EE	Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73
19	EE	Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166
18	EE	Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245
17	EE	Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268
16	EE	Jing Li, Huibiao Zhu, Geguang Pu: Conformance Validation between Choreography and Orchestration. TASE 2007: 473-482
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] [21]
2	Zheng Chen	[1]
3	Jifeng He	[2] [3] [4] [5] [8] [11] [12] [13] [14] [15] [17] [18] [19] [20] [22]
4	Dang Van Hung	[3] [4]
5	Lu Jin	[22]
6	Jing Li	[11] [16] [17] [18] [19] [20]
7	Zuoquan Lin	[8]
8	Jing Liu	[22]
9	Shengping Liu	[1]
10	Wenyin Liu (Liu Wenyin)	[1]
11	Wei-Ying Ma	[1]
12	Yi Qian	[21]
13	Zongyan Qiu	[2] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14]
14	Jianqi Shi	[22]
15	Shuling Wang	[2] [6] [7] [9] [13]
16	Zheng Wang	[21] [22]
17	Yuming Xu	[21]
18	Hongli Yang	[9] [10]
19	Wang Yi	[2] [3] [4] [12]
20	Chong Zhang	[8] [12]
21	Xiangpeng Zhao	[2] [6] [7] [9] [10] [13]
22	Huibiao Zhu	[11] [13] [15] [16] [17] [18] [19] [20] [21]