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

Jianqi Shi

East China Normal University

12H指数
83论文数
651被引数
收录论文 12
发表时间
logo
NL2SMT-A LLM based SMT-LIB generation framework基于LLM的SMT-LIB生成框架NL2SMT-A
errInformation and Software Technology
IF4.3
err2026-07-01
err0
PREAI
errMiao, Zhiyuan; Shi, JianQi; Huang, Yanhong; Guo, Xin
err分享
err收藏
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2024-04-01
err0
PREAI
errShi, Jianqi; Chen, Yinghao; Li, Qin; Huang, Yanhong; Yang, Yang; Zhao, Mengyan
err分享
err收藏
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness
errJOURNAL OF GRID COMPUTING
IF2.9
err2023-07-04
err1
PREAI
errYang, Hailin; Huang, Yanhong; Shi, Jianqi; Yang, Yang
err分享
err收藏
Extracting optimal explanations for ensemble trees via automated reasoning通过自动推理提取集成树的最佳解释
errAPPLIED INTELLIGENCE
IF3.5
err2022-10-25
err1
PREAI
errZhang, Gelin; Hou, Zhe; Huang, Yanhong; Shi, Jianqi; Bride, Hadrien; Dong, Jin Song; Gao, Yongsheng
err分享
err收藏
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2022-07-01
err6
PREAI
errMao, Xia; Li, Xin; Huang, Yanhong; Shi, Jianqi; Zhang, Yueling
err分享
err收藏
Safety Verification of IEC 61131-3 Structured Text Programs
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2021-04-01
err5
PREAI
errXiong, Jiawen; Bu, Xiangxing; Huang, Yanhong; Shi, Jianqi; He, Weigang
err分享
err收藏
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols
errJOURNAL OF INTELLIGENT MANUFACTURING
IF7.4
err2020-05-23
err25
PREAI
errLv, Wanyou; Xiong, Jiawen; Shi, Jianqi; Huang, Yanhong; Qin, Shengchao
err分享
err收藏
A feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus
errIEEE ACCESS
IF3.6
err2019-01-01
err15
errOAAI
errZhang, Peng; Liu, Yu; Shi, Jianqi; Huang, Yanhong; Zhao, Yongxin
err分享
err收藏
A Decomposition-Based Development Method for Industrial Control Systems一种基于分解的工业控制系统开发方法
errIEEE ACCESS
IF3.6
err2019-01-01
err3
errOAAI
errXiong, Jiawen; Li, Ju; Shi, Jianqi; Huang, Yanhong
err分享
err收藏
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification
errIEEE ACCESS
IF3.6
err2019-01-01
err7
errOAAI
errHuang, Yanhong; Bu, Xiangxing; Zhu, Gang; Ye, Xin; Zhu, Xiaoran; Shi, Jianqi
err分享
err收藏
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning
errIEEE ACCESS
IF3.6
err2019-01-01
err30
errOAAI
errLi, Zhihui; Zhao, Hui; Shi, Jianqi; Huang, Yanhong; Xiong, Jiawen
err分享
err收藏
Semantic theories of programs with nested interrupts
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2015-02-03
err4
PREAI
errHuang, Yanhong; He, Jifeng; Zhu, Huibiao; Zhao, Yongxin; Shi, Jianqi; Qin, Shengchao
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
杨海麟 封面图
杨海麟 (Hailin Yang)
H 指数: 47 · 论文数: 350
Y
Yongsheng Gao
H 指数: 40 · 论文数: 358
J
Jin Song Dong
H 指数: 36 · 论文数: 430
Y
Yang Yang
H 指数: 32 · 论文数: 284
S
Shengchao Qin
H 指数: 27 · 论文数: 207
查看更多