The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Huibiao Zhu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
    Deriving Operational Semantics from Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:177-0 [Conf]
  2. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
    From Operational Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:449-466 [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. Huibiao Zhu, Jonathan P. Bowen, Jifeng He
    Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:600-612 [Conf]
  5. 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]
  6. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
    Integrating Probability with Time and Shared-Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:179-189 [Conf]
  7. Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
    An Operational Semantics of an Event-Driven System-Level Simulator. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:190-202 [Conf]
  8. Huibiao Zhu, Jifeng He, Jonathan P. Bowen
    From Algebraic Semantics to Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:139-151 [Conf]
  9. 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]
  10. Jing Li, Huibiao Zhu, Jifeng He
    Algebraic Semantics for Compensable Transactions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:306-321 [Conf]
  11. Jing Li, Huibiao Zhu, Geguang Pu
    Conformance Validation between Choreography and Orchestration. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:473-482 [Conf]

  12. Execution Semantics for rCOS. [Citation Graph (, )][DBLP]


  13. A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. [Citation Graph (, )][DBLP]


  14. Tool Support for BPEL Verification in ActiveBPEL Engine. [Citation Graph (, )][DBLP]


  15. Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]


  16. A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. [Citation Graph (, )][DBLP]


  17. Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. [Citation Graph (, )][DBLP]


  18. Formalizing MapReduce with CSP. [Citation Graph (, )][DBLP]


  19. Specifying and Verifying Web Transactions. [Citation Graph (, )][DBLP]


  20. Towards the Service Composition Through Buses. [Citation Graph (, )][DBLP]


  21. Unifying Denotational Semantics with Operational Semantics for Web Services. [Citation Graph (, )][DBLP]


  22. A Denotational Model for Web Services Choreography. [Citation Graph (, )][DBLP]


  23. Formal Approaches to Location Management in Mobile Communications. [Citation Graph (, )][DBLP]


  24. An Observational Model for Transactional Calculus of Services Orchestration. [Citation Graph (, )][DBLP]


  25. A Denotational Semantical Model for Orc Language. [Citation Graph (, )][DBLP]


  26. ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. [Citation Graph (, )][DBLP]


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


  28. Algebraic Approach to Linking the Semantics of Web Services. [Citation Graph (, )][DBLP]


  29. Denotational Approach to an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]


  30. Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. [Citation Graph (, )][DBLP]


  31. An Inconsistency Free Formalization of B/S Architecture. [Citation Graph (, )][DBLP]


  32. An Operational Approach to BPEL-like Programming. [Citation Graph (, )][DBLP]


  33. Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. [Citation Graph (, )][DBLP]


  34. Modeling and Verifying Web Services Choreography Using Process Algebra. [Citation Graph (, )][DBLP]


  35. Looking into Compensable Transactions. [Citation Graph (, )][DBLP]


  36. Modeling MapReduce with CSP. [Citation Graph (, )][DBLP]


  37. Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. [Citation Graph (, )][DBLP]


  38. Formal Modeling and Analyzing Kerberos Protocol. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
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