| * | 2009 |
|---|
| 8 | EE | Ying Sun,
Chunxiang Xu,
Fagen Li,
Yong Yu:
Identity Based Multi-proxy Multi-signcryption Scheme for Electronic Commerce.
IAS 2009: 281-284 |
| 7 | EE | Ying Sun,
Chunxiang Xu,
Qi Xia,
Yong Yu:
Analysis and Improvement of a Proxy Blind Multi-signature Scheme without a Secure Channel.
IAS 2009: 661-664 |
| 6 | EE | Yong Yu,
Chunxiang Xu,
Xinyi Huang,
Yi Mu:
An efficient anonymous proxy signature scheme with provable security.
Computer Standards & Interfaces 31(2): 348-353 (2009) |
| 2008 |
|---|
| 5 | EE | Chunxiang Xu,
Hanpin Wang,
Wanling Qu:
Modeling and verifying BPEL using synchronized net.
SAC 2008: 2358-2362 |
| 4 | 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) |
| 2007 |
|---|
| 3 | EE | Yu Huang,
Chunxiang Xu,
Hanpin Wang,
Yunni Xia,
Jiaqi Zhu,
Cheng Zhu:
Formalizing Web Service Choreography Interface.
AINA Workshops (2) 2007: 576-581 |
| 2006 |
|---|
| 2 | 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 |
| 1 | EE | Yunni Xia,
Hanpin Wang,
Yu Huang,
Chunxiang Xu:
Stochastic modeling and quality evaluation of component-based software systems.
QSIC 2006: 377-384 |
