The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jiacun Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jiacun Wang, Daniela Rosca, William M. Tepfenhart, Allen Milewski, Michael Stoute
    An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2005, pp:137-152 [Conf]
  2. Jiacun Wang, Daniela Rosca
    Dynamic Workflow Modeling and Verification. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:303-318 [Conf]
  3. Jiacun Wang, Chun Jin, Yi Deng
    Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:436-441 [Conf]
  4. Yi Deng, Jiacun Wang
    Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:270-278 [Conf]
  5. Jiacun Wang, Chun Jin, Yi Deng
    Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1999, pp:77-85 [Conf]
  6. Yi Deng, Jiacun Wang, Rakesh Sinha
    Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:26-0 [Conf]
  7. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai
    Formal Analysis of Software Security System Architectures. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:426-434 [Conf]
  8. Yi Deng, Jiacun Wang
    Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:47-70 [Journal]
  9. Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai
    Constraint Propagation And Progressive Verification For Component-Based Process Model. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:5, pp:471-496 [Journal]
  10. Jiacun Wang, Xudong He, Yi Deng
    Introducing software architecture specification and analysis in SAM through an example. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:7, pp:451-467 [Journal]
  11. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov
    An Approach for Modeling and Analysis of Security System Architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:5, pp:1099-1119 [Journal]
  12. Jiacun Wang, Yi Deng, Gang Xu
    Reachability analysis of real-time systems using time Petri nets. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:5, pp:725-736 [Journal]
  13. Jiacun Wang, Yi Deng, Mengchu Zhou
    Compositional time Petri nets and reduction rules. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:4, pp:562-572 [Journal]
  14. Demin Li, Jie Zhou, Jiacun Wang, Guoliang Wei
    Location Management Cost Estimation for PCS Using Neural Network. [Citation Graph (0, 0)][DBLP]
    ISNN (3), 2007, pp:695-704 [Conf]
  15. Jiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai
    Resource-Constrained Workflow Modeling. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:171-177 [Conf]

  16. Systems Modeling for IP-Based Handoff Using Timed Petri Nets. [Citation Graph (, )][DBLP]


  17. Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks. [Citation Graph (, )][DBLP]


  18. MFDSSF: A Mobile Fuzzy Decision Support System for Firefighter Cooperation in Ad Hoc Networks. [Citation Graph (, )][DBLP]


  19. Inter-organizational Workflow Modeling and Analysis of Incident Command Systems. [Citation Graph (, )][DBLP]


  20. An Efficient Gateway Election and Location Service in Ad Hoc Networks. [Citation Graph (, )][DBLP]


  21. Workflow Resource Requirement Modeling and Analysis. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.035secs
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