default search action

combined dblp search
author search
venue search
publication search

ask others

Yunxia Bao

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/LuLCBZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LuLCBZ24
Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng:
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks. IEEE Access 12: 53713-53738 (2024)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/WangLZZB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/WangLZZB24
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: 121019 (2024)
2022
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icycsee/LuTBW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icycsee/LuTBW22
Faming Lu, Mengfan Tang, Yunxia Bao, Xiaoyu Wang:
A Survey of Detection Methods for Software Use-After-Free Vulnerability. ICPCSEE (2) 2022: 272-297
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jmihi/LuLBLZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmihi/LuLBLZ20
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): 1754-1762 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/LuTDZB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/LuTDZB19
Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao:
Deadlock detection-oriented unfolding of unbounded Petri nets. Inf. Sci. 497: 1-22 (2019)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/LuZZBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/LuZZBD19
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): 1164-1174 (2019)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icycsee/WangLCB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icycsee/WangLCB19
Lin Wang, Faming Lu, Minghao Cui, Yunxia Bao:
Survey of Methods for Time Series Symbolic Aggregate Approximation. ICPCSEE (1) 2019: 645-657
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/LuZBD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/LuZBD14
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): 220-234 (2014)
2012
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/LuZZBA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/LuZZBA12
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: 340-345

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fusion/BaoZHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fusion/BaoZHM09
Yunxia Bao, Chi Zhou, Peikun He, Erke Mao:
Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function. FUSION 2009: 1982-1988

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.