Search the dblp DataBase

Publications of Author

1. Li Jiao, To-Yat Cheung, Weiming Lu
   Characterizing Liveness of Petri Nets in Terms of Siphons. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2002, pp:203-216 [Conf]
   
2. Li Jiao
   Compositional analysis for regularity, liveness and boundedness. [Citation Graph (0, 0)][DBLP]
   ICINCO, 2005, pp:169-174 [Conf]
   
3. H. J. Huang, Li Jiao, To-Yat Cheung
   Property-preserving composition of augmented marked graphs that share common resources. [Citation Graph (0, 0)][DBLP]
   ICRA, 2003, pp:1446-1451 [Conf]
   
4. Liang Sun, Li Jiao, Yufeng Wang, Shiduan Cheng, Wendong Wang
   An Adaptive Group-Based Reputation System in Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP]
   WINE, 2005, pp:651-659 [Conf]
   
5. Li Jiao
   Decomposition of Nets and Verification in terms of Decomposition. [Citation Graph (0, 0)][DBLP]
   CIMCA/IAWTIC, 2005, pp:804-809 [Conf]
   
6. Li Jiao, To-Yat Cheung, Weiming Lu
   Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2005, v:48, n:6, pp:692-701 [Journal]
   
7. Li Jiao, To-Yat Cheung
   Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:641-658 [Journal]
   
8. Li Jiao, Hejiao Huang, To-Yat Cheung
   Property-preserving Composition by Place Merging. [Citation Graph (0, 0)][DBLP]
   Journal of Circuits, Systems, and Computers, 2005, v:14, n:4, pp:793-812 [Journal]
   
9. H. J. Huang, Li Jiao, To-Yat Cheung
   Property-preserving subnet reductions for designing manufacturing systems with shared resources. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:332, n:1-3, pp:461-485 [Journal]
   
10. Li Jiao, To-Yat Cheung, Weiming Lu
    On liveness and boundedness of asymmetric choice nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:165-197 [Journal]
    
11. Xiaowei Huang, Li Jiao, Weiming Lu
    What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. [Citation Graph (0, 0)][DBLP]
    ICICS, 2007, pp:334-349 [Conf]
    
12. 
    Canonical Transition Set Semantics for Petri Nets. [Citation Graph (, )][DBLP]
    
    
13. 
    Weak Parametric Failure Equivalences and Their Congruence Formats. [Citation Graph (, )][DBLP]
    
    
14. 
    A method for verifying deadlock freedom and liveness of petri nets. [Citation Graph (, )][DBLP]
    
    
15. 
    Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. [Citation Graph (, )][DBLP]