4
Publications
138
Citations
4
H-Index
2013
Active since
Affiliations
Shanghai Jiao Tong University(Current)
Ming-zhi Li is an author at Shanghai Jiao Tong University specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringSemanticsData ScienceField RoboticsFormal MethodsSoftware DesignComputer ScienceSpace EngineeringAutomated ReasoningIntelligent Systems
Publications per year
2013–2024
4
4
Rows per page
1–4 of 4