Changhui Ma

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Satisfiability Testing

Economic Analysis

Propositional Logic

Top Venues

Publications

Changhui Ma, Si-Bo Duan, Wenhua Qin, Feng Wang, Lei He
Spatio-Temporal Dynamics of Vegetation and Its Driving Mechanisms on the Qinghai-Tibet Plateau from 2000 to 2020. Remote. Sens. 16 (15) (2024)
Weijie Huang, Menghua Zhang, Fuqiang Sun, Jin Zhang, Changhui Ma, Zaixing Zhu
Saturated PD with sliding mode control method for 4-DOF tower crane systems. RCAR (2021)
Di Liu, Chunyang Li, Zhihang Jiang, Rui Kong, Lei Wu, Changhui Ma
Integrated Power Grid Management System based on Micro Service. CBD (2020)
Bo Chen, Kang Zhao, Bing Zhang, Cheng Wu, Linlin Ma, Changhui Ma, Yuefei Sui
The B5-Modalized Propositional Logic. SKG (2019)
Bo Chen, Kang Zhao, Changhui Ma, Bing Zhang, Cheng Wu, Yuefei Su
The Modalized Many-Valued Logic. SKG (2018)
Wenkai Gao, Yong Wang, Wenwen Liu, Ying Ding, Changhui Ma, Zhe Jiang
Economic analysis of nuclear power plant's operation modes in power system with high wind integration. ISGT Europe (2017)
Bo Chen, Cheng Wu, Bing Zhang, Changhui Ma, Yuefei Sui
Quantified Propositional Logic and Translations. SKG (2017)
Changhui Ma, Zhe Jiang, Pengfei Zhang, Wenkai Gao, Wenwen Liu
Economic analysis of wind power accommodation considering operation modes of nuclear power plants. IECON (2017)