PACE Solver Description: Computing Exact Treedepth via Minimal Separators. - Zijian Xu 002; Dejun Mao; Vorapong Suppakitpaisarn (IPEC, 2020)

Research on the Basic Combat Round Model of Over-The-Horizon Air Combat. - Dejun Mao; Ling Yang (ICSI, 2024)