Meiqin Pan

16 papers C 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Petri-Net-Based Partial Order Reduction for Model Checking Temporal Epistemic Logic on Multiagent Systems.
IEEE Trans. Control. Syst. Technol.
Tong Guo, Meiqin Pan, Zhijun Ding
2025 J jnl
A multi-objective optimization algorithm for optimal bailout allocation in large-scale banking systems under risk contagion.
Evol. Intell.
Yijun Chen, Huanlan Yan, Meiqin Pan, Qingyuan Wang, Zhijun Ding
2025 J jnl
Simultaneous Secure and Covert Communications With Reconfigurable Intelligent Surface and Artificial Noise: An Energy-Efficient Design.
IEEE Commun. Lett.
Meiqin Pan, Yulong Zou, Libao Yang, Shuying Lin, Die Hu, Eduard E. Bahingayi
2024 J jnl
Formal Modelling of Program Dependence Net for Software Model Checking.
Comput. Informatics
Shuo Li, Zhijun Ding, Meiqin Pan
2022 J jnl
Incremental Learning Method for Data with Delayed Labels.
Comput. Informatics
Haoran Gao, Zhijun Ding, Meiqin Pan
2022 J jnl
Model Checking of Variable Petri Nets by Using the Kripke Structure.
IEEE Trans. Syst. Man Cybern. Syst.
Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang
2020 J jnl
A Method for Learning a Petri Net Model Based on Region Theory.
Comput. Informatics
Jiao Li, Ru Yang, Zhijun Ding, Meiqin Pan
2020 — conf
LbR: A New Regression Architecture for Automated Feature Engineering.
ICDM (Workshops)
Meng Wang, Zhijun Ding, Meiqin Pan
2020 J jnl
QoS-Constrained Service Selection for Networked Microservices.
IEEE Access
Zhijun Ding, Sheng Wang, Meiqin Pan
2018 J jnl
A hybrid interpretable credit card users default prediction model based on RIPPER.
Concurr. Comput. Pract. Exp.
Pu Xu, Zhijun Ding, Meiqin Pan
2017 J jnl
A genetic algorithm based approach to transactional and QoS-aware service selection.
Enterp. Inf. Syst.
Zhijun Ding, YouQing Sun, Junjun Liu, Meiqin Pan, Jiafen Liu
2017 — conf
An improved credit card users default prediction model based on RIPPER.
ICNC-FSKD
Pu Xu, Zhijun Ding, Meiqin Pan
2017 J jnl
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Zhijun Ding, Meiqin Pan, Ru Yang, Changjun Jiang, MengChu Zhou
2017 J jnl
Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.
IEEE Trans. Syst. Man Cybern. Syst.
Ru Yang, Zhijun Ding, Meiqin Pan, Changjun Jiang, MengChu Zhou
2017 J jnl
Network-aware service composition in mobile environment.
Concurr. Comput. Pract. Exp.
Zhijun Ding, Yuchen Chen, Meiqin Pan, Xiaolun Li, Pengwei Wang
2006 C conf
Formal Model of Workflow Integration and its Application in STISAG.
CSCWD
Zhijun Ding, Zhaohui Zhang, Changjun Jiang, Meiqin Pan