Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function. - Yunxia Bao; Chi Zhou; Peikun He; Erke Mao (FUSION, 2009)

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. - Faming Lu; Qingtian Zeng; Hao Zhang; Yunxia Bao; Jiufang An (SEKE, 2012)

Hierarchy Modeling and Formal Verification of Emergency Treatment Processes. - Faming Lu; Qingtian Zeng; Yunxia Bao; Hua Duan (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Survey of Methods for Time Series Symbolic Aggregate Approximation. - Lin Wang; Faming Lu; Minghao Cui; Yunxia Bao (ICPCSEE (1), 2019)

Deadlock detection-oriented unfolding of unbounded Petri nets. - Faming Lu; Ranran Tao; Yuyue Du; Qingtian Zeng; Yunxia Bao (Inf. Sci., 2019)

Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets. - Faming Lu; Qingtian Zeng; MengChu Zhou; Yunxia Bao; Hua Duan (IEEE Trans. Syst. Man Cybern. Syst., 2019)

Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining. - Faming Lu; Pengfei Li; Yunxia Bao; Cong Liu 012; Qingtian Zeng (J. Medical Imaging Health Informatics, 2020)

A Survey of Detection Methods for Software Use-After-Free Vulnerability. - Faming Lu; Mengfan Tang; Yunxia Bao; Xiaoyu Wang (ICPCSEE (2), 2022)

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks. - Faming Lu; Fenghua Lv; Minghao Cui; Yunxia Bao; Qingtian Zeng (IEEE Access, 2024)

Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning. - Xiaoliang Wang; Faming Lu; Mengchu Zhou; Qingtian Zeng; Yunxia Bao (Inf. Sci., 2024)

Segment-Based May-Happen-in-Parallel Analysis for C Programs. - Faming Lu; Xiaoyu Wang; Qingtian Zeng; Guiyuan Yuan; Yunxia Bao (Concurr. Comput. Pract. Exp., 2025)