Mingyuan Song
According to our database1,
Mingyuan Song
authored at least 3 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
LEOPARD: Accelerating Cloud-based Access Control Policy Verification Using Logical Encoding Optimization.
Proceedings of the 33rd IEEE/ACM International Symposium on Quality of Service, 2025
2023
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.
Proceedings of the IEEE International Conference on Intelligence and Safety for Robotics, 2018