Detecting Infeasible Traces in Process Models. - Zhaoxia Wang; Lijie Wen 001; Xiaochen Zhu 001; Yingbo Liu; Jianmin Wang 001 (ICEIS (3), 2012)

Verification of workflow nets with transition conditions. - Zhao-xia Wang; Jian-min Wang 001; Xiao-chen Zhu 001; Li-jie Wen 001 (J. Zhejiang Univ. Sci. C, 2012)

Efficient Recovery of Missing Events. - Jianmin Wang 001; Shaoxu Song; Xiaochen Zhu 001; Xuemin Lin 001 (Proc. VLDB Endow., 2013)

Matching heterogeneous events with patterns. - Xiaochen Zhu 001; Shaoxu Song; Jianmin Wang 001; Philip S. Yu; Jiaguang Sun 001 (ICDE, 2014)

Matching heterogeneous event data. - Xiaochen Zhu 001; Shaoxu Song; Xiang Lian 001; Jianmin Wang 001; Lei Zou 001 (SIGMOD Conference, 2014)

How to guarantee compliance between workflows and product lifecycles? - Zhaoxia Wang; Arthur H. M. ter Hofstede; Chun Ouyang 001; Moe Thandar Wynn; Jianmin Wang 001; Xiaochen Zhu 001 (Inf. Syst., 2014)

Cleaning structured event logs: A graph repair approach. - Jianmin Wang 001; Shaoxu Song; Xuemin Lin 001; Xiaochen Zhu 001; Jian Pei 001 (ICDE, 2015)

Efficient Recovery of Missing Events. - Jianmin Wang 001; Shaoxu Song; Xiaochen Zhu 001; Xuemin Lin 001; Jiaguang Sun 001 (IEEE Trans. Knowl. Data Eng., 2016)

Matching Heterogeneous Events with Patterns. - Shaoxu Song; Yu Gao; Chaokun Wang; Xiaochen Zhu 001; Jianmin Wang 001; Philip S. Yu (IEEE Trans. Knowl. Data Eng., 2017)

Matching Heterogeneous Event Data. - Yu Gao; Shaoxu Song; Xiaochen Zhu 001; Jianmin Wang 001; Xiang Lian 001; Lei Zou 001 (IEEE Trans. Knowl. Data Eng., 2018)

Efficiently Cleaning Structured Event Logs: A Graph Repair Approach. - Ruihong Huang; Jianmin Wang 001; Shaoxu Song; Xuemin Lin 001; Xiaochen Zhu 001; Jian Pei 001 (ACM Trans. Database Syst., 2023)