Guanfeng Lv

According to our database, Guanfeng Lv authored at least 8 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

CacBDD: A BDD Package with Dynamic Cache Management.

Guanfeng Lv, Kaile Su, Yanyan Xu

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

A Succinct and Efficient Implementation of a 2^32 BDD Package.

Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2009

Variable Forgetting in Reasoning about Knowledge.

Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

J. Artif. Intell. Res., 2009

2006

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.

Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng

J. Comput. Sci. Technol., 2006

2005

Knowledge structure approach to verification of authentication protocols.

Kaile Su, Guanfeng Lv, Qingliang Chen

Sci. China Ser. F Inf. Sci., 2005

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.

Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen

Proceedings of the Internet and Network Economics, First International Workshop, 2005

Bounded model checking knowledge and branching time in synchronous multi-agent systems.

Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Reasoning about Knowledge by Variable Forgetting.

Kaile Su, Guanfeng Lv, Yan Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004