arrow
返回
M

Mengda He

university of teesside

8H指数
29论文数
166被引数
收录论文 4
发表时间
err分享
err收藏
Extracting automata from neural networks using active learning
err2021-04-19
err2
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao; He, Mengda
err分享
err收藏
A Program Logic for Reasoning About C11 Programs With Release-Sequences
err2020-01-01
err0
errOAAI
errHe, Mengda; Qin, Shengchao; Xu, Zhiwu
err分享
err收藏
Using function approximation for personalized point-of-interest recommendation
err2017-08-01
err10
errOAAI
errChen, Bilian; Yu, Shenbao; Tang, Jing; He, Mengda; Zeng, Yifeng
err分享
err收藏