​
Login / Signup
Yunxia Bao
ORCID
Publication Activity (10 Years)
Years Active: 2009-2024
Publications (10 Years): 7
Top Topics
Intensive Care
Petri Net
Deadlock Detection
Ims Ld
Top Venues
IEEE Trans. Syst. Man Cybern. Syst.
Inf. Sci.
ICPCSEE (1)
ICPCSEE (2)
</>
Publications
</>
Xiaoliang Wang
,
Faming Lu
,
Mengchu Zhou
,
Qingtian Zeng
,
Yunxia Bao
Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning.
Inf. Sci.
680 (2024)
Faming Lu
,
Fenghua Lv
,
Minghao Cui
,
Yunxia Bao
,
Qingtian Zeng
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.
IEEE Access
12 (2024)
Faming Lu
,
Mengfan Tang
,
Yunxia Bao
,
Xiaoyu Wang
A Survey of Detection Methods for Software Use-After-Free Vulnerability.
ICPCSEE (2)
(2022)
Faming Lu
,
Pengfei Li
,
Yunxia Bao
,
Cong Liu
,
Qingtian Zeng
Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining.
J. Medical Imaging Health Informatics
10 (7) (2020)
Faming Lu
,
Ranran Tao
,
Yuyue Du
,
Qingtian Zeng
,
Yunxia Bao
Deadlock detection-oriented unfolding of unbounded Petri nets.
Inf. Sci.
497 (2019)
Faming Lu
,
Qingtian Zeng
,
MengChu Zhou
,
Yunxia Bao
,
Hua Duan
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
49 (6) (2019)
Lin Wang
,
Faming Lu
,
Minghao Cui
,
Yunxia Bao
Survey of Methods for Time Series Symbolic Aggregate Approximation.
ICPCSEE (1)
(2019)
Faming Lu
,
Qingtian Zeng
,
Yunxia Bao
,
Hua Duan
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.
IEEE Trans. Syst. Man Cybern. Syst.
44 (2) (2014)
Faming Lu
,
Qingtian Zeng
,
Hao Zhang
,
Yunxia Bao
,
Jiufang An
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.
SEKE
(2012)
Yunxia Bao
,
Chi Zhou
,
Peikun He
,
Erke Mao
Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function.
FUSION
(2009)