| 2006 |
|---|
| 4 | EE | Kaile Su,
Qingliang Chen,
Abdul Sattar,
Weiya Yue,
Guanfeng Lv,
Xizhong Zheng:
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
J. Comput. Sci. Technol. 21(6): 932-943 (2006) |
| 2005 |
|---|
| 3 | EE | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Qingliang Chen,
Guanfeng Lv:
Bounded model checking knowledge and branching time in synchronous multi-agent systems.
AAMAS 2005: 1129-1130 |
| 2 | EE | Kaile Su,
Congxin Zhao,
Guanfeng Lv,
Han Lin,
Qingliang Chen:
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.
WINE 2005: 391-404 |
| 2004 |
|---|
| 1 | | Kaile Su,
Guanfeng Lv,
Yan Zhang:
Reasoning about Knowledge by Variable Forgetting.
KR 2004: 576-586 |
