Investigating Emotion EEG Patterns for Depression Detection with Attentive Simple Graph Convolutional Network. - Yu-Ting Lan; Dan Peng; Wei Liu 078; Yun Luo; Ziyu Mao; Wei-Long Zheng; Bao-Liang Lu (EMBC, 2023)

Deep Depression Detection with Resting-State and Cognitive-Task EEG. - Dan Peng; Wei Liu 078; Yun Luo; Ziyu Mao; Wei-Long Zheng; Bao-Liang Lu (EMBC, 2023)

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. - Huan Sun; Ziyu Mao; Jingyi Wang; Ziyan Zhao; Wenhai Wang (FMICS, 2023)

LLM-Aided Automatic Modeling for Security Protocol Verification. - Ziyu Mao; Jingyi Wang 004; Jun Sun 001; Shengchao Qin; Jiawen Xiong (ICSE, 2025)

Quantitative Runtime Monitoring of Ethereum Transaction Attacks. - Xinyao Xu; Ziyu Mao; Jianzhong Su; Xingwei Lin; David Basin; Jun Sun 001; Jingyi Wang 004 (WWW, 2025)