Zhimin Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2012–2023
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SNPD | Multi-Request Data Cache Optimization Strategy in Edge Computing. | Futian Wang, Zhimin Wu, Jin Tang, Chenglong Li, Cheng Zhang |
| 2016 | ECAI | GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. | Zhimin Wu, Ernst Moritz Hahn, Akin Gnay, Lijun Zhang, Yang Liu |
| 2016 | ICECCS | Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. | Zhimin Wu, Yi Xu, Akin Gnay, Yang Liu, Shengchao Qin |
| 2015 | ICECCS | Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium). | Zhimin Wu |
| 2015 | ICECCS | GPU Accelerated On-the-Fly Reachability Checking. | Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin |
| 2014 | ICFEM | GPU Accelerated Counterexample Generation in LTL Model Checking. | Zhimin Wu, Yang Liu, Yun Liang, Jun Sun |
| 2012 | ICPADS | Supporting User-directed Fault Tolerance over Standard MPI. | Zhimin Wu, Rui Wang, Weizhi Xu, Mingyu Chen, Erlin Yao |