Wenhui Zhang
About
Wenhui Zhang has authored 22 papers that have received a total of 60 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 7 papers in Software and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (11 papers), Logic, programming, and type systems (5 papers) and Software Reliability and Analysis Research (4 papers). Wenhui Zhang is often cited by papers focused on Formal Methods in Verification (11 papers), Logic, programming, and type systems (5 papers) and Software Reliability and Analysis Research (4 papers) and collaborates with scholars based in China, Norway and Canada. Wenhui Zhang's co-authors include Yuchen Wang, Arthur Asuncion and Yongchao Li and has published in prestigious journals such as Sensors, IEEE Access and Information Sciences.
In The Last Decade
Fields of papers published by Wenhui Zhang
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
Countries citing papers authored by Wenhui Zhang
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Paolo Ubiali Breakdown of academic impact, for papers by Sathish Kumar Breakdown of academic impact, for papers by Evi Widowati Breakdown of academic impact, for papers by Viktor Kučera Breakdown of academic impact, for papers by Yu.A. Budagov Breakdown of academic impact, for papers by Bill V. Mullen Breakdown of academic impact, for papers by Evgeniy Lavrov Breakdown of academic impact, for papers by Joseph F. Kordas