dblp.uni-trier.dewww.uni-trier.de

Li Jiao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEXiaowei Huang, Li Jiao, Weiming Lu: Weak Parametric Failure Equivalences and Their Congruence Formats. CATS 2008: 15-26
16EELi Jiao: A method for verifying deadlock freedom and liveness of petri nets. ISCAS 2008: 209-211
15EELi Jiao: A note on regular Petri nets. Inf. Process. Lett. 108(3): 110-114 (2008)
14EELi Jiao: Refining and verifying regular Petri nets. Int. J. Systems Science 39(1): 17-27 (2008)
13EELi Jiao, Hejiao Huang, To-Yat Cheung: Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets. Journal of Circuits, Systems, and Computers 17(3): 365-387 (2008)
2007
12EEXiaowei Huang, Li Jiao, Weiming Lu: What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS 2007: 334-349
2006
11EELi Jiao, To-Yat Cheung: Compositional Verification for Workflow Nets. Journal of Circuits, Systems, and Computers 15(4): 551-570 (2006)
2005
10 Li Jiao: Decomposition of Nets and Verification in terms of Decomposition. CIMCA/IAWTIC 2005: 804-809
9 Li Jiao: Compositional analysis for regularity, liveness and boundedness. ICINCO 2005: 169-174
8EELiang Sun, Li Jiao, Yufeng Wang, Shiduan Cheng, Wendong Wang: An Adaptive Group-Based Reputation System in Peer-to-Peer Networks. WINE 2005: 651-659
7EELi Jiao, To-Yat Cheung, Weiming Lu: Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. Comput. J. 48(6): 692-701 (2005)
6EELi Jiao, Hejiao Huang, To-Yat Cheung: Property-preserving Composition by Place Merging. Journal of Circuits, Systems, and Computers 14(4): 793-812 (2005)
5EEH. J. Huang, Li Jiao, To-Yat Cheung: Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theor. Comput. Sci. 332(1-3): 461-485 (2005)
2004
4EELi Jiao, To-Yat Cheung, Weiming Lu: On liveness and boundedness of asymmetric choice nets. Theor. Comput. Sci. 311(1-3): 165-197 (2004)
2003
3 H. J. Huang, Li Jiao, To-Yat Cheung: Property-preserving composition of augmented marked graphs that share common resources. ICRA 2003: 1446-1451
2EELi Jiao, To-Yat Cheung: Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. Int. J. Found. Comput. Sci. 14(4): 641-658 (2003)
2002
1EELi Jiao, To-Yat Cheung, Weiming Lu: Characterizing Liveness of Petri Nets in Terms of Siphons. ICATPN 2002: 203-216

Coauthor Index

1Shiduan Cheng [8]
2To-Yat Cheung [1] [2] [3] [4] [5] [6] [7] [11] [13]
3H. J. Huang [3] [5]
4Hejiao Huang [6] [13]
5Xiaowei Huang [12] [17]
6Weiming Lu [1] [4] [7] [12] [17]
7Liang Sun [8]
8Wendong Wang [8]
9Yufeng Wang [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)