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

Huaikou Miao

shanghai university

16H指数
171论文数
990被引数
收录论文 4
发表时间
logo
A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective
errACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS
IF6
err2023-01-05
err16
PREAI
errGao, Honghao; Dai, Baobin; Miao, Huaikou; Yang, Xiaoxian; Barroso, Ramon J. Duran; Walayat, Hussain
err分享
err收藏
Transition Algebra for Software Testing软件测试的过渡代数
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-12-01
err3
errOAAI
errLiu, Pan; Li, Yihao; Miao, Huaikou
err分享
err收藏
Video Synopsis Based on Attention Mechanism and Local Transparent Processing
errIEEE ACCESS
IF3.6
err2020-01-01
err8
errOAAI
errChen, Shengbo; Liu, Xianrui; Huang, Yiyong; Zhou, Congcong; Miao, Huaikou
err分享
err收藏
An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process
errIEEE ACCESS
IF3.6
err2017-01-01
err57
errOAAI
errGao, Honghao; Duan, Yucong; Miao, Huaikou; Yin, Yuyu
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
H
Honghao Gao
H 指数: 49 · 论文数: 370
Y
Yuyu Yin
H 指数: 31 · 论文数: 188
W
Walayat Hussain
H 指数: 28 · 论文数: 178
Y
Yucong Duan
H 指数: 26 · 论文数: 235
S
Shengbo Chen
H 指数: 24 · 论文数: 164
查看更多