| 2008 |
|---|
| 17 | EE | Xiaowei Huang,
Li Jiao,
Weiming Lu:
Weak Parametric Failure Equivalences and Their Congruence Formats.
CATS 2008: 15-26 |
| 16 | EE | Li Jiao:
A method for verifying deadlock freedom and liveness of petri nets.
ISCAS 2008: 209-211 |
| 15 | EE | Li Jiao:
A note on regular Petri nets.
Inf. Process. Lett. 108(3): 110-114 (2008) |
| 14 | EE | Li Jiao:
Refining and verifying regular Petri nets.
Int. J. Systems Science 39(1): 17-27 (2008) |
| 13 | EE | 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 | EE | Xiaowei Huang,
Li Jiao,
Weiming Lu:
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
ICICS 2007: 334-349 |
| 2006 |
|---|
| 11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Li Jiao,
To-Yat Cheung,
Weiming Lu:
Characterizing Liveness of Petri Nets in Terms of Siphons.
ICATPN 2002: 203-216 |
