Enhancing Intelligent Agents with Information Retrieval Techniques. - Shun Long; Hui-Jin Wang; Jian-Hua Cai; Chan-Juan Liu 001 (ICNC (2), 2008)

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. - Qingliang Chen; Kaile Su; Chanjuan Liu 001; Yinyin Xiao (ICSS, 2010)

A Logic for Extensive Games with Short Sight. - Chanjuan Liu 001; Fenrong Liu; Kaile Su (LORI, 2013)

Preference dynamics in games with short sight. - Chanjuan Liu 001; Enqiang Zhu; Fenrong Liu; Kaile Su (Appl. Math. Comput., 2014)

A note on the vertex-distinguishing proper edge coloring of graphs. - Enqiang Zhu; Chanjuan Liu 001 (Ars Comb., 2014)

General Vertex-Distinguishing Total Coloring of Graphs. - Chanjuan Liu 001; Enqiang Zhu (J. Appl. Math., 2014)

A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games. - Chanjuan Liu 001; Fenrong Liu; Kaile Su (PRIMA, 2015)

Computing rational beliefs under limited foresight. - Johan van Benthem; Chanjuan Liu 001; Paolo Turrini (CoRR, 2015)

Preference at First Sight. - Chanjuan Liu 001 (TARK, 2015)

Tree-core and tree-coritivity of graphs. - Enqiang Zhu; Zepeng Li 003; Zehui Shao; Jin Xu 002; Chanjuan Liu 001 (Inf. Process. Lett., 2015)

Acyclic 3-coloring of generalized Petersen graphs. - Enqiang Zhu; Zepeng Li 003; Zehui Shao; Jin Xu 002; Chanjuan Liu 001 (J. Comb. Optim., 2016)

A logical characterization of extensive games with short sight. - Chanjuan Liu 001; Fenrong Liu; Kaile Su; Enqiang Zhu (Theor. Comput. Sci., 2016)

Computational ability in games: Individual difference and dynamics. - Chanjuan Liu 001; Enqiang Zhu (Appl. Math. Comput., 2017)

Reliability and Diagnosability Analysis of Hyper Bijective Connection Networks. - Enqiang Zhu; Chanjuan Liu 001; Qiang Zhang 008; Yongsheng Rao (IEEE Access, 2018)

A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games. - Chanjuan Liu 001; Fenrong Liu; Kaile Su (Fundam. Informaticae, 2018)

Modeling of Agent Cognition in Extensive Games via Artificial Neural Networks. - Chanjuan Liu 001; Enqiang Zhu; Qiang Zhang 008; Xiaopeng Wei (IEEE Trans. Neural Networks Learn. Syst., 2018)

A New Modeling of Cooperative Agents from Game-theoretic Perspective. - Chanjuan Liu 001; Enqiang Zhu (ICMAI, 2019)

On the semitotal domination number of line graphs. - Enqiang Zhu; Chanjuan Liu 001 (Discret. Appl. Math., 2019)

On Upper Total Domination Versus Upper Domination in Graphs. - Enqiang Zhu; Chanjuan Liu 001; Fei Deng 002; Yongsheng Rao (Graphs Comb., 2019)

Image Encryption Based on Improved Lorenz System. - Chengye Zou; Qiang Zhang 008; Xiaopeng Wei; Chanjuan Liu 001 (IEEE Access, 2020)

Neighbor product distinguishing total colorings of 2-degenerate graphs. - Enqiang Zhu; Chanjuan Liu 001; Jiguo Yu (J. Comb. Optim., 2020)

A Hybrid Coordination Method for Multi-robot in Restricted Movement Scene. - Shoucan Wang; Chanjuan Liu 001; Nan Ding 001; Yawen Zhao 001; Xinzhi Gao (SmartIoT, 2021)

A note on domination number in maximal outerplanar graphs. - Chanjuan Liu 001 (Discret. Appl. Math., 2021)

Exploring the effects of computational costs in extensive games via modeling and simulation. - Chanjuan Liu 001; Enqiang Zhu; Qiang Zhang 008; Xiaopeng Wei (Int. J. Intell. Syst., 2021)

Characterization, verification and generation of strategies in games with resource constraints. - Chanjuan Liu 001; Enqiang Zhu; Yuanke Zhang; Qiang Zhang 008; Xiaopeng Wei (Autom., 2022)

PHEE: A phased hybrid evaluation-enhanced approach for identifying influential users in social networks. - Enqiang Zhu; Haosen Wang; Yu Zhang 231; Kai Zhang; Chanjuan Liu 001 (CoRR, 2022)

An Adaptive Repeated-Intersection-Reduction Local Search for the Maximum Independent Set Problem. - Enqiang Zhu; Yu Zhang 231; Chanjuan Liu 001 (CoRR, 2022)

The Design and Realization of Multi-agent Obstacle Avoidance based on Reinforcement Learning. - Enyu Zhao; Chanjuan Liu 001; Houfu Su; Yang Liu (CoRR, 2022)

Partition Independent Set and Reduction-Based Approach for Partition Coloring Problem. - Enqiang Zhu; Fei Jiang; Chanjuan Liu 001; Jin Xu 002 (IEEE Trans. Cybern., 2022)

A Heuristic Framework for Personalized Route Recommendation Based on Convolutional Neural Networks. - Ruining Zhang; Chanjuan Liu 001; Qiang Zhang 008; Xiaopeng Wei (PRICAI (3), 2023)

Identifying the cardinality-constrained critical nodes with a hybrid evolutionary algorithm. - Chanjuan Liu 001; Shike Ge; Yuanke Zhang (Inf. Sci., 2023)

TIVC: An Efficient Local Search Algorithm for Minimum Vertex Cover in Large Graphs. - Yu Zhang 231; Shengzhi Wang; Chanjuan Liu 001; Enqiang Zhu (Sensors, 2023)

SlideMLP: A Pure Multi-layer Perceptrons Method For Medical Image Segmentation. - Chaoqi Han; Bingcai Chen; Chanjuan Liu 001; Qian Ning; Victor C. M. Leung; Shouzhen Jiao; Qing Liu (IJCNN, 2024)

Time-aware MADDPG with LSTM for multi-agent obstacle avoidance: a comparative study. - Enyu Zhao; Ning Zhou; Chanjuan Liu 001; Houfu Su; Yang Liu; Jinmiao Cong (Complex Intell. Syst., 2024)

Improving Critical Node Detection Using Neural Network-based Initialization in a Genetic Algorithm. - Chanjuan Liu 001; Shike Ge; Zhihan Chen 001; Wenbin Pei; Enqiang Zhu; Yi Mei 001; Hisao Ishibuchi (CoRR, 2024)

DFDRNN: A dual-feature based neural network for drug repositioning. - Enqiang Zhu; Xiang Li; Chanjuan Liu 001; Nikhil R. Pal (CoRR, 2024)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping. - Chanjuan Liu 001; Jinmiao Cong; Bingcai Chen; Yaochu Jin; Enqiang Zhu (CoRR, 2024)

SDI: A tool for speech differentiation in user identification. - Muhammad Abdul Basit; Chanjuan Liu 001; Enyu Zhao (Expert Syst. Appl., 2024)

A dual-mode local search algorithm for solving the minimum dominating set problem. - Enqiang Zhu; Yu Zhang 231; Shengzhi Wang; Darren Strash; Chanjuan Liu 001 (Knowl. Based Syst., 2024)

Playing Extensive Games with Learning of Opponent's Cognition. - Chanjuan Liu 001; Jinmiao Cong; Weihong Yao; Enqiang Zhu (Sensors, 2024)

A Novel Domination in Vague Influence Graphs with an Application. - Xiaolong Shi; Ruiqi Cai; Ali Asghar Talebi 001; Masomeh Mojahedfar; Chanjuan Liu 001 (Axioms, 2024)

PHEE: Identifying influential nodes in social networks with a phased evaluation-enhanced search. - Enqiang Zhu; Haosen Wang; Yu Zhang 231; Kai Zhang; Chanjuan Liu 001 (Neurocomputing, 2024)

Heuristic Search with Cut Point Based Strategy for Critical Node Problem. - Zhihan Chen 001; Shaowei Cai 001; Jian Gao 007; Shike Ge; Chanjuan Liu 001; Jinkun Lin (J. Comput. Sci. Technol., 2024)

SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization. - Chuan Luo 002; Shaoke Cui; Jianping Song; Xindi Zhang 001; Wei Wu 011; Chanjuan Liu 001; Shaowei Cai 001; Chunming Hu (ASE, 2025)

Optimizing local search-based partial MaxSAT solving via initial assignment prediction. - Chanjuan Liu 001; Guangyuan Liu; Chuan Luo 002; Shaowei Cai 001; Zhendong Lei; Wenjie Zhang 007; Yi Chu; Guojing Zhang (Sci. China Inf. Sci., 2025)

Critical nodes detection for complex networks via knowledge-guided evolutionary framework. - Chanjuan Liu 001; Shike Ge; Zhihan Chen 001; Wenbin Pei; Enqiang Zhu; Hisao Ishibuchi (Eng. Appl. Artif. Intell., 2025)

A new EGO-driven memetic algorithm for solving flexible job shop scheduling problem. - Chanjuan Liu 001; Guojing Zhang; Bingcai Chen; Hisao Ishibuchi (Inf. Sci., 2025)

Boosting Drug-Disease Association Prediction for Drug Repositioning via Dual-Feature Extraction and Cross-Dual-Domain Decoding. - Enqiang Zhu; Xiang Li; Chanjuan Liu 001; Nikhil R. Pal (J. Chem. Inf. Model., 2025)

A DNA Strand Displacement-Based Computing Model for Solving Intractable Graph Problems. - Enqiang Zhu; Xianhang Luo; Chanjuan Liu 001; Xiaolong Shi; Jin Xu 002 (IEEE Trans. Comput. Biol. Bioinform., 2025)

Constructing Concise Instance-Based Takagi-Sugeno-Kang Fuzzy Systems via Multiobjective Particle Swarm Optimization. - Qin Chang; Yu Chen; Jiahao Liang; Chanjuan Liu 001; Jian Wang 010 (IEEE Trans. Fuzzy Syst., 2025)

Optimizing Minimum Vertex Cover Solving via a GCN-assisted Heuristic Algorithm. - Enqiang Zhu; Qiqi Bao; Yu Zhang 231; Chanjuan Liu 001 (CoRR, 2025)

Boosting Reinforcement Learning via Hierarchical Game Playing With State Relay. - Chanjuan Liu 001; Jinmiao Cong; Guangyuan Liu; Guifei Jiang; Xirong Xu; Enqiang Zhu (IEEE Trans. Neural Networks Learn. Syst., 2025)

Dynamic Location Search for Identifying Maximum Weighted Independent Sets in Complex Networks. - Enqiang Zhu; Chenkai Hao; Chanjuan Liu 001; Yongsheng Rao (CoRR, 2025)

Quasi-Clique Discovery via Energy Diffusion. - Yu Zhang 231; Yilong Luo; Mingyuan Ma; Yao Chen; Enqiang Zhu; Jin Xu 002; Chanjuan Liu 001 (CoRR, 2025)

DP-GPT4MTS: Dual-Prompt Large Language Model for Textual-Numerical Time Series Forecasting. - Chanjuan Liu 001; Shengzhi Wang; Enqiang Zhu (CoRR, 2025)

PA-RNet: Perturbation-Aware Reasoning Network for Multimodal Time Series Forecasting. - Chanjuan Liu 001; Shengzhi Wang; Enqiang Zhu (CoRR, 2025)

Intelligent Power Allocation Optimization Algorithm for Enhanced CR-NOMA Network via DenseNet-BiLSTM. - Yu Fu; Bingcai Chen; Chanjuan Liu 001; Kai Lin (IEEE Trans. Cogn. Commun. Netw., 2025)

Synergistic integration of metaheuristics and machine learning: latest advances and emerging trends. - Ruining Zhang; Jian Wang 010; Chanjuan Liu 001; Kaile Su; Hisao Ishibuchi; Yaochu Jin (Artif. Intell. Rev., 2025)

Adaptive Tokenization Transformer: Enhancing Irregularly Sampled Multivariate Time-Series Analysis. - Enqiang Zhu; Shengzhi Wang; Chanjuan Liu 001; Jian Wang 010 (IEEE Internet Things J., 2025)

Towards Comprehensive Sampling of SMT Solutions. - Shuangyu Lyu; Chuan Luo 002; Ruizhi Shi; Wei Wu 011; Chanjuan Liu 001; Chunming Hu (CoRR, 2025)

Exact Optimization for Minimum Dominating Sets. - Enqiang Zhu; Qiqi Bao; Yu Zhang 231; Chanjuan Liu 001; Pu Wu (AAAI, 2026)

Mining Large Independent Sets on Massive Graphs. - Yu Zhang 231; Witold Pedrycz; Chanjuan Liu 001; Enqiang Zhu (DASFAA (5), 2026)

Heuristic-based dynamic graph actor-critic algorithm for information path planning. - Ruining Zhang; Chanjuan Liu 001; Hongwei Ge (Expert Syst. Appl., 2026)

Multi-view clustering via diversity consensus graph infusion. - Mingguang Shao; Jian Wang 010; Chanjuan Liu 001; Peiying Zhang 001; Nikhil R. Pal (Neurocomputing, 2026)

RHMGSA: Reinforcement learning-guided evolutionary search for critical node detection. - Xiancheng Feng; Jingkun Fan; Chanjuan Liu 001; Enqiang Zhu; Witold Pedrycz (Inf. Sci., 2026)

Dynamic location search for identifying maximum weighted independent sets in complex networks. - Enqiang Zhu; Qiqi Bao; Chenkai Hao; Chanjuan Liu 001; Yongsheng Rao (Inf. Sci., 2026)

HyColor: An Efficient Heuristic Algorithm for Graph Coloring. - Enqiang Zhu; Yu Zhang 231; Haopeng Sun; Ziqi Wei 001; Witold Pedrycz; Chanjuan Liu 001; Jin Xu 002 (IEEE Trans. Syst. Man Cybern. Syst., 2026)

Guiding Multiagent Multitask Reinforcement Learning by a Hierarchical Framework With Logical Reward Shaping. - Chanjuan Liu 001; Jinmiao Cong; Bingcai Chen; Yaochu Jin; Enqiang Zhu (IEEE Trans. Cybern., 2026)

CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization. - Shaoke Cui; Chuan Luo 002; Zhenwei Yang; Jiabao Lin; Wei Wu 011; Chanjuan Liu 001; Shaowei Cai 001; Chunming Hu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2026)

MAGIC: Multi-Step Advantage-Gated Causal Influence for Multi-agent Reinforcement Learning. - Haohan Yu; Jinmiao Cong; Shengzhi Wang; Lu Wang; Chanjuan Liu 001 (CoRR, 2026)