Supporting User-directed Fault Tolerance over Standard MPI. - Zhimin Wu; Rui Wang; Weizhi Xu 001; Mingyu Chen 001; Erlin Yao (ICPADS, 2012)

GPU Accelerated Counterexample Generation in LTL Model Checking. - Zhimin Wu; Yang Liu 003; Yun Liang 001; Jun Sun 001 (ICFEM, 2014)

Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium). - Zhimin Wu (ICECCS, 2015)

GPU Accelerated On-the-Fly Reachability Checking. - Zhimin Wu; Yang Liu 003; Jun Sun 001; Jianqi Shi; Shengchao Qin (ICECCS, 2015)

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. - Zhimin Wu; Ernst Moritz Hahn; Akin Günay; Lijun Zhang 001; Yang Liu 003 (ECAI, 2016)

Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. - Zhimin Wu; Yi Xu; Akin Günay; Yang Liu 003; Shengchao Qin (ICECCS, 2016)

Compositional Reasoning for Shared-variable Concurrent Programs. - Fuyuan Zhang; Yongwang Zhao; David Sanán; Yang Liu 003; Alwen Tiu; Shang-Wei Lin 001; Zhimin Wu; Jun Sun 001 (CoRR, 2016)

A Multiscale Study on the Penetration Enhancement Mechanism of Menthol to Osthole. - Shufang Yang; Ran Wang; Guang Wan; Zhimin Wu; Shujuan Guo; Xingxing Dai; Xinyuan Shi; Yanjiang Qiao (J. Chem. Inf. Model., 2016)

Parallelizing model checking algorithms using multi-core and many-core architectures - Zhimin Wu (2017)

Bi-Stability Phenomenon in Constant On-Time Controlled Buck Converter With Small Output Capacitor ESR. - Xi Zhang 012; Bocheng Bao; Han Bao 001; Zhimin Wu; Yihua Hu 004 (IEEE Access, 2018)

An approach of steel plate hybrid bonding technique to externally bonded fibre-reinforced polymer strengthening system. - Xue Zhang; Zhimin Wu; Ye Cheng (Int. J. Distributed Sens. Networks, 2018)

Artificial Intelligence and Game Theory Based Security Strategies and Application Cases for Internet of Vehicles. - Zhiyong Wang; Miao Zhang; He Xu; Guoai Xu; Chengze Li; Zhimin Wu (CSPS, 2019)

Method of Deep Web Collection for Mobile Application Store Based on Category Keyword Searching. - Guosheng Xu 001; Zhimin Wu; Chengze Li; Jinghua Yan; Jing Yuan; Zhiyong Wang; Lu Wang (SpaCCS, 2019)

Second-Order Sliding Mode Formation Control of Multiple Robots by Extreme Learning Machine. - Dianwei Qian; Guigang Zhang; Jian Wang 029; Zhimin Wu (Symmetry, 2019)

Development of Nursing Informatics Competencies Evaluation Index System of Clinical Nurses. - Yuan Chen; Lijuan Yan; Weiliang Zheng; Bixia Lin; Linjing Wu; Zhimin Wu; Polun Chang (Nursing Informatics, 2021)

Application of Image Similarity Detection based on Typical ITAI Servers. - Su Chen; Zhimin Wu; Menghan Guo; Zhenyu Wang (ICIGP, 2022)

Android Malware Detection Based on Feature Selection and Weight Measurement. - Huizhong Sun; Guosheng Xu 001; Zhimin Wu; Ruijie Quan (Intell. Autom. Soft Comput., 2022)

Multi-Request Data Cache Optimization Strategy in Edge Computing. - Futian Wang; Zhimin Wu; Jin Tang 001; Chenglong Li 002; Cheng Zhang 010 (SNPD-Winter, 2023)

Research on Optimal Scheduling Strategy of Microgrid Considering Electric Vehicle Access. - Zhimin Wu; Yang Zou; Feng Zheng; Ning Liang (Symmetry, 2023)

Discovery of the potential biomarkers for early diagnosis of endometrial cancer via integrating metabolomics and transcriptomics. - Yan Fu; Chengzhao Wang; Zhimin Wu; Xiaoguang Zhang; Yan Liu; Xu Wang; Fangfang Liu; Yujuan Chen; Yang Zhang; Huanhuan Zhao; Qiao Wang (Comput. Biol. Medicine, 2024)

Integrating a multigeneration system into a biogas-fueled gas turbine power plant for CO2 emission reduction: An efficient design and exergy-economic assessment. - Lunan Li; Zhimin Wu; Chuan Jin (Comput. Chem. Eng., 2025)