logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jianwen Li

east china normal university

15H指数
92论文数
859被引数
收录论文 9
发表时间
logo
An On-the-Fly Synthesis Framework for LTL over Finite Traces有限迹上LTL的在线合成框架
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-04-01
err0
PREAI
errXiao, Shengping; Li, Yongkang; Zhu, Shufang; Sun, Jun; Li, Jianwen; Pu, Geguang; Vardi, Moshe y.
err分享
err收藏
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal通过动态遍历释放基于CAR模型的模型检测的隐藏力量
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errDong, Yibo; Chen, Yu; Li, Jianwen; Pu, Geguang
err分享
err收藏
Fault Diagnosis Method for Position Sensors in Multi-Phase Brushless DC Motor Drive Systems Based on Position Signals and Fault Current Characteristics基于位置信号和故障电流特性的多相无刷直流电机驱动系统位置传感器故障诊断方法
errworld electric vehicle journal
IF0
err2025-08-17
err0
errOAAI
errJianwen Li; Wei Zhang; Shi Zhang
err分享
err收藏
Study on Current-Carrying Friction Characteristics and Corrosion Resistance of Carbon Brush/Collector Ring by Copper-Graphene Electrodeposition Process通过铜-石墨烯电沉积工艺对碳刷/集电环载流摩擦特性及耐腐蚀性的研究
errLUBRICANTS
IF2.9
err2025-04-03
err0
errOAAI
errZhao, Meiyun; Li, Jianwen; Li, Chenshi; Li, Yangyang; Zhang, Xiaolong
err分享
err收藏
Monitoring of peanut leaves chlorophyll content based on drone-based multispectral image feature extraction
errCOMPUTERS AND ELECTRONICS IN AGRICULTURE
IF8.9
err2021-08-01
err58
PREAI
errQi, Haixia; Wu, Zeyu; Zhang, Lei; Li, Jianwen; Zhou, Jingkang; Jun, Zou; Zhu, Bingyu
err分享
err收藏
SAT-based explicit LTLf satisfiability checking
errartificial intelligence review
IF4.6
err2020-12-01
err20
errOAAI
errLi, Jianwen; Pu, Geguang; Zhang, Yueling; Vardi, Moshe Y.; Rozier, Kristin Y.
err分享
err收藏
Estimation of Peanut Leaf Area Index from Unmanned Aerial Vehicle Multispectral Images基于无人机多光谱影像的花生叶面积指数估算
errSENSORS
IF3.5
err2020-11-25
err44
errOAAI
errQi, Haixia; Zhu, Bingyu; Wu, Zeyu; Liang, Yu; Li, Jianwen; Wang, Leidi; Chen, Tingting; Lan, Yubin; Zhang, Lei
err分享
err收藏
Online Spatial and Temporal Calibration for Monocular Direct Visual-Inertial Odometry
errSENSORS
IF3.5
err2019-05-16
err10
errOAAI
errFeng, Zheyu; Li, Jianwen; Zhang, Lundong; Chen, Chen
err分享
err收藏
Revisiting Assumptions Ordering in CAR-Based Model Checking重新审视基于CAR的模型检测中的假设排序
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err
err0
PREAI
errYibo Dong; Yu Chen; Jianwen Li; Geguang Pu; Ofer Strichman
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Moshe Y. Vardi
H 指数: 90 · 论文数: 869
C
Chen Chen
H 指数: 62 · 论文数: 444
兰玉彬 封面图
兰玉彬 (Yubin Lan)
H 指数: 55 · 论文数: 499
李阳阳 封面图
李阳阳 (Yangyang Li)
H 指数: 50 · 论文数: 339
孙俊 封面图
孙俊 (Jun Sun)
H 指数: 46 · 论文数: 957
查看更多