Jicheng Zhao

Statistics

Publications

Citations

H-Index

Active since

2003

Affiliations

Hong Kong University of Science and Technology(Current)

Jicheng Zhao is an author at Hong Kong University of Science and Technology specializing in engineering, power electronics, and electrical engineering.

ORCID

Top concepts

EngineeringMechatronicsVerificationFormal MethodsSatisfiabilityComputer ScienceLogic ProgrammingPower ElectronicsAutomated ReasoningFormal Verification

Publications per year

2003–2019

Publications

On tight logic programs and yet another translation from normal logic programs to propositional logic

Fangzhen Lin, Jicheng Zhao · International Joint Conference on Artificial Intelligence · 2003 · 57 citations

Mathematical Programming, Applied Logic, Engineering +17

Commutation Torque Ripple Reduction for Brushless DC Motor Based on an Auxiliary Step-Up Circuit

Xuliang Yao, Jicheng Zhao, Jingfang Wang et al. · IEEE Access · 2019 · 19 citations · Full text

Electrical Engineering, Electric Machine, Engineering +10

1–2 of 2