1
Publications
105
Citations
1
H-Index
2010
Active since
Affiliations
Jiangsu University of Technology(Current)
Jingye Qian is an author at Jiangsu University of Technology specializing in verification, statistics, 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