 | 2011 |
|---|
| 12 |       | Xiaowei Huang,
Patrick Maupin,
Ron van der Meyden:
Model Checking Knowledge in Pursuit Evasion Games.
IJCAI 2011: 240-245 |
| 11 | | Xiaowei Huang,
Cheng Luo,
Ron van der Meyden:
Symbolic model checking of probabilistic knowledge.
TARK 2011: 177-186 |
| 2010 |
|---|
| 10 | | Xiaowei Huang,
Cheng Luo,
Ron van der Meyden:
Improved bounded model checking for a fair branching-time temporal epistemic logic.
AAMAS 2010: 1403-1404 |
| 9 | | Xiaowei Huang,
Ron van der Meyden:
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.
ECAI 2010: 549-554 |
| 8 | | Xiaowei Huang,
Cheng Luo,
Ron van der Meyden:
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.
MoChArt 2010: 95-111 |
| 7 | | Xiaowei Huang,
Li Jiao,
Weiming Lu:
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
Comput. J. 53(1): 21-36 (2010) |
| 6 | | Xiaowei Huang,
Li Jiao,
Weiming Lu:
A precongruence format for should testing preorder.
J. Log. Algebr. Program. 79(3-5): 245-263 (2010) |
| 2009 |
|---|
| 5 | | Xiaowei Huang,
Ron van der Meyden:
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.
Australasian Conference on Artificial Intelligence 2009: 11-20 |
| 2008 |
|---|
| 4 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page