Guanfeng Lv
Cited by
Cited by
Reasoning about Knowledge by Variable Forgetting.
K Su, G Lv, Y Zhang
KR 4, 576-586, 2004
Variable forgetting in reasoning about knowledge
K Su, A Sattar, G Lv, Y Zhang
Journal of Artificial Intelligence Research 35, 677-716, 2009
CacBDD: A BDD package with dynamic cache management
G Lv, K Su, Y Xu
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
Bounded model checking knowledge and branching time in synchronous multi-agent systems
X Luo, K Su, A Sattar, Q Chen, G Lv
Proceedings of the fourth international joint conference on Autonomous …, 2005
Knowledge structure approach to verification of authentication protocols
QC Kaile Su, Guanfeng Lv
Science in China Series F: Information Sciences 48 (4), 2005
Verification of authentication protocols for epistemic goals via SAT compilation
KL Su, QL Chen, A Sattar, WY Yue, GF Lv, XZ Zheng
Journal of Computer Science and Technology 21 (6), 932-943, 2006
3D tree modeling and visualization simulation based on fractal
XD Xu, JQ Ye, GF Lv
Applied Mechanics and Materials 347, 2869-2873, 2013
Virtual City Ground Object Modeling and Visualization Based on OpenGL
XD Xu, J Wang, GF Lv
Applied Mechanics and Materials 263, 1910-1915, 2013
A Succinct and Efficient Implementation of a 2^ 32 BDD Package
G Lv, Y Chen, Y Feng, Q Chen, K Su
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
Uap: A new udp-based application level transport protocol
G Lv, X Xu, K Su, Q Chen
2011 Second International Conference on Networking and Distributed Computing …, 2011
The automatic verification and improvement of SET certificate registration protocols with SPV
Y Xiao, K Su, W Yue, Q Chen, G Lv, J Yang
Chinese Journal of Computers 31 (6), 1035-1045, 2008
Formal analysis and improvement of the state transition model for intrusion tolerant system
K Su, C Zhao, G Lv, H Lin, Q Chen
Internet and Network Economics: First International Workshop, WINE 2005 …, 2005
Variable Forgetting in Reasoning about Knowledge
K Su, A Sattar, G Lv, Y Zhang
arXiv e-prints, arXiv: 1401.3472, 2014
KL Su, QL Chen, A Sattar, WY Yue, GF Lv, XZ Zheng
计算机科学技术学报 21 (6), 932-943, 2006
The system can't perform the operation now. Try again later.
Articles 1–14