Mingyuan Song

According to our database, Mingyuan Song authored at least 3 papers between 2018 and 2025.

Collaborative distances:

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

2025

LEOPARD: Accelerating Cloud-based Access Control Policy Verification Using Logical Encoding Optimization.

Xing Fang, Feiyan Ding, Mingyuan Song, Yuntao Zhao, Lizhao You, Qiao Xiang, Linghe Kong, Jiwu Shu, Xue (Steve) Liu

Proceedings of the 33rd IEEE/ACM International Symposium on Quality of Service, 2025

2023

Accelerating SAT Solving Using Switching ASICs.

Zhenpei Huang, Xiwen Fan, Jinghui Jiang, Mingyuan Song, Lu Tang, Qiao Xiang, Jiwu Shu

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2018

Path Planning Algorithm Based on an Improved Artificial Potential Field for Mobile Service Robots.

Mingyuan Song, Junyou Yang, Yina Wang, Chunwei Yu, Donghui Zhao

Proceedings of the IEEE International Conference on Intelligence and Safety for Robotics, 2018