Sign in
Jianan Ma
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 1
</>
Publications
</>
Jianan Ma
,
Pengfei Yang
,
Jingyi Wang
,
Youcheng Sun
,
Cheng-Chao Huang
,
Zhen Wang
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
ICSE
(2024)
Desen Yang
,
Xiaoxia Guo
,
Shengguo Shi
,
Jianan Ma
The investigation on the selection of measuring distance of acoustical holography.
EMEIT
(2011)