14
Publications
321
Citations
12
H-Index
2006
Active since
Xiangfu Zhao is an author at Zhejiang Normal University specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningSystems EngineeringFormal MethodsFormal VerificationData MiningData ScienceVerificationImage Analysis
Publications per year
2006–2024
14
14
The DAO attack paradoxes in propositional logic
Xiangfu Zhao, Zhongyu Chen, Xin Chen et al. · 2017 · 51 citations
A New Classification Algorithm Using Mutual Nearest Neighbors
Huawen Liu, Shichao Zhang, Jianming Zhao et al. · 2010 · 32 citations
Rows per page
1–5 of 14