The investigation on the selection of measuring distance of acoustical holography. - Desen Yang; Xiaoxia Guo; Shengguo Shi; Jianan Ma (EMEIT, 2011)

AI-Yo: Embedding Psychosocial Aspects In the Fashion Stylist Chatbot Design. - Zaiqiao Ye; Mengyao Guo; Jinda Han; Jianan Ma (Creativity & Cognition, 2024)

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. - Jianan Ma; Pengfei Yang 002; Jingyi Wang 004; Youcheng Sun; Cheng-Chao Huang; Zhen Wang 013 (ICSE, 2024)

ADVREPAIR: Provable Repair of Adversarial Attack. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Xiaowei Huang 001; Lijun Zhang 001 (CoRR, 2024)

Patch Synthesis for Property Repair of Deep Neural Networks. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Jingyi Wang 004; Xiaowei Huang 001; Lijun Zhang 001 (ICSE, 2025)