1
Publications
105
Citations
1
H-Index
2010
Active since
Affiliations
Jiangsu University of Technology(Current)
Zexiang Zhang is an author at Jiangsu University of Technology specializing in statistics, automated reasoning, and formal methods.
Top concepts
SemanticsStatisticsData MiningEngineeringData ScienceVerificationData ModelingFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1