Search the dblp DataBase

Publications of Author

1. Geguang Pu, Jifeng He, Zongyan Qiu
   An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. [Citation Graph (0, 0)][DBLP]
   DDECS, 2006, pp:151-152 [Conf]
   
2. Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
   Semantics of BPEL4WS-Like Fault and Compensation Handling. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:350-365 [Conf]
   
3. Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
   Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:251-266 [Conf]
   
4. Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
   Towards the Semantics for Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:246-263 [Conf]
   
5. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
   Type Checking Choreography Description Language. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:264-283 [Conf]
   
6. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
   A Formal Model forWeb Service Choreography Description Language (WS-CDL). [Citation Graph (0, 0)][DBLP]
   ICWS, 2006, pp:893-894 [Conf]
   
7. Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
   An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:363-381 [Conf]
   
8. Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
   A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. [Citation Graph (0, 0)][DBLP]
   KES (1), 2006, pp:459-466 [Conf]
   
9. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
   An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:376-385 [Conf]
   
10. Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma
    Building a web thesaurus from web link structure. [Citation Graph (0, 0)][DBLP]
    SIGIR, 2003, pp:48-55 [Conf]
    
11. Geguang Pu, Zongyan Qiu, Jifeng He
    Integrating Time and Resource into Circus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:401-418 [Journal]
    
12. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
    Towards the Semantics and Verification of BPEL4WS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:33-52 [Journal]
    
13. Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
    Exploring optimal solution to hardware/software partitioning for synchronous model. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:4, pp:443-460 [Journal]
    
14. Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
    Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:131-138 [Conf]
    
15. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
    A Formal Model for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:64-73 [Conf]
    
16. Jing Li, Huibiao Zhu, Geguang Pu
    Conformance Validation between Choreography and Orchestration. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:473-482 [Conf]
    
17. 
    The Validation and Verification of WSCDL. [Citation Graph (, )][DBLP]
    
    
18. 
    Execution Semantics for rCOS. [Citation Graph (, )][DBLP]
    
    
19. 
    A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. [Citation Graph (, )][DBLP]
    
    
20. 
    Tool Support for BPEL Verification in ActiveBPEL Engine. [Citation Graph (, )][DBLP]
    
    
21. 
    A Denotational Model for Web Services Choreography. [Citation Graph (, )][DBLP]
    
    
22. 
    Modelling and Verification of Web Navigation. [Citation Graph (, )][DBLP]
    
    
23. 
    Patterns with Algebraic Properties in BPEL0. [Citation Graph (, )][DBLP]
    
    
24. 
    Towards Scalable Compositional Test Generation. [Citation Graph (, )][DBLP]
    
    
25. 
    Static Check of WS-CDL Documents. [Citation Graph (, )][DBLP]
    
    
26. 
    An Operational Approach to BPEL-like Programming. [Citation Graph (, )][DBLP]
    
    
27. 
    Modeling and Verifying Web Services Choreography Using Process Algebra. [Citation Graph (, )][DBLP]
    
    
28. 
    Looking into Compensable Transactions. [Citation Graph (, )][DBLP]
    
    
29. 
    Test Data Generation for Derived Types in C Program. [Citation Graph (, )][DBLP]
    
    
30. 
    A Bigraphical Model of WSBPEL. [Citation Graph (, )][DBLP]
    
    
31. 
    Path-Based Approach to Integration Testing. [Citation Graph (, )][DBLP]
    
    
32. 
    Preface. [Citation Graph (, )][DBLP]
    
    
33. 
    The Verification of rCOS Using Spin. [Citation Graph (, )][DBLP]