| 数学形态学在图像处理中的应用与展望 岳洪伟， 李扬， 蔡肯， 岳伟亚 影像技术, 19-21, 2006 | 12 | 2006 |
| Id* lite: improved d* lite algorithm W Yue, J Franco, W Cao, H Yue Proceedings of the 2011 ACM Symposium on Applied Computing, 1364-1369, 2011 | 11 | 2011 |
| 实例化空间: 一种新的安全协议验证逻辑的语义模型 苏开乐， 岳伟亚， 陈清亮 [1， Z Xi 计算机学报 29 (009), 1657-1665, 2006 | 10 | 2006 |
| A new way to reduce computing in navigation algorithm W Yue, J Franco Engineering Letters 18 (4), 341, 2010 | 8 | 2010 |
| The BDD-based dynamic A* algorithm for real-time replanning Y Xu, W Yue, K Su Frontiers in Algorithmics, 271-282, 2009 | 8 | 2009 |
| BDDRPA*: an efficient BDD-Based incremental heuristic search algorithm for replanning W Yue, Y Xu, K Su AI 2006: Advances in Artificial Intelligence, 627-636, 2006 | 8 | 2006 |
| 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 new anytime dynamic navigation algorithm W Yue, J Franco, W Cao, Q Han Proceedings of the world congress on engineering and computer science, 17-22, 2012 | 6 | 2012 |
| Avoiding unnecessary calculations in robot navigation W Yue, J Franco Proceedings of world congress on engineering and computer science, 718-723, 2009 | 6 | 2009 |
| A generalized framework for bdd-based replanning a* search Y Xu, W Yue Software Engineering, Artificial Intelligences, Networking and Parallel …, 2009 | 5 | 2009 |
| Application and Prospect of Mathematical Morphology in Image Processing [J] H YUE, Y Li, K Cai, W YUE Image Technology 2, 19-21, 2006 | 5* | 2006 |
| SET 证书申请协议在 SPV 下的自动化验证及改进 肖茵茵， 苏开乐， 岳伟亚， 陈清亮， 吕关锋， 杨晋吉 计算机学报 31 (6), 1035-1045, 2008 | 3 | 2008 |
| Observation-based logic of knowledge, belief, desire and intention K Su, W Yue, A Sattar, MA Orgun, X Luo Lecture Notes in Computer Science 4092, 366, 2006 | 3 | 2006 |
| 基于 BDD 的图表示及其算法 吕关锋， 苏开乐， 林瀚， 骆翔宇， 陈清亮， 岳伟亚 中山大學學報 (自然科學版) 45 (1), 20-24, 2006 | 3 | 2006 |
| 基于 BDD 的增量启发式搜索 徐艳艳， 岳伟亚 Journal of Software 20 (9), 2352-2365, 2009 | 2 | 2009 |
| Improved anytime d* algorithm W Yue, J Franco, Q Han, W Cao IAENG Transactions on Engineering Technologies, 383-396, 2014 | 1 | 2014 |
| Improved Complexity Bound of Vertex Cover for Low degree Graph W Yue, J Franco, W Cao arXiv preprint arXiv:1010.2833, 2010 | 1 | 2010 |
| 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 |
| Reasoning about Knowledge by SAT Solving K Su, Q Chen, X Zheng, W Yue Computational Intelligence and Security, 2006 International Conference on 1 …, 2006 | 1 | 2006 |
| Instantiation space: A new model for security protocol logic K Su, WY Yue, QL Chen, XZ Zheng CHINESE JOURNAL OF COMPUTERS-CHINESE EDITION- 29 (9), 1657, 2006 | 1 | 2006 |
