| 2008 |
|---|
| 10 | EE | Jinji Yang,
Kaile Su,
Qingliang Chen:
Improving Encoding Efficiency for Bounded Model Checking.
TASE 2008: 31-38 |
| 2007 |
|---|
| 9 | EE | Chen Guolong,
Qingliang Chen,
Guo Wenzhong:
A PSO-Based Approach to Rule Learning in Network Intrusion Detection.
ICFIE 2007: 666-673 |
| 8 | EE | Qingliang Chen,
Kaile Su,
Xizhong Zheng:
Primitive Recursiveness of Real Numbers under Different Representations.
Electr. Notes Theor. Comput. Sci. 167: 303-324 (2007) |
| 7 | EE | Kaile Su,
Yinyin Xiao,
Qingliang Chen,
Han Lin:
Semantic interpretation of compositional logic in instantiation space.
Frontiers of Computer Science in China 1(2): 191-199 (2007) |
| 6 | EE | Qingliang Chen,
Kaile Su,
Xizhong Zheng:
Primitive recursive real numbers.
Math. Log. Q. 53(4-5): 365-380 (2007) |
| 2006 |
|---|
| 5 | 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 |
|---|
| 4 | 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 |
| 3 | EE | Kaile Su,
Abdul Sattar,
Guido Governatori,
Qingliang Chen:
A computationally grounded logic of knowledge, belief and certainty.
AAMAS 2005: 149-156 |
| 2 | EE | Lijun Wu,
Kaile Su,
Qingliang Chen:
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.
CIS (1) 2005: 349-354 |
| 1 | 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 |
