Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. - Lijun Wu 001; Kaile Su; Qingliang Chen (CIS (1), 2005)

Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus. - Lijun Wu 001; Jinshu Su (LSMS (1), 2007)

A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. - Lijun Wu 001; Jinshu Su; Xiangyu Luo; Zhihua Yang; Qingliang Chen (Canadian AI, 2009)

Symbolic Model Checking the Knowledge in Herbivore Protocol. - Xiangyu Luo; Kaile Su; Ming Gu; Lijun Wu 001; Jinji Yang (MoChArt, 2010)

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems. - Lijun Wu 001; Jinshu Su; Kaile Su; Xiangyu Luo; Zhihua Yang (Knowl. Based Syst., 2010)

A complete first-order temporal BDI logic for forest multi-agent systems. - Lijun Wu 001; Kaile Su; Abdul Sattar 001; Qingliang Chen; Jinshu Su; Wei Wu 042 (Knowl. Based Syst., 2012)

An I/O Efficient Approach for Detecting All Accepting Cycles. - Lijun Wu 001; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001; Chenyi Zhang 001; Shupeng Wang (IEEE Trans. Software Eng., 2015)

An I/O Efficient Model Checking Algorithm for Large-Scale Systems. - Lijun Wu 001; Huijia Huang; Kaile Su; Shaowei Cai 001; Xiaosong Zhang 001 (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems. - Lijun Wu 001; Kaile Su; Yabiao Han; Jingyu Chen; Xiangyu Lu (Frontiers Comput. Sci., 2017)

Symbolic model checking for discrete real-time systems. - Xiangyu Luo; Lijun Wu 001; Qingliang Chen; Haibo Li; Lixiao Zheng; Zuxi Chen (Sci. China Inf. Sci., 2018)

Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques. - Zhiyuan Li; Lijun Wu 001; Xiangyun Zeng; Xiaofeng Yue; Yulin Jing; Wei Wu 011; Kaile Su (IEEE Trans. Netw. Serv. Manag., 2023)

Hierarchical Fusion Framework for Multimodal Dialogue Response Generation. - Qi Deng; Lijun Wu 001; Kaile Su; Wei Wu; Zhiyuan Li; Weiwei Duan (IJCNN, 2024)

Coordination as inference in multi-agent reinforcement learning. - Zhiyuan Li; Lijun Wu 001; Kaile Su; Wei Wu; Yulin Jing; Tong Wu; Weiwei Duan; Xiaofeng Yue; Xiyi Tong; Yizhou Han (Neural Networks, 2024)

Adaptive graph attention networks with interactive learning for attributed graph clustering. - Weiwei Duan; Luping Ji; Lijun Wu 001; Qi Deng; Zhiyuan Li (Eng. Appl. Artif. Intell., 2025)

Multi-agent neighborhood coordinated and holistic optimized actor-critic framework for adaptive traffic signal control. - Qi Deng; Lijun Wu 001; Zhiyuan Li; Kaile Su; Wei Wu; Weiwei Duan (Appl. Intell., 2025)