Proposal of Ontology for Resource Matchmaking Schema in Emergency Response Systems. - Jian Sun; Qingtian Zeng; Faming Lu; Sen Feng; Jiufang An (KSEM, 2011)

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)

Domain Ontology Design and Reasoning for Resource Matchmaking in Emergency Response Systems. - Qingtian Zeng; Jian Sun; Faming Lu; Sen Feng; Jiufang An; Ke Zhao (Int. J. Knowl. Syst. Sci., 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)

E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations. - Cong Liu 012; Qingtian Zeng; Hua Duan; MengChu Zhou; Faming Lu; Jiujun Cheng (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets. - Qingtian Zeng; Faming Lu; Cong Liu 012; Hua Duan; Changhong Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies. - Faming Lu; Qingtian Zeng; Hua Duan (ACM Trans. Knowl. Discov. Data, 2016)

Finding similar users from GPS data based on assignment problem. - Zedong Lin; Qingtian Zeng; Hua Duan; Faming Lu (ICCIP, 2018)

An introduction and review of petri net unfolding technology. - Ranran Tao; Faming Lu; Xueping Zhang; Guanye Zhu (ICCIP, 2018)

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

A Semantic User Distance Metric Using GPS Trajectory Data. - Zedong Lin; Qingtian Zeng; Hua Duan; Cong Liu 012; Faming Lu (IEEE Access, 2019)

A Semi-Empirical Model Of Sea Clutter Based On Zero Memory Nonlinearity. - Gengkun Wu; Jian-Cong Fan; Fuxin Zhang; Faming Lu (IEEE Access, 2019)

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

Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining. - Cong Liu 012; Hua Duan; Qingtian Zeng; MengChu Zhou; Faming Lu; Jiujun Cheng (IEEE Trans. Serv. Comput., 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)

Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection. - Zongyin Hao; Faming Lu (Int. J. Softw. Informatics, 2021)

A Survey of Malware Classification Methods Based on Data Flow Graph. - Tingting Jiang; Lingling Cui; Zedong Lin; Faming Lu (ICPCSEE (1), 2022)

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

Transition-driven time prediction for business processes with cycles. - Rui Cao 008; Qingtian Zeng; Weijian Ni; Faming Lu; Changhong Zhou; Wenyan Guo (Expert Syst. Appl., 2022)

A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment. - Xiaoliang Wang; Faming Lu; MengChu Zhou; Qingtian Zeng (Expert Syst. Appl., 2022)

Business process remaining time prediction using explainable reachability graph from gated RNNs. - Rui Cao 008; Qingtian Zeng; Weijian Ni; Hua Duan; Cong Liu 012; Faming Lu; Ziqi Zhao (Appl. Intell., 2023)

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)

CRViT: Vision transformer advanced by causality and inductive bias for image recognition. - Faming Lu; Kunhao Jia; Xue Zhang; Lin Sun (Appl. Intell., 2025)