The SCEAS System
Navigation Menu

Search the dblp DataBase


Zongyan Qiu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shengchao Qin, Zongyan Qiu, Jifeng He
    Constructing Hardware/Software Interface Using Protocol Converters. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:141-148 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Quan Long, Zongyan Qiu, Shengchao Qin
    The Equivalence of Statecharts. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:125-143 [Conf]
  6. 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]
  7. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
    Hardware/Software Partitioning in Verilog. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:168-179 [Conf]
  8. Xiangpeng Zhao, Quan Long, Zongyan Qiu
    Model Checking Dynamic UML Consistency. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:440-459 [Conf]
  9. Shuling Wang, Quan Long, Zongyan Qiu
    Type Safety for FJ and FGJ. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:257-271 [Conf]
  10. Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
    POST: A Case Study for an Incremental Development in rCOS. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:485-500 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
    Towards the Formal Model and Verification of Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:273-287 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
    An Algebraic Hardware/Software Partitioning Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2002, v:17, n:3, pp:284-294 [Journal]
  19. Zongyan Qiu
    Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:9, pp:68-71 [Journal]
  20. Naixiao Zhang, Zheng Hongjun, Zongyan Qiu
    Garment: A Mechanism for Abstraction and Encapsulation of Languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:6, pp:53-60 [Journal]
  21. Zongyan Qiu
    Bit Vector Encoding of N-Queen Problem. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:2, pp:68-70 [Journal]
  22. Yang Hongli, Zhao Xiangpeng, Cai Chao, Qiu Zongyan
    Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:81-96 [Conf]
  23. Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
    A Type System for the Relational Calculus of Object Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:189-198 [Conf]
  24. 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]
  25. Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
    Towards the theoretical foundation of choreography. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:973-982 [Conf]
  26. Jing Dong, Tu Peng, Zongyan Qiu
    Commutability of Design Pattern Instantiation and Integration. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:283-292 [Conf]

  27. A Formal Model for Channel Passing in Web Service Composition. [Citation Graph (, )][DBLP]

  28. A QoS View ofWeb Service Choreography. [Citation Graph (, )][DBLP]

  29. Correct Channel Passing by Construction. [Citation Graph (, )][DBLP]

  30. A Formal Model of Human Workflow. [Citation Graph (, )][DBLP]

  31. An Approach to Check Choreography with Channel Passing in WS-CDL. [Citation Graph (, )][DBLP]

  32. Formal Use of Design Patterns and Refactoring. [Citation Graph (, )][DBLP]

  33. Patterns with Algebraic Properties in BPEL0. [Citation Graph (, )][DBLP]

  34. Towards Scalable Compositional Test Generation. [Citation Graph (, )][DBLP]

  35. Model-Checking of Web Services Choreography. [Citation Graph (, )][DBLP]

  36. Verifying BPEL-Like Programs with Hoare Logic. [Citation Graph (, )][DBLP]

  37. A Tool for Estimating Memory Usage. [Citation Graph (, )][DBLP]

  38. A Generic Model for Confinement and its Application. [Citation Graph (, )][DBLP]

  39. Enforcing Constraints on Life Cycles of Business Artifacts. [Citation Graph (, )][DBLP]

  40. Reasoning about Channel Passing in Choreography. [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.009secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002