Search the dblp DataBase

Publications of Author

1. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
   Bounded model checking knowledge and branching time in synchronous multi-agent systems. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:1129-1130 [Conf]
   
2. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
   A computationally grounded logic of knowledge, belief and certainty. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:149-156 [Conf]
   
3. Lijun Wu, Kaile Su, Qingliang Chen
   Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. [Citation Graph (0, 0)][DBLP]
   CIS (1), 2005, pp:349-354 [Conf]
   
4. Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen
   Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. [Citation Graph (0, 0)][DBLP]
   WINE, 2005, pp:391-404 [Conf]
   
5. Qingliang Chen, Kaile Su, Xizhong Zheng
   Primitive Recursiveness of Real Numbers under Different Representations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:167, n:, pp:303-324 [Journal]
   
6. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xi-Zhong Zheng
   Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2006, v:21, n:6, pp:932-943 [Journal]
   
7. 
   EWLS: A New Local Search for Minimum Vertex Cover. [Citation Graph (, )][DBLP]
   
   
8. 
   A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Improving Encoding Efficiency for Bounded Model Checking. [Citation Graph (, )][DBLP]
   
   
10. 
    A PSO-Based Approach to Rule Learning in Network Intrusion Detection. [Citation Graph (, )][DBLP]