| 2009 |
|---|
| 16 | EE | Wangsen Feng,
Li'ang Zhang,
Hanpin Wang:
Approximation algorithm for maximum edge coloring.
Theor. Comput. Sci. 410(11): 1022-1029 (2009) |
| 2008 |
|---|
| 15 | EE | Jiaqi Zhu,
Hanpin Wang,
Zhongyuan Xu:
A New Temporal Logic CTL[k-QDDC] and Its Verification.
COMPSAC 2008: 235-238 |
| 14 | EE | Chunxiang Xu,
Hanpin Wang,
Wanling Qu:
Modeling and verifying BPEL using synchronized net.
SAC 2008: 2358-2362 |
| 13 | EE | Yu Huang,
Hanpin Wang,
Wen Zhao,
Chunxiang Xu:
A practical method to analyze workflow logic models.
Concurrency and Computation: Practice and Experience 20(1): 41-60 (2008) |
| 12 | EE | Yunni Xia,
Hanpin Wang,
Wangsen Feng,
Yu Huang:
QoS modeling and analysis of component-based software systems: a stochastic approach.
Concurrency and Computation: Practice and Experience 20(12): 1359-1385 (2008) |
| 2007 |
|---|
| 11 | EE | Yu Huang,
Chunxiang Xu,
Hanpin Wang,
Yunni Xia,
Jiaqi Zhu,
Cheng Zhu:
Formalizing Web Service Choreography Interface.
AINA Workshops (2) 2007: 576-581 |
| 10 | | Wangsen Feng,
Wanling Qu,
Hanpin Wang:
Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees.
FCS 2007: 110-113 |
| 9 | EE | Yu Huang,
Hanpin Wang,
Wen Zhao,
Jiaqi Zhu:
Analyzing Data Dependence Based on Workflow Net.
International Conference on Computational Science (3) 2007: 257-264 |
| 8 | EE | Yu Huang,
Hanpin Wang:
A petri net semantics for web service choreography.
SAC 2007: 1689-1690 |
| 7 | EE | Wangsen Feng,
Li'ang Zhang,
Wanling Qu,
Hanpin Wang:
Approximation Algorithms for Maximum Edge Coloring Problem.
TAMC 2007: 646-658 |
| 6 | EE | Yunni Xia,
Hanpin Wang,
Yu Huang,
Wanling Qu:
Queuing analysis and performance evaluation of workflow through WFQN.
TASE 2007: 178-187 |
| 2006 |
|---|
| 5 | EE | Yunni Xia,
Hanpin Wang,
Chunxiang Xu,
Liang Li:
Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets.
International Conference on Computational Science (3) 2006: 988-995 |
| 4 | EE | Yunni Xia,
Hanpin Wang,
Yu Huang,
Chunxiang Xu:
Stochastic modeling and quality evaluation of component-based software systems.
QSIC 2006: 377-384 |
| 3 | EE | Yu Huang,
Hanpin Wang,
Peng Yu,
Yunni Xia:
Property-Transition-Net-Based Workflow Process Modeling and Verification.
Electr. Notes Theor. Comput. Sci. 159: 155-170 (2006) |
| 2 | EE | Yunni Xia,
Hanpin Wang,
Yu Huang,
L. Yuan:
A stochastic model for workflow QoS evaluation.
Scientific Programming 14(3-4): 251-265 (2006) |
| 2004 |
|---|
| 1 | EE | Hanpin Wang,
Qiwen Xu:
Completeness of temporal logics over infinite intervals.
Discrete Applied Mathematics 136(1): 87-103 (2004) |
