Search the dblp DataBase

Publications of Author

1. Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
   Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. [Citation Graph (0, 0)][DBLP]
   CIT, 2004, pp:1100-1107 [Conf]
   
2. Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
   Fault Tree and Formal Methods in System Safety Analysis. [Citation Graph (0, 0)][DBLP]
   CIT, 2004, pp:1108-1115 [Conf]
   
3. Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
   Formal fault tree construction and system safety analysis. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering, 2004, pp:378-384 [Conf]
   
4. Jianwen Xiang, Kazuhiro Ogata
   Formal Fault Tree Analysis of State Transition Systems. [Citation Graph (0, 0)][DBLP]
   QSIC, 2005, pp:124-134 [Conf]
   
5. Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
   Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. [Citation Graph (0, 0)][DBLP]
   WEBIST (2), 2006, pp:5-12 [Conf]
   
6. Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
   Formal construction model and specification of fault tree. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering and Applications, 2004, pp:374-381 [Conf]
   
7. 
   Formal digital license language with OTS/CafeOBJ method. [Citation Graph (, )][DBLP]
   
   
8. 
   A Goal-Directed Human Activity Computing Model. [Citation Graph (, )][DBLP]