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

Jiao Jia

Wuyi University

3H指数
24论文数
37被引数
收录论文 3
发表时间
logo
A Formal Verification Method for the SOPC Software一种SOPC软件的形式化验证方法
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2022-06-01
err5
PREAI
errZhou, Shan; Wang, Jinbo; Jia, Jiao; Zhang, Chi; Wang, Ruixue
err分享
err收藏
Removal of Acidic Organic Ionic Dyes from Water by Electrospinning a Polyacrylonitrile Composite MIL101(Fe)-NH2 Nanofiber Membrane
errMOLECULES
IF4.6
err2022-03-21
err14
errOAAI
errJia, Jiao; Wu, Hao; Xu, Le; Dong, Fengchun; Jia, Yongtang; Liu, Xi
err分享
err收藏
Efficient Automaton Theoretical Vacuity Detection for Formal Properties
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-09-01
err0
errOAAI
errZhou, Shan; Li, Xu Zhi; Wang, Jin Bo; Yuan, Jun; Jia, Jiao
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Chi Zhang
H 指数: 40 · 论文数: 390
J
Jun Yuan
H 指数: 34 · 论文数: 271
刘
刘熙 (Xi Liu)
H 指数: 32 · 论文数: 159
R
Ruixue Wang
H 指数: 30 · 论文数: 171
王金波 封面图
王金波 (Jinbo Wang)
H 指数: 23 · 论文数: 100
查看更多