Liang Zhao is an author at Xidian University specializing in computer science, engineering, and logic programming.
Top concepts
EngineeringComputer ScienceDeep LearningFormal MethodsMachine VisionComputer VisionMachine LearningObject DetectionLogic ProgrammingAutomated Reasoning
Publications per year
2008–2023
3
3
MSVL: a typed language for temporal logic programming
Xiaobing Wang, Cong Tian, Zhenhua Duan et al. · Frontiers of Computer Science · 2017 · 29 citations
Graph transformations for object-oriented refinement
Liang Zhao, Xiaojian Liu, Zhiming Liu et al. · Formal Aspects of Computing · 2008 · 23 citations · Full text
Rows per page
1–3 of 3