Yuyue Du

62 papers C 2Journal 58Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ensemble Prediction of Business Process Remaining Time Based on Random Forest and XGBoost.
Comput. Informatics
Yinhua Tian, Yan Su, Ruizhe Zhang, Yuyue Du, Nana Zhou, Xueqiang Gao
2022 J jnl
A Web service clustering method based on topic enhanced Gibbs sampling algorithm for the Dirichlet Multinomial Mixture model and service collaboration graph.
Inf. Sci.
Qiang Hu, Jiaji Shen, Kun Wang, Junwei Du, Yuyue Du
2022 J jnl
An Algorithm for Mining Indirect Dependencies From Loop-Choice-Driven Loop Structure via Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Hongwei Sun, Wei Liu, Liang Qi, Xiaojun Ren, Yuyue Du
2022 J jnl
Deep convolutional neural networks for bias field correction of brain magnetic resonance images.
J. Supercomput.
Yan Xu, Yuwen Wang, Shunbo Hu, Yuyue Du
2022 J jnl
Deviation Detection in Clinical Pathways Based on Business Alignment.
Sci. Program.
Yinhua Tian, Xinran Li, Man Qi, Dong Han, Yuyue Du
2022 J jnl
Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay.
Comput. Informatics
Erjing Bai, Man Qi, Wenjing Luan, Peng Li, Yuyue Du
2021 J jnl
A process mining algorithm to mixed multiple-concurrency short-loop structures.
Inf. Sci.
Hongwei Sun, Wei Liu, Liang Qi, Yuyue Du, Xiaojun Ren, Xinying Liu
2021 J jnl
Method for Repairing Process Models with Selection Structures Based on Token Replay.
Comput. Informatics
Erjing Bai, Na Su, Yu Liang, Liang Qi, Yuyue Du
2020 J jnl
A Game Theoretic Approach for Distributed and Coordinated Channel Access Control in Cooperative Vehicle Safety Systems.
IEEE Trans. Intell. Transp. Syst.
Fuxin Zhang, MengChu Zhou, Liang Qi, Yuyue Du, Haichun Sun
2020 J jnl
A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures.
Comput. Informatics
Yuanxiu Teng, Yuyue Du, Liang Qi
2020 J jnl
Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems.
IEEE Access
Zhen Wang, Wenjing Luan, Yuyue Du, Liang Qi
2020 J jnl
Trust Routing Protocol Based on Cloud-Based Fuzzy Petri Net and Trust Entropy for Mobile Ad hoc Network.
IEEE Access
Xiaoliang Wang, Peng Zhang, Yuyue Du, Mei Qi
2019 J jnl
A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks.
IEEE Access
Yuanxiu Teng, Yuyue Du, Liang Qi, Wenjing Luan
2019 J jnl
A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges.
IEEE Access
Yuhua Xu, Yuyue Du, Liang Qi, Wenjing Luan, Lu Wang
2019 J jnl
A Method for Mining Process Models With Indirect Dependencies via Petri Nets.
IEEE Access
Huiming Sun, Yuyue Du, Liang Qi, Zhaoyang He
2019 J jnl
A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets.
IEEE Access
Wentai Zheng, Yuyue Du, Liang Qi, Lu Wang
2019 J jnl
A Model Repair Approach Based on Petri Nets by Constructing Free-Loop Structures.
IEEE Access
Zhaoyang He, Yuyue Du, Liang Qi, Haisen Du
2019 J jnl
A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets.
IEEE Access
Yuhua Xu, Yuyue Du, Wenjing Luan, Liang Qi
2019 J jnl
A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets.
IEEE Access
Yuanxiu Teng, Yuyue Du, Liang Qi, Wenjing Luan, Lu Wang
2019 J jnl
A Web Service Composition Approach Based on Planning Graph and Propositional Logic.
J. Organ. End User Comput.
Shiyang Deng, Yuyue Du, Liang Qi
2019 J jnl
A user requirement oriented web service discovery approach based on logic and threshold petri net.
IEEE CAA J. Autom. Sinica
Jing Sha, Yuyue Du, Liang Qi
2019 J jnl
Bias Correction of Multiple MRI Images Based on an Improved Nonparametric Maximum Likelihood Method.
IEEE Access
Yan Xu, Shunbo Hu, Yuyue Du
2019 J jnl
Business Process Modeling and Analysis Based on Queue Logical Petri Nets.
Int. J. Softw. Eng. Knowl. Eng.
Lei Liu, Wei Liu, Yuyue Du
2019 J jnl
Deadlock detection-oriented unfolding of unbounded Petri nets.
Inf. Sci.
Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao
2019 J jnl
Efficient deviation detection between a process model and event logs.
IEEE CAA J. Autom. Sinica
Lu Wang, Yuyue Du, Liang Qi
2019 J jnl
Logic Petri Net Synthesis for Cooperative Systems.
IEEE Access
Wenjing Luan, Liang Qi, Zhongying Zhao, Jianxin Liu, Yuyue Du
2019 J jnl
Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets.
IEEE Access
Wentai Zheng, Yuyue Du, Shouguang Wang, Liang Qi
2018 J jnl
An Alpha-FL Algorithm for Discovering Free Loop Structures From Incomplete Event Logs.
IEEE Access
Zhaoyang He, Yuyue Du, Lu Wang, Liang Qi, Haichun Sun
2018 J jnl
An Approach for Repairing Process Models Based on Logic Petri Nets.
IEEE Access
Xize Zhang, Yuyue Du, Liang Qi, Haichun Sun
2018 J jnl
An approach to repair Petri net-based process models with choice structures.
Enterp. Inf. Syst.
Hongda Qi, Yuyue Du, Liang Qi, Lu Wang
2018 J jnl
Analytic of B2C E - Commerce Credit Mechanism Mixed Strategy Risk Behavior Based on Logical Game Petri Nets.
IEEE Access
Wei Liu, Xin Feng, Fuxin Zhang, Yuyue Du, Chun Yan
2018 — conf
Auditing Between Event Logs and Process Trees.
IFTC
Hongxia Li, Haixia Hou, Yuyue Du, Zhi Liu
2018 J jnl
Model Predictive Power Control for Cooperative Vehicle Safety Systems.
IEEE Access
Fuxin Zhang, Yuyue Du, Wei Liu, Peng Li
2018 J jnl
Petri net-based deviation detection between a process model with loop semantics and event logs.
Concurr. Comput. Pract. Exp.
Lu Wang, Yuyue Du, Man Qi, Hongda Qi, Zhaoyang He
2018 J jnl
Reduced alignment based on Petri nets.
Concurr. Comput. Pract. Exp.
Yinhua Tian, Yuyue Du, Maozhen Li, Dong Han, Qiang Hu
2018 J jnl
Repairing Process Models Containing Choice Structures via Logic Petri Nets.
IEEE Access
Xize Zhang, Yuyue Du, Liang Qi, Haichun Sun
2018 J jnl
Repairing Process Models With Logical Concurrent and Casual Relations via Logical Petri Nets.
IEEE Access
Yuhua Xu, Yuyue Du, Wenjing Luan, Liang Qi, Haichun Sun
2018 J jnl
Robust convolution kernel quantity determination based on corner radiation area adaptation.
Neurocomputing
Yu Liang, Yuyue Du, Siguang Li, Maozhen Li
2017 J jnl
A Repair of Workflow Models Based on Mirroring Matrices.
Int. J. Parallel Program.
Yanan Sun, Yuyue Du, Maozhen Li
2017 J jnl
A Web service substitution method based on service cluster nets.
Enterp. Inf. Syst.
Yuyue Du, Junjing Gai, MengChu Zhou
2017 J jnl
Aligning observed and modelled behaviour based on workflow decomposition.
Enterp. Inf. Syst.
Lu Wang, Yuyue Du, Wei Liu
2017 J jnl
Composition of Logical Petri Nets and Compatibility Analysis.
IEEE Access
Wenjing Luan, Liang Qi, Yuyue Du
2017 J jnl
Constructing Service Clusters Based on Service Space.
Int. J. Parallel Program.
Yuyue Du, Lu Wang, Man Qi
2017 J jnl
Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure.
Int. J. Parallel Program.
Wei Liu, Lu Wang, Yuyue Du, Maozhen Li
2017 J jnl
Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes.
IEEE Access
Wei Liu, Pin Wang, Yuyue Du, MengChu Zhou, Chun Yan
2015 J jnl
Coloured Logic Petri Nets and analysis of their reachable trees.
Enterp. Inf. Syst.
Jing Wang, Yuyue Du, ShuXia Yu
2014 J jnl
Analysis and Application of Logical Petri Nets to E-Commerce Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Yuyue Du, Liang Qi, MengChu Zhou
2014 J jnl
Property analysis of logic Petri nets by marking reachability graphs.
Frontiers Comput. Sci.
Yuyue Du, Yuhui Ning
2014 J jnl
Reachability analysis of logic Petri nets using incidence matrix.
Enterp. Inf. Syst.
Yuyue Du, Yuhui Ning, Liang Qi
2014 J jnl
Service net algebra based on logic Petri nets.
Inf. Sci.
Qiang Hu, Yuyue Du, ShuXia Yu
2014 J jnl
Transformation of Logical Workflow Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Wei Liu, Yuyue Du, MengChu Zhou, Chun Yan
2012 — conf
Cluster-oriented service composition modeling method based on logical net units.
ICNSC
Liang Qi, Yuyue Du, Wenjing Luan
2012 J jnl
Soundness preservation in composed logical time workflow nets.
Enterp. Inf. Syst.
Wei Liu, Yuyue Du, Chun Yan
2011 J jnl
A vector matching method for analysing logic Petri nets.
Enterp. Inf. Syst.
Yuyue Du, Liang Qi, MengChu Zhou
2011 J jnl
Architecture of Dynamic Service Composition Using Logic Petri Nets.
J. Softw. Eng. Appl.
Xia Jiang, Bing Wu, Yuyue Du
2009 J jnl
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
IEEE Trans. Syst. Man Cybern. Part A
Yuyue Du, Changjun Jiang, MengChu Zhou
2009 J jnl
Modeling and monitoring of E-commerce workflows.
Inf. Sci.
Yuyue Du, Changjun Jiang, MengChu Zhou, You Fu
2008 J jnl
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Trans. Syst. Man Cybern. Part C
Yuyue Du, Changjun Jiang, MengChu Zhou
2007 J jnl
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A
Yuyue Du, Changjun Jiang, MengChu Zhou
2004 J jnl
Verifying Functions in Online Stock Trading Systems.
J. Comput. Sci. Technol.
Yuyue Du, Changjun Jiang
2003 C conf
Towards a Workflow Model of Real-Time Cooperative Systems.
ICFEM
Yuyue Du, Changjun Jiang
2002 C conf
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
ICFEM
Yuyue Du, Changjun Jiang