Concepedia

Jianwen Li

JL

Statistics

Publications

14

Citations

500

H-Index

12

Active since

2009

Affiliations

East China Normal University(Current)

Rice University

Institute of Software

Alibaba Group (United States)

Nanyang Technological University

Jianwen Li is an author at East China Normal University specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSatisfiabilityImage AnalysisComputer EngineeringMachine Vision

Publications per year

2009–2021

14

Publications

14

Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction

Haixia Qi, Zeyu Wu, Lei Zhang et al. · Computers and Electronics in Agriculture · 2021 · 98 citations

Plant Analysis, Precision Agriculture, Environmental Monitoring +11

Symbolic LTLf Synthesis

Shufang Zhu, Lucas M. Tabajara, Jianwen Li et al. · 2017 · 91 citations · Full text

Engineering, Verification, System Synthesis +17

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction

Yihao Huang, Felix Juefei-Xu, Run Wang et al. · 2020 · 70 citations

Engineering, Image Manipulation, Depth Map +17

Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images

Haixia Qi, Bingyu Zhu, Zeyu Wu et al. · Sensors · 2020 · 51 citations · Full text

Precision Agriculture, Environmental Monitoring, Engineering +18

Opportunities and Challenges for Blended 2-Way SCR/DPF Aftertreatment Technologies

Yongsheng He, David B. Brown, Shuguang Lu et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2009 · 36 citations

1–5 of 14