Search the dblp DataBase

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. 
   Modeling and verifying BPEL using synchronized net. [Citation Graph (, )][DBLP]
   
   
5. 
   Analysis and Improvement of a Proxy Blind Multi-signature Scheme without a Secure Channel. [Citation Graph (, )][DBLP]
   
   
6. 
   Identity Based Multi-proxy Multi-signcryption Scheme for Electronic Commerce. [Citation Graph (, )][DBLP]
   
   
7. 
   A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. [Citation Graph (, )][DBLP]
   
   
8. 
   A practical method to analyze workflow logic models. [Citation Graph (, )][DBLP]