Ziyu Mao

According to our database, Ziyu Mao authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Deep Depression Detection with Resting-State and Cognitive-Task EEG.

Dan Peng, Wei Liu, Yun Luo, Ziyu Mao, Wei-Long Zheng, Bao-Liang Lu

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Investigating Emotion EEG Patterns for Depression Detection with Attentive Simple Graph Convolutional Network.

Yu-Ting Lan, Dan Peng, Wei Liu, Yun Luo, Ziyu Mao, Wei-Long Zheng, Bao-Liang Lu

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023