Lijun Wu

15 papers B 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Adaptive graph attention networks with interactive learning for attributed graph clustering.
Eng. Appl. Artif. Intell.
Weiwei Duan, Luping Ji, Lijun Wu, Qi Deng, Zhiyuan Li
2025 J jnl
Multi-agent neighborhood coordinated and holistic optimized actor-critic framework for adaptive traffic signal control.
Appl. Intell.
Qi Deng, Lijun Wu, Zhiyuan Li, Kaile Su, Wei Wu, Weiwei Duan
2024 J jnl
Coordination as inference in multi-agent reinforcement learning.
Neural Networks
Zhiyuan Li, Lijun Wu, Kaile Su, Wei Wu, Yulin Jing, Tong Wu, Weiwei Duan, Xiaofeng Yue, Xiyi Tong, Yizhou Han
2024 B conf
Hierarchical Fusion Framework for Multimodal Dialogue Response Generation.
IJCNN
Qi Deng, Lijun Wu, Kaile Su, Wei Wu, Zhiyuan Li, Weiwei Duan
2023 J jnl
Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques.
IEEE Trans. Netw. Serv. Manag.
Zhiyuan Li, Lijun Wu, Xiangyun Zeng, Xiaofeng Yue, Yulin Jing, Wei Wu, Kaile Su
2018 J jnl
Symbolic model checking for discrete real-time systems.
Sci. China Inf. Sci.
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen
2017 J jnl
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.
Frontiers Comput. Sci.
Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen, Xiangyu Lu
2015 J jnl
An I/O Efficient Approach for Detecting All Accepting Cycles.
IEEE Trans. Software Eng.
Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang
2015 J jnl
An I/O Efficient Model Checking Algorithm for Large-Scale Systems.
IEEE Trans. Very Large Scale Integr. Syst.
Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang
2012 J jnl
A complete first-order temporal BDI logic for forest multi-agent systems.
Knowl. Based Syst.
Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu
2010 J jnl
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.
Knowl. Based Syst.
Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang
2010 — conf
Symbolic Model Checking the Knowledge in Herbivore Protocol.
MoChArt
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
2009 — conf
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.
Canadian AI
Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen
2007 — conf
Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus.
LSMS (1)
Lijun Wu, Jinshu Su
2005 — conf
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.
CIS (1)
Lijun Wu, Kaile Su, Qingliang Chen