Wenbo Zhou

22 papers A 1C 1Journal 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Result constraint behavior cloning for offline reinforcement learning.
Neural Networks
Daolong An, Chun Shen, Songlin Li, Wei Xiao, Shuai Lü, Wenbo Zhou
2025 J jnl
A comprehensive survey of UPPAAL-assisted formal modeling and verification.
Softw. Pract. Exp.
Wenbo Zhou, Yujiao Zhao, Ye Zhang, Yiyuan Wang, Minghao Yin
2025 J jnl
Improving Local Search Algorithm for Pseudo Boolean Optimization.
J. Artif. Intell. Res.
Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin
2025 J jnl
Towards more efficient local search for weighted graph coloring problem in massive graphs.
Comput. Oper. Res.
Shiwei Pan, Yujiao Zhao, Jiangnan Li, Yiyuan Wang, Ye Zhang, Wenbo Zhou, Minghao Yin
2024 J jnl
Combining bounded solving and controllable randomization for approximate model counting.
J. Exp. Theor. Artif. Intell.
Shuai Lü, Tongbo Zhang, Yue Xu, Wenbo Zhou, Yong Lai
2024 J jnl
Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design.
PeerJ Comput. Sci.
Wenbo Zhou, Yujiao Zhao, Ye Zhang, Liwen Mu, Yiyuan Wang, Minghao Yin
2023 J jnl
An efficient local search algorithm for minimum positive influence dominating set problem.
Comput. Oper. Res.
Rui Sun, Jieyu Wu, Chenghou Jin, Yiyuan Wang, Wenbo Zhou, Minghao Yin
2023 J jnl
Entropy regularization methods for parameter space exploration.
Inf. Sci.
Shuai Han, Wenbo Zhou, Shuai Lü, Sheng Zhu, Xiaoyu Gong
2023 A conf
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization.
CP
Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin
2022 J jnl
NROWAN-DQN: A stable noisy network with noise reduction and online weight adjustment for exploration.
Expert Syst. Appl.
Shuai Han, Wenbo Zhou, Jiayi Lu, Jing Liu, Shuai Lü
2021 J jnl
Evolutionary Generative Adversarial Networks based on New Fitness Function and Generic Crossover Operator.
CoRR
Junjie Li, Jingyao Li, Wenbo Zhou, Shuai Lü
2021 J jnl
Recruitment-imitation mechanism for evolutionary reinforcement learning.
Inf. Sci.
Shuai Lü, Shuai Han, Wenbo Zhou, Junwei Zhang
2021 J jnl
Regularly updated deterministic policy gradient algorithm.
Knowl. Based Syst.
Shuai Han, Wenbo Zhou, Shuai Lü, Jiayu Yu
2020 C conf
A Coloured Petri Nets Based Attack Tolerance Framework.
APSEC
Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
2020 J jnl
NROWAN-DQN: A Stable Noisy Network with Noise Reduction and Online Weight Adjustment for Exploration.
CoRR
Shuai Han, Wenbo Zhou, Jing Liu, Shuai Lü
2020 J jnl
Regularly Updated Deterministic Policy Gradient Algorithm.
CoRR
Shuai Han, Wenbo Zhou, Shuai Lü, Jiayu Yu
2019 J jnl
A Method of Automatically Evolving Feature Models of Software Product Lines.
IEEE Access
Junqi Ren, Lei Liu, Peng Zhang, Wenbo Zhou
2019 J jnl
An Executable Specification of Map-Join-Reduce Using Haskell.
IEEE Access
Junqi Ren, Lei Liu, Feng Liu, Wenbo Zhou, Shuai Lü
2019 J jnl
Recruitment-imitation Mechanism for Evolutionary Reinforcement Learning.
CoRR
Shuai Lü, Shuai Han, Wenbo Zhou, Junwei Zhang
2019 J jnl
Toward Formal Modeling and Verification of Resource Provisioning as a Service in Cloud.
IEEE Access
Wenbo Zhou, Lei Liu, Shuai Lü, Peng Zhang
2018 J jnl
SDAC: A model for analysis of the execution semantics of data processing framework in cloud.
Comput. Lang. Syst. Struct.
Wenbo Zhou, Lei Liu, Peng Zhang, Shuai Lü, Jingyao Li
2017 J jnl
一种服务消息交互行为的元建模方法 (Meta-modeling Approach of Message Interaction in Service).
计算机科学
Wenbo Zhou, Hongjia Liu, Lei Liu, Peng Zhang, Shuai Lv