The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jianwen Xiang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002