Li Jiao

	2012
22		Yunhe Wang, Li Jiao: Using transition set sequences to partition behaviors of petri nets. Acta Inf. 49(1): 15-28 (2012)
	2010
21		Yunhe Wang, Li Jiao: Canonical Transition Set Semantics for Petri Nets. Petri Nets 2010: 84-103
20		Yunhe Wang, Bo Jiang, Li Jiao: Property Checking for 1-Place-Unbounded Petri Nets. TASE 2010: 117-125
19		Xiaowei Huang, Li Jiao, Weiming Lu: Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. Comput. J. 53(1): 21-36 (2010)
18		Xiaowei Huang, Li Jiao, Weiming Lu: A precongruence format for should testing preorder. J. Log. Algebr. Program. 79(3-5): 245-263 (2010)
	2008
17		Xiaowei Huang, Li Jiao, Weiming Lu: Weak Parametric Failure Equivalences and Their Congruence Formats. CATS 2008: 15-26
16		Li Jiao: A method for verifying deadlock freedom and liveness of petri nets. ISCAS 2008: 209-211
15		Li Jiao: A note on regular Petri nets. Inf. Process. Lett. 108(3): 110-114 (2008)
14		Li Jiao: Refining and verifying regular Petri nets. Int. J. Systems Science 39(1): 17-27 (2008)
13		Li 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
12		Xiaowei Huang, Li Jiao, Weiming Lu: What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS 2007: 334-349
	2006
11		Li 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
8		Liang Sun, Li Jiao, Yufeng Wang, Shiduan Cheng, Wendong Wang: An Adaptive Group-Based Reputation System in Peer-to-Peer Networks. WINE 2005: 651-659
7		Li 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)
6		Li Jiao, Hejiao Huang, To-Yat Cheung: Property-preserving Composition by Place Merging. Journal of Circuits, Systems, and Computers 14(4): 793-812 (2005)
5		H. 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
4		Li 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
2		Li 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
1		Li Jiao, To-Yat Cheung, Weiming Lu: Characterizing Liveness of Petri Nets in Terms of Siphons. ICATPN 2002: 203-216

Coauthor Index

1	Shiduan Cheng	[8]
2	To-Yat Cheung	[1] [2] [3] [4] [5] [6] [7] [11] [13]
3	H. J. Huang	[3] [5]
4	Hejiao Huang	[6] [13]
5	Xiaowei Huang	[12] [17] [18] [19]
6	Bo Jiang	[20]
7	Weiming Lu	[1] [4] [7] [12] [17] [18] [19]
8	Liang Sun	[8]
9	Wendong Wang	[8]
10	Yufeng Wang	[8]
11	Yunhe Wang	[20] [21] [22]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page