BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. - Weiya Yue; Yanyan Xu 001; Kaile Su (Australian Conference on Artificial Intelligence, 2006)

Observation-Based Logic of Knowledge, Belief, Desire and Intention. - Kaile Su; Weiya Yue; Abdul Sattar 001; Mehmet A. Orgun; Xiangyu Luo (KSEM, 2006)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. - Kaile Su; Qingliang Chen; Abdul Sattar 001; Weiya Yue; Guanfeng Lv; Xizhong Zheng (J. Comput. Sci. Technol., 2006)

The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. - Yanyan Xu 001; Weiya Yue; Kaile Su (FAW, 2009)

A Generalized Framework for BDD-based Replanning A* Search. - Yanyan Xu; Weiya Yue (SNPD, 2009)

Improved Complexity Bound of Vertex Cover for Low degree Graph - Weiya Yue; John V. Franco; Weiwei Cao (CoRR, 2010)

ID* Lite: improved D* Lite algorithm. - Weiya Yue; John V. Franco; Weiwei Cao; Hongwei Yue (SAC, 2011)

Navigation on Density-Unbalanced Terrain. - Qiang Han; Weiya Yue (MAICS, 2013)