Guanfeng Lv

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Cache Management

Efficient Implementation

Binary Decision Diagrams

Garbage Collection

Top Venues

Publications

Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
Variable Forgetting in Reasoning about Knowledge. CoRR (2014)
Guanfeng Lv, Kaile Su, Yanyan Xu
CacBDD: A BDD Package with Dynamic Cache Management. CAV (2013)
Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su
A Succinct and Efficient Implementation of a 2^32 BDD Package. TASE (2012)
Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. 35 (2009)
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) (2006)
Kaile Su, Guanfeng Lv, Qingliang Chen
Knowledge structure approach to verification of authentication protocols. Sci. China Ser. F Inf. Sci. 48 (4) (2005)
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)
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS (2005)
Kaile Su, Guanfeng Lv, Yan Zhang
Reasoning about Knowledge by Variable Forgetting. KR (2004)