The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Geguang Pu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.014secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002