Reasoning about Knowledge by Variable Forgetting. - Kaile Su; Guanfeng Lv; Yan Zhang 003 (KR, 2004)

Bounded model checking knowledge and branching time in synchronous multi-agent systems. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Qingliang Chen; Guanfeng Lv (AAMAS, 2005)

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. - Kaile Su; Congxin Zhao; Guanfeng Lv; Han Lin; Qingliang Chen (WINE, 2005)

Knowledge structure approach to verification of authentication protocols. - Kaile Su; Guanfeng Lv; Qingliang Chen (Sci. China Ser. F Inf. Sci., 2005)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. - Kaile Su; Qingliang Chen; Abdul Sattar 001; Weiya Yue; Guanfeng Lv; Xizhong Zheng (J. Comput. Sci. Technol., 2006)

Variable Forgetting in Reasoning about Knowledge. - Kaile Su; Abdul Sattar 001; Guanfeng Lv; Yan Zhang 003 (J. Artif. Intell. Res., 2009)

A Succinct and Efficient Implementation of a 2^32 BDD Package. - Guanfeng Lv; Yao Chen; Yachao Feng; Qingliang Chen; Kaile Su (TASE, 2012)

CacBDD: A BDD Package with Dynamic Cache Management. - Guanfeng Lv; Kaile Su; Yanyan Xu 001 (CAV, 2013)