|
Search the dblp DataBase
Hanpin Wang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Yu Huang, Hanpin Wang
A petri net semantics for web service choreography. [Citation Graph (0, 0)][DBLP] SAC, 2007, pp:1689-1690 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
A New Temporal Logic CTL[k-QDDC] and Its Verification. [Citation Graph (, )][DBLP]
A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID. [Citation Graph (, )][DBLP]
On Model Checking Boolean BI. [Citation Graph (, )][DBLP]
Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. [Citation Graph (, )][DBLP]
Modeling and verifying BPEL using synchronized net. [Citation Graph (, )][DBLP]
Refinement of models of software components. [Citation Graph (, )][DBLP]
Prediction of Protein-Protein Interactions Using Subcellular and Functional Localizations. [Citation Graph (, )][DBLP]
Analyzing Service Composition Patterns in BPEL. [Citation Graph (, )][DBLP]
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. [Citation Graph (, )][DBLP]
A practical method to analyze workflow logic models. [Citation Graph (, )][DBLP]
QoS modeling and analysis of component-based software systems: a stochastic approach. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|