| 2008 |
|---|
| 4 | EE | Xiaowei Huang,
Li Jiao,
Weiming Lu:
Weak Parametric Failure Equivalences and Their Congruence Formats.
CATS 2008: 15-26 |
| 2007 |
|---|
| 3 | | Xiaowei Huang,
Jie Meng:
A Semantic Preorder Combining ST Notion and Fair Testing Semantic.
FCS 2007: 82-88 |
| 2 | EE | Xiaowei Huang,
Li Jiao,
Weiming Lu:
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
ICICS 2007: 334-349 |
| 1 | | Xiaowei Huang,
Jie Meng:
A Modular Petri Net Used in Synchronous Communication of Sequential Processes.
MSV 2007: 194-200 |
