Concepedia

Mingzhe Wang

MW

Statistics

Publications

7

Citations

261

H-Index

7

Active since

2010

Affiliations

University of Michigan(Current)

Huazhong University of Science and Technology

Mingzhe Wang is an author at University of Michigan specializing in computer science, computing, and automated reasoning.

Publications per year

2010–2025

7

Publications

7

Optimized data storage algorithm of IoT based on cloud computing in distributed system

Mingzhe Wang, Qiuliang Zhang · Computer Communications · 2020 · 68 citations

Computing, Cloud Computing, Information Technology +16

Premise Selection for Theorem Proving by Deep Graph Embedding

Mingzhe Wang, Yihe Tang, Jian Wang et al. · Neural Information Processing Systems · 2017 · 64 citations

Computing, Computer Science, Mathematics +17

Infinite Photorealistic Worlds Using Procedural Generation

Alexander Raistrick, Lahav Lipson, Zeyu Ma et al. · 2023 · 57 citations

Computing, Computer Science, Computer Graphics +15

Premise Selection for Theorem Proving by Deep Graph Embedding

Mingzhe Wang, Yihe Tang, Jian Wang et al. · arXiv (Cornell University) · 2017 · 28 citations · Full text

Computing, Computer Science, Mathematics +17

Route Choice Behavior Model with Guidance Information

Feng Gao, Mingzhe Wang · Journal of Transportation Systems Engineering and Information Technology · 2010 · 22 citations

Planning, Transportation Planning, Decision Making +9

1–5 of 7