| Reasoning about Knowledge by Variable Forgetting. K Su, G Lv, Y Zhang KR 4, 576-586, 2004 | 31 | 2004 |
| Variable forgetting in reasoning about knowledge K Su, A Sattar, G Lv, Y Zhang Journal of Artificial Intelligence Research 35, 677-716, 2009 | 22 | 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 | 21 | 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 | 12 | 2005 |
| Knowledge structure approach to verification of authentication protocols QC Kaile Su, Guanfeng Lv Science in China Series F: Information Sciences 48 (4), 2005 | 11 | 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 | 7 | 2006 |
| 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 | 4 | 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 | 4 | 2011 |
| 3D tree modeling and visualization simulation based on fractal XD Xu, JQ Ye, GF Lv Applied Mechanics and Materials 347, 2869-2873, 2013 | 3 | 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 | 3 | 2013 |
| 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 | 1 | 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 | 1 | 2005 |
| Variable Forgetting in Reasoning about Knowledge K Su, A Sattar, G Lv, Y Zhang arXiv e-prints, arXiv: 1401.3472, 2014 | | 2014 |
| 基于可满足性求解的认证协议的认知规范验证 KL Su, QL Chen, A Sattar, WY Yue, GF Lv, XZ Zheng 计算机科学技术学报 21 (6), 932-943, 2006 | | 2006 |
