Zhimin Wu

According to our database, Zhimin Wu authored at least 18 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Research on Optimal Scheduling Strategy of Microgrid Considering Electric Vehicle Access.

Zhimin Wu, Yang Zou, Feng Zheng, Ning Liang

Symmetry, November, 2023

Multi-Request Data Cache Optimization Strategy in Edge Computing.

Futian Wang, Zhimin Wu, Jin Tang, Chenglong Li, Cheng Zhang

Proceedings of the 25th ACIS International Winter Conference on Software Engineering, 2023

2022

Application of Image Similarity Detection based on Typical ITAI Servers.

Su Chen, Zhimin Wu, Menghan Guo, Zhenyu Wang

Proceedings of the ICIGP 2022: The 5th International Conference on Image and Graphics Processing, Beijing, China, January 7, 2022

2021

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

Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

2019

Second-Order Sliding Mode Formation Control of Multiple Robots by Extreme Learning Machine.

Dianwei Qian, Guigang Zhang, Jian Wang, Zhimin Wu

Symmetry, 2019

Method of Deep Web Collection for Mobile Application Store Based on Category Keyword Searching.

Guosheng Xu, Zhimin Wu, Chengze Li, Jinghua Yan, Jing Yuan, Zhiyong Wang, Lu Wang

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2019

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

Proceedings of the Communications, Signal Processing, and Systems, 2019

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

Bi-Stability Phenomenon in Constant On-Time Controlled Buck Converter With Small Output Capacitor ESR.

Xi Zhang, Bocheng Bao, Han Bao, Zhimin Wu, Yihua Hu

IEEE Access, 2018

2017

Parallelizing model checking algorithms using multi-core and many-core architectures

Zhimin Wu

PhD thesis, 2017

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

Compositional Reasoning for Shared-variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun

CoRR, 2016

Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.

Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs.

Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

GPU Accelerated On-the-Fly Reachability Checking.

Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium).

Zhimin Wu

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

GPU Accelerated Counterexample Generation in LTL Model Checking.

Zhimin Wu, Yang Liu, Yun Liang, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2014

2012

Supporting User-directed Fault Tolerance over Standard MPI.

Zhimin Wu, Rui Wang, Weizhi Xu, Mingyu Chen, Erlin Yao

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012