Login / Signup
Zhimin Wu
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 16
Top Topics
Model Checking
Image Similarity
Gpu Accelerated
Finite State
Top Venues
ICECCS
Symmetry
CoRR
Nursing Informatics
</>
Publications
</>
Yan Fu
,
Chengzhao Wang
,
Zhimin Wu
,
Xiaoguang Zhang
,
Yan Liu
,
Xu Wang
,
Fangfang Liu
,
Yujuan Chen
,
Yang Zhang
,
Huanhuan Zhao
,
Qiao Wang
Discovery of the potential biomarkers for early diagnosis of endometrial cancer via integrating metabolomics and transcriptomics.
Comput. Biol. Medicine
173 (2024)
Zhimin Wu
,
Yang Zou
,
Feng Zheng
,
Ning Liang
Research on Optimal Scheduling Strategy of Microgrid Considering Electric Vehicle Access.
Symmetry
15 (11) (2023)
Futian Wang
,
Zhimin Wu
,
Jin Tang
,
Chenglong Li
,
Cheng Zhang
Multi-Request Data Cache Optimization Strategy in Edge Computing.
SNPD-Winter
(2023)
Su Chen
,
Zhimin Wu
,
Menghan Guo
,
Zhenyu Wang
Application of Image Similarity Detection based on Typical ITAI Servers.
ICIGP
(2022)
Yuan Chen
,
Lijuan Yan
,
Weiliang Zheng
,
Bixia Lin
,
Linjing Wu
,
Zhimin Wu
,
Polun Chang
Development of Nursing Informatics Competencies Evaluation Index System of Clinical Nurses.
Nursing Informatics
(2021)
Zhiyong Wang
,
Miao Zhang
,
He Xu
,
Guoai Xu
,
Chengze Li
,
Zhimin Wu
Artificial Intelligence and Game Theory Based Security Strategies and Application Cases for Internet of Vehicles.
CSPS
(2019)
Dianwei Qian
,
Guigang Zhang
,
Jian Wang
,
Zhimin Wu
Second-Order Sliding Mode Formation Control of Multiple Robots by Extreme Learning Machine.
Symmetry
11 (12) (2019)
Guosheng Xu
,
Zhimin Wu
,
Chengze Li
,
Jinghua Yan
,
Jing Yuan
,
Zhiyong Wang
,
Lu Wang
Method of Deep Web Collection for Mobile Application Store Based on Category Keyword Searching.
SpaCCS
(2019)
Xue Zhang
,
Zhimin Wu
,
Ye Cheng
An approach of steel plate hybrid bonding technique to externally bonded fibre-reinforced polymer strengthening system.
Int. J. Distributed Sens. Networks
14 (6) (2018)
Xi Zhang
,
Bocheng Bao
,
Han Bao
,
Zhimin Wu
,
Yihua Hu
Bi-Stability Phenomenon in Constant On-Time Controlled Buck Converter With Small Output Capacitor ESR.
IEEE Access
6 (2018)
Fuyuan Zhang
,
Yongwang Zhao
,
David Sanán
,
Yang Liu
,
Alwen Tiu
,
Shang-Wei Lin
,
Zhimin Wu
,
Jun Sun
Compositional Reasoning for Shared-variable Concurrent Programs.
CoRR
(2016)
Zhimin Wu
,
Ernst Moritz Hahn
,
Akin Günay
,
Lijun Zhang
,
Yang Liu
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.
ECAI
(2016)
Zhimin Wu
,
Yi Xu
,
Akin Günay
,
Yang Liu
,
Shengchao Qin
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.
ICECCS
(2016)
Shufang Yang
,
Ran Wang
,
Guang Wan
,
Zhimin Wu
,
Shujuan Guo
,
Xingxing Dai
,
Xinyuan Shi
,
Yanjiang Qiao
A Multiscale Study on the Penetration Enhancement Mechanism of Menthol to Osthole.
J. Chem. Inf. Model.
56 (11) (2016)
Zhimin Wu
Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium).
ICECCS
(2015)
Zhimin Wu
,
Yang Liu
,
Jun Sun
,
Jianqi Shi
,
Shengchao Qin
GPU Accelerated On-the-Fly Reachability Checking.
ICECCS
(2015)
Zhimin Wu
,
Yang Liu
,
Yun Liang
,
Jun Sun
GPU Accelerated Counterexample Generation in LTL Model Checking.
ICFEM
(2014)
Zhimin Wu
,
Rui Wang
,
Weizhi Xu
,
Mingyu Chen
,
Erlin Yao
Supporting User-directed Fault Tolerance over Standard MPI.
ICPADS
(2012)