Yunxia Bao

Orcid: 0000-0002-1556-5114

According to our database1, Yunxia Bao authored at least 10 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning.
Inf. Sci., 2024

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.
IEEE Access, 2024

2022
A Survey of Detection Methods for Software Use-After-Free Vulnerability.
Proceedings of the Data Science, 2022

2020
Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining.
J. Medical Imaging Health Informatics, 2020

2019
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2019

Deadlock detection-oriented unfolding of unbounded Petri nets.
Inf. Sci., 2019

Survey of Methods for Time Series Symbolic Aggregate Approximation.
Proceedings of the Data Science, 2019

2014
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.
IEEE Trans. Syst. Man Cybern. Syst., 2014

2012
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2009
Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function.
Proceedings of the 12th International Conference on Information Fusion, 2009


  Loading...