Feifei Cheng

According to our database, Feifei Cheng authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Embedding Quantum Program Verification into Dafny.

Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li

Proc. ACM Program. Lang., 2025

Crop sample prediction and early mapping based on historical data: Exploration of an explainable FKAN framework.

Feifei Cheng, Bingwen Qiu, Peng Yang, Wenbin Wu, Qiangyi Yu, Jianping Qian, Bingfang Wu, Jin Chen, Xuehong Chen, Francesco N. Tubiello, Piotr Tryjanowski, Viktoria Takacs, Yuanlin Duan, Lihui Lin, Laigang Wang, Jianyang Zhang, Zhanjie Dong

Comput. Electron. Agric., 2025

2024

National-scale 10 m annual maize maps for China and the contiguous United States using a robust index from Sentinel-2 time series.

Yingze Huang, Bingwen Qiu, Peng Yang, Wenbin Wu, Xuehong Chen, Xiaolin Zhu, Shuai Xu, Laigang Wang, Zhanjie Dong, Jianyang Zhang, Joe Berry, Zhenghong Tang, Jieyang Tan, Dingding Duan, Yufeng Peng, Duoduo Lin, Feifei Cheng, Juanzhu Liang, Hongyu Huang, Chongcheng Chen

Comput. Electron. Agric., 2024

2023

National Scale Maize Yield Estimation by Integrating Multiple Spectral Indexes and Temporal Aggregation.

Yuhua He, Bingwen Qiu, Feifei Cheng, Chongcheng Chen, Yu Sun, Dongshui Zhang, Li Lin, Aizhen Xu

Remote. Sens., January, 2023

2022

A Superpixel Spatial Intuitionistic Fuzzy C-Means Clustering Algorithm for Unsupervised Classification of High Spatial Resolution Remote Sensing Images.

Xinran Ji, Liang Huang, Bo-Hui Tang, Guokun Chen, Feifei Cheng

Remote. Sens., 2022

STF-EGFA: A Remote Sensing Spatiotemporal Fusion Network with Edge-Guided Feature Attention.

Feifei Cheng, Zhitao Fu, Bo-Hui Tang, Liang Huang, Kun Huang, Xinran Ji

Remote. Sens., 2022