We stand with Ukraine  

Lijun Wu

Affiliations:
  • University of Electronic Science and Technology of China, School of Computer Science and Engineering, Chengdu, China
  • National University of Defense and Technology, School of Computer Science, Changsha, China (former)


According to our database1, Lijun Wu authored at least 15 papers between 2005 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Multi-agent neighborhood coordinated and holistic optimized actor-critic framework for adaptive traffic signal control.
[BibTeX]
[DOI]
Qi Deng
,
Lijun Wu
,
Zhiyuan Li
,
Kaile Su
,
Wei Wu
,
Weiwei Duan
Appl. Intell., August, 2025

Adaptive graph attention networks with interactive learning for attributed graph clustering.
[BibTeX]
[DOI]
Weiwei Duan
,
Luping Ji
,
Lijun Wu
,
Qi Deng
,
Zhiyuan Li
Eng. Appl. Artif. Intell., 2025

2024
Coordination as inference in multi-agent reinforcement learning.
[BibTeX]
[DOI]
Zhiyuan Li
,
Lijun Wu
,
Kaile Su
,
Wei Wu
,
Yulin Jing
,
Tong Wu
,
Weiwei Duan
,
Xiaofeng Yue
,
Xiyi Tong
,
Yizhou Han
Neural Networks, 2024

Hierarchical Fusion Framework for Multimodal Dialogue Response Generation.
[BibTeX]
[DOI]
Qi Deng
,
Lijun Wu
,
Kaile Su
,
Wei Wu
,
Zhiyuan Li
,
Weiwei Duan
Proceedings of the International Joint Conference on Neural Networks, 2024

2023
Online Coordinated NFV Resource Allocation via Novel Machine Learning Techniques.
[BibTeX]
[DOI]
Zhiyuan Li
,
Lijun Wu
,
Xiangyun Zeng
,
Xiaofeng Yue
,
Yulin Jing
,
Wei Wu
,
Kaile Su
IEEE Trans. Netw. Serv. Manag., March, 2023

2018
Symbolic model checking for discrete real-time systems.
[BibTeX]
[DOI]
Xiangyu Luo
,
Lijun Wu
,
Qingliang Chen
,
Haibo Li
,
Lixiao Zheng
,
Zuxi Chen
Sci. China Inf. Sci., 2018

2017
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.
[BibTeX]
[DOI]
Lijun Wu
,
Kaile Su
,
Yabiao Han
,
Jingyu Chen
,
Xiangyu Lu
Frontiers Comput. Sci., 2017

2015
An I/O Efficient Model Checking Algorithm for Large-Scale Systems.
[BibTeX]
[DOI]
Lijun Wu
,
Huijia Huang
,
Kaile Su
,
Shaowei Cai
,
Xiaosong Zhang
IEEE Trans. Very Large Scale Integr. Syst., 2015

An I/O Efficient Approach for Detecting All Accepting Cycles.
[BibTeX]
[DOI]
Lijun Wu
,
Kaile Su
,
Shaowei Cai
,
Xiaosong Zhang
,
Chenyi Zhang
,
Shupeng Wang
IEEE Trans. Software Eng., 2015

2012
A complete first-order temporal BDI logic for forest multi-agent systems.
[BibTeX]
[DOI]
Lijun Wu
,
Kaile Su
,
Abdul Sattar
,
Qingliang Chen
,
Jinshu Su
,
Wei Wu
Knowl. Based Syst., 2012

2010
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.
[BibTeX]
[DOI]
Lijun Wu
,
Jinshu Su
,
Kaile Su
,
Xiangyu Luo
,
Zhihua Yang
Knowl. Based Syst., 2010

Symbolic Model Checking the Knowledge in Herbivore Protocol.
[BibTeX]
[DOI]
Xiangyu Luo
,
Kaile Su
,
Ming Gu
,
Lijun Wu
,
Jinji Yang
Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

2009
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.
[BibTeX]
[DOI]
Lijun Wu
,
Jinshu Su
,
Xiangyu Luo
,
Zhihua Yang
,
Qingliang Chen
Proceedings of the Advances in Artificial Intelligence, 2009

2007
Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus.
[BibTeX]
[DOI]
Lijun Wu
,
Jinshu Su
Proceedings of the Bio-Inspired Computational Intelligence and Applications, 2007

2005
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.
[BibTeX]
[DOI]
Lijun Wu
,
Kaile Su
,
Qingliang Chen
Proceedings of the Computational Intelligence and Security, International Conference, 2005


  Loading...