An Approach to Extending Object-Z with Real-Time. - Huaikou Miao; Zhicheng Wen (DELTA, 2006)

Generating Proof Obligation to Verify Object-Z Specification. - Zhicheng Wen; Huaikou Miao; Hongwei Zeng (ICSEA, 2006)

Research on Running Time Behavior Analyzing and Trend Predicting of Modern Distributed Software. - Junfeng Man; Zhicheng Wen; Changyun Li; Xiangbing Wen (J. Comput., 2009)

Contention-aware reliability management scheme for parallel tasks scheduling in heterogeneous computing systems. - Longxin Zhang; Kenli Li 001; Zhicheng Wen; Cheng Peng 015; Keqin Li 001 (IGSC, 2016)

Network security situation abnormal detection method based on hypothesis test. - Zhicheng Wen; Pinjie He (J. Comput. Methods Sci. Eng., 2016)

Quantitative assessment for network security situation based on weighted factors. - Zhicheng Wen; Jun Tang (J. Comput. Methods Sci. Eng., 2016)

Network security situation prediction in the cloud environment based on grey neural network. - Liang Shen; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2019)

Minimizing Energy Consumption Scheduling Algorithm of Workflows With Cost Budget Constraint on Heterogeneous Cloud Computing Systems. - Longxin Zhang; Lan Wang; Zhicheng Wen; Mansheng Xiao; Junfeng Man (IEEE Access, 2020)

Research on anomaly detection of network security situation based on interval estimation. - Liang Shen; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2020)

Checking the consistency of Object-Z formal specification based on theorem proof. - Weiqing Wan; Yongqing Yu; Qingyan Zeng; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2020)

An automatic approach for detecting seedlings per hill of machine-transplanted hybrid rice utilizing machine vision. - Hongwei Li; Zehua Li; Wenhao Dong; Xiulong Cao; Zhicheng Wen; Ronghao Xiao; Yuhao Wei; Hong Zeng; Xu Ma 001 (Comput. Electron. Agric., 2021)

A sample de-noising method for FCM clustering induced by Gauss kernel. - Yunxing Wang; Liyan Li; Zhicheng Wen (Int. J. Inf. Commun. Technol., 2021)

A massive images classification method based on MapReduce parallel fuzzy C-means clustering. - Jinping Hu; Qian Cheng; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2021)

Parallel FCM clustering algorithm of fuzzy number based on cut set. - Dakun Huang; Jing Wang; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2021)

α-Fairness-based joint power allocation and power splitting for massive MIMO systems with SWIPT. - Hao Li 023; Shuo Yang; Zhicheng Wen; Jiawei Cao; Guangkun Luo; Zhigang Wang; Houjun Wang (Digit. Signal Process., 2022)

Image segmentation based on super-pixel with neighborhood constrained and multi-level FCM clustering. - Yu Yang; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2022)

EM_WOA: A budget-constrained energy consumption optimization approach for workflow scheduling in clouds. - Longxin Zhang; Lan Wang; Mansheng Xiao; Zhicheng Wen; Cheng Peng 015 (Peer-to-Peer Netw. Appl., 2022)

A Network Security Situation Awareness Method Based on GRU in Big Data Environment. - Zhicheng Wen; Longxin Zhang; Qinlan Wu; Wengui Deng (Int. J. Pattern Recognit. Artif. Intell., 2023)

An Algorithm for Network Security Situation Assessment Based on Deep Learning. - Zhicheng Wen; Linhua Peng; Weiqing Wan; Jing Ou (Int. J. Pattern Recognit. Artif. Intell., 2023)

LDD-Net: Lightweight printed circuit board defect detection network fusing multi-scale features. - Longxin Zhang; Jingsheng Chen; Jianguo Chen 001; Zhicheng Wen; Xusheng Zhou (Eng. Appl. Artif. Intell., 2024)

VectorMamba: Enhancing point cloud analysis through vector representations and state space modeling. - Zhicheng Wen (Comput. Graph., 2025)

A recognition method of COVID-19 CT image based on ResNet network. - Hailin Zou; Qinlan Wu; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2025)