| 2025 | HPCC | Tiling Dynamic Programming Computations to Maximize Parallelism. | Yantao Sun, Miaomiao Wang, Jian Guan, Lin Li, Li Wang, Guanjun Liu |
| 2025 | ICML | Robust Multi-Agent Reinforcement Learning with Stochastic Adversary. | Ziyuan Zhou, Guanjun Liu, Mengchu Zhou, Weiran Guo |
| 2025 | IJCAI | PNAct: Crafting Backdoor Attacks in Safe Reinforcement Learning. | Weiran Guo, Guanjun Liu, Ziyuan Zhou, Ling Wang |
| 2024 | CoDIT | TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks. | Kaiwen Zhang, Guanjun Liu |
| 2024 | SMC | Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets. | Hanqian Tu, Dongming Xiang, Wang Lin, Guanjun Liu |
| 2023 | ECAI | Robustness Testing for Multi-Agent Reinforcement Learning: State Perturbations on Critical Agents. | Ziyuan Zhou, Guanjun Liu |
| 2021 | TASE | Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. | Leifeng He, Guanjun Liu |
| 2020 | ICDM | An Accuracy-and-Diversity-based Ensemble Method for Concept Drift and Its application in Fraud Detection. | Shujie Yin, Guanjun Liu, Zhenchuan Li, Chungang Yan, Changjun Jiang |
| 2020 | SERVICES | Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security. | Leifeng He, Guanjun Liu |
| 2020 | SERVICES | MANE: Model-Agnostic Non-linear Explanations for Deep Learning Model. | Yue Tian, Guanjun Liu |
| 2019 | HPCC | DenseNet+Inception and Its Application for Electronic Transaction Fraud Detection. | Zhuo Chen, Guanjun Liu |
| 2019 | HPCC | Model Checking CTLK Based on Knowledge-Oriented Petri Nets. | Leifeng He, Guanjun Liu |
| 2019 | HPCC | A Hierarchical Clustering Strategy of Processing Class Imbalance and Its Application in Fraud Detection. | Youjun Zhang, Guanjun Liu, Lutao Zheng, Chungang Yan |
| 2019 | IJCNN | GMM-based Undersampling and Its Application for Credit Card Fraud Detection. | Fengjun Zhang, Guanjun Liu, Zhenchuan Li, Chungang Yan, Changjun Jiang |
| 2018 | ICA3PP | Verifying CTL with Unfoldings of Petri Nets. | Lanlan Dong, Guanjun Liu, Dongming Xiang |
| 2018 | SMC | Credit Card Fraud Detection Using Capsule Network. | Shuo Wang, Guanjun Liu, Zhenchuan Li, Shiyang Xuan, Chungang Yan, Changjun Jiang |
| 2018 | SMC | A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets. | Bo Yang, Guanjun Liu, Dongming Xiang, Chungang Yan, Changjun Jiang |
| 2018 | UIC | Credit Card Fraud Detection via Kernel-Based Supervised Hashing. | Zhenchuan Li, Guanjun Liu, Shuo Wang, Shiyang Xuan, Changjun Jiang |
| 2016 | APSCC | A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets. | Leifeng He, Guanjun Liu, Mimi Wang |
| 2016 | ICA3PP | Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding. | Guanjun Liu, Kun Zhang, Changjun Jiang |
| 2016 | ICPADS | Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations. | Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang |