The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hanpin Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu
    Formalizing Web Service Choreography Interface. [Citation Graph (0, 0)][DBLP]
    AINA Workshops (2), 2007, pp:576-581 [Conf]
  2. Yunni Xia, Hanpin Wang, Chunxiang Xu, Liang Li
    Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2006, pp:988-995 [Conf]
  3. Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu
    Stochastic modeling and quality evaluation of component-based software systems. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:377-384 [Conf]
  4. Yu Huang, Hanpin Wang
    A petri net semantics for web service choreography. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1689-1690 [Conf]
  5. Hanpin Wang, Qiwen Xu
    Completeness of temporal logics over infinite intervals. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2004, v:136, n:1, pp:87-103 [Journal]
  6. Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia
    Property-Transition-Net-Based Workflow Process Modeling and Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:155-170 [Journal]
  7. Yunni Xia, Hanpin Wang, Yu Huang, L. Yuan
    A stochastic model for workflow QoS evaluation. [Citation Graph (0, 0)][DBLP]
    Scientific Programming, 2006, v:14, n:3-4, pp:251-265 [Journal]
  8. Yu Huang, Hanpin Wang, Wen Zhao, Jiaqi Zhu
    Analyzing Data Dependence Based on Workflow Net. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2007, pp:257-264 [Conf]
  9. WangSen Feng, Li'ang Zhang, Wanling Qu, Hanpin Wang
    Approximation Algorithms for Maximum Edge Coloring Problem. [Citation Graph (0, 0)][DBLP]
    TAMC, 2007, pp:646-658 [Conf]
  10. Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu
    Queuing analysis and performance evaluation of workflow through WFQN. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:178-187 [Conf]

  11. A New Temporal Logic CTL[k-QDDC] and Its Verification. [Citation Graph (, )][DBLP]


  12. A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID. [Citation Graph (, )][DBLP]


  13. On Model Checking Boolean BI. [Citation Graph (, )][DBLP]


  14. Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. [Citation Graph (, )][DBLP]


  15. Modeling and verifying BPEL using synchronized net. [Citation Graph (, )][DBLP]


  16. Refinement of models of software components. [Citation Graph (, )][DBLP]


  17. Prediction of Protein-Protein Interactions Using Subcellular and Functional Localizations. [Citation Graph (, )][DBLP]


  18. Analyzing Service Composition Patterns in BPEL. [Citation Graph (, )][DBLP]


  19. A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. [Citation Graph (, )][DBLP]


  20. A practical method to analyze workflow logic models. [Citation Graph (, )][DBLP]


  21. QoS modeling and analysis of component-based software systems: a stochastic approach. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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