Yuyue Du - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 61 from 61

2022

Repairing Process Models with Non-Free-Choice Constructs Based on Token ReplayErjing Bai, Man Qi, Wenjing Luan, Peng Li 0049, Yuyue Du. cai, 41(4):1054-1077, 2022. [doi]

A Web service clustering method based on topic enhanced Gibbs sampling algorithm for the Dirichlet Multinomial Mixture model and service collaboration graphQiang Hu, Jiaji Shen, Kun Wang, Junwei Du, Yuyue Du. isci, 586:239-260, 2022. [doi]

An Algorithm for Mining Indirect Dependencies From Loop-Choice-Driven Loop Structure via Petri NetsHongwei Sun, Wei Liu 0051, Liang Qi, Xiaojun Ren, Yuyue Du. tsmc, 52(9):5411-5423, 2022. [doi]

Deviation Detection in Clinical Pathways Based on Business AlignmentYinhua Tian, Xinran Li, Man Qi, Dong Han, Yuyue Du. sp, 2022, 2022. [doi]

Deep convolutional neural networks for bias field correction of brain magnetic resonance imagesYan Xu, Yuwen Wang, Shunbo Hu, Yuyue Du. tjs, 78(16):17943-17968, 2022. [doi]

2021

Method for Repairing Process Models with Selection Structures Based on Token ReplayErjing Bai, Na Su, Yu Liang, Liang Qi, Yuyue Du. cai, 40(2), 2021. [doi]

A process mining algorithm to mixed multiple-concurrency short-loop structuresHongwei Sun, Wei Liu 0051, Liang Qi, Yuyue Du, Xiaojun Ren, Xinying Liu. isci, 542:453-475, 2021. [doi]

2020

2019

A Web Service Composition Approach Based on Planning Graph and Propositional LogicShiyang Deng, Yuyue Du, Liang Qi. joeuc, 31(3):1-16, 2019. [doi]

A Model Repair Approach Based on Petri Nets by Constructing Free-Loop StructuresZhaoyang He, Yuyue Du, Liang Qi, Haisen Du. access, 7:24214-24230, 2019. [doi]

Business Process Modeling and Analysis Based on Queue Logical Petri NetsLei Liu, Wei Liu 0051, Yuyue Du. ijseke, 29(1):115-137, 2019. [doi]

Deadlock detection-oriented unfolding of unbounded Petri netsFaming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao. isci, 497:1-22, 2019. [doi]

Logic Petri Net Synthesis for Cooperative SystemsWenjing Luan, Liang Qi, Zhongying Zhao, Jianxin Liu, Yuyue Du. access, 7:161937-161948, 2019. [doi]

A user requirement oriented web service discovery approach based on logic and threshold petri netJing Sha, Yuyue Du, Liang Qi. ieeejas, 6(6):1528-1542, 2019. [doi]

A Method for Mining Process Models With Indirect Dependencies via Petri NetsHuiming Sun, Yuyue Du, Liang Qi, Zhaoyang He. access, 7:81211-81226, 2019. [doi]

A Logic Petri Net-Based Method for Repairing Process Models With Concurrent BlocksYuanxiu Teng, Yuyue Du, Liang Qi, Wenjing Luan. access, 7:8266-8282, 2019. [doi]

A Simple Logic Transition Repair Method for Business Process Models via Logic Petri NetsYuanxiu Teng, Yuyue Du, Liang Qi, Wenjing Luan, Lu Wang. access, 7:76628-76644, 2019. [doi]

Efficient deviation detection between a process model and event logsLu Wang, Yuyue Du, Liang Qi. ieeejas, 6(6):1352-1364, 2019. [doi]

A Process Model Repair Approach by Constructing Choice Structures via Logic Petri NetsYuhua Xu, Yuyue Du, Wenjing Luan, Liang Qi. access, 7:172387-172402, 2019. [doi]

Bias Correction of Multiple MRI Images Based on an Improved Nonparametric Maximum Likelihood MethodYan Xu, Shunbo Hu, Yuyue Du. access, 7:166762-166775, 2019. [doi]

A Logic Petri Net-Based Model Repair Approach by Constructing Choice BridgesYuhua Xu, Yuyue Du, Liang Qi, Wenjing Luan, Lu Wang. access, 7:18531-18545, 2019. [doi]

Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri NetsWentai Zheng, Yuyue Du, ShouGuang Wang, Liang Qi. access, 7:105132-105145, 2019. [doi]

A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri NetsWentai Zheng, Yuyue Du, Liang Qi, Lu Wang. access, 7:13106-13120, 2019. [doi]

2018

Analytic of B2C E - Commerce Credit Mechanism Mixed Strategy Risk Behavior Based on Logical Game Petri NetsWei Liu 0051, Xin Feng, Fuxin Zhang, Yuyue Du, Chun Yan. access, 6:29109-29131, 2018. [doi]

An Alpha-FL Algorithm for Discovering Free Loop Structures From Incomplete Event LogsZhaoyang He, Yuyue Du, Lu Wang, Liang Qi, Haichun Sun. access, 6:27885-27901, 2018. [doi]

Auditing Between Event Logs and Process TreesHongxia Li, Haixia Hou, Yuyue Du, Zhi Liu. iftc 2019: 227-237 [doi]

Robust convolution kernel quantity determination based on corner radiation area adaptationYu Liang, Yuyue Du, Siguang Li, Maozhen Li. ijon, 321:266-273, 2018. [doi]

An approach to repair Petri net-based process models with choice structuresHongda Qi, Yuyue Du, Liang Qi, Lu Wang. eis, 12(8-9):1149-1179, 2018. [doi]

Reduced alignment based on Petri netsYinhua Tian, Yuyue Du, Maozhen Li, Dong Han, Qiang Hu. concurrency, 30(23), 2018. [doi]

Petri net-based deviation detection between a process model with loop semantics and event logsLu Wang, Yuyue Du, Man Qi, Hongda Qi, Zhaoyang He. concurrency, 30(23), 2018. [doi]

Repairing Process Models With Logical Concurrent and Casual Relations via Logical Petri NetsYuhua Xu, Yuyue Du, Wenjing Luan, Liang Qi, Haichun Sun. access, 6:56340-56355, 2018. [doi]

An Approach for Repairing Process Models Based on Logic Petri NetsXize Zhang, Yuyue Du, Liang Qi, Haichun Sun. access, 6:29926-29939, 2018. [doi]

Repairing Process Models Containing Choice Structures via Logic Petri NetsXize Zhang, Yuyue Du, Liang Qi, Haichun Sun. access, 6:53796-53810, 2018. [doi]

Model Predictive Power Control for Cooperative Vehicle Safety SystemsFuxin Zhang, Yuyue Du, Wei Liu 0051, Peng Li. access, 6:4797-4810, 2018. [doi]

2017

A Web service substitution method based on service cluster netsYuyue Du, Junjing Gai, MengChu Zhou. eis, 11(10):1535-1551, 2017. [doi]

Constructing Service Clusters Based on Service SpaceYuyue Du, Lu Wang, Man Qi. ijpp, 45(4):982-1000, 2017. [doi]

Deadlock Property Analysis of Concurrent Programs Based on Petri Net StructureWei Liu, Lu Wang, Yuyue Du, Maozhen Li. ijpp, 45(4):879-898, 2017. [doi]

Extended Logical Petri Nets-Based Modeling and Analysis of Business ProcessesWei Liu, Pin Wang, Yuyue Du, MengChu Zhou, Chun Yan. access, 5:16829-16839, 2017. [doi]

Composition of Logical Petri Nets and Compatibility AnalysisWenjing Luan, Liang Qi, Yuyue Du. access, 5:9152-9162, 2017. [doi]

A Repair of Workflow Models Based on Mirroring MatricesYanan Sun, Yuyue Du, Maozhen Li. ijpp, 45(4):1001-1020, 2017. [doi]

Aligning observed and modelled behaviour based on workflow decompositionLu Wang, Yuyue Du, Wei Liu. eis, 11(8):1207-1227, 2017. [doi]

2015

Coloured Logic Petri Nets and analysis of their reachable treesJing Wang, Yuyue Du, Shuxia Yu. eis, 9(8):900-919, 2015. [doi]

2014

Property analysis of logic Petri nets by marking reachability graphsYuyue Du, Yuhui Ning. fcsc, 8(4):684-692, 2014. [doi]

Reachability analysis of logic Petri nets using incidence matrixYuyue Du, Yuhui Ning, Liang Qi. eis, 8(6):630-647, 2014. [doi]

Analysis and Application of Logical Petri Nets to E-Commerce SystemsYuyue Du, Liang Qi, MengChu Zhou. tsmc, 44(4):468-481, 2014. [doi]

Service net algebra based on logic Petri netsQiang Hu, Yuyue Du, Shuxia Yu. isci, 268:271-289, 2014. [doi]

Transformation of Logical Workflow NetsWei Liu, Yuyue Du, MengChu Zhou, Chun Yan. tsmc, 44(10):1401-1412, 2014. [doi]

2012

Soundness preservation in composed logical time workflow netsWei Liu, Yuyue Du, Chun Yan. eis, 6(1):95-113, 2012. [doi]

Cluster-oriented service composition modeling method based on logical net unitsLiang Qi, Yuyue Du, Wenjing Luan. icnsc 2012: 112-117 [doi]

2011

A vector matching method for analysing logic Petri netsYuyue Du, Liang Qi, MengChu Zhou. eis, 5(4):449-468, 2011. [doi]

Architecture of Dynamic Service Composition Using Logic Petri NetsXia Jiang, Bing Wu, Yuyue Du. jsea, 4(10):585-589, 2011. [doi]

2009

A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative SystemsYuyue Du, Changjun Jiang, MengChu Zhou. tsmc, 39(2):299-308, 2009. [doi]

Modeling and monitoring of E-commerce workflowsYuyue Du, Changjun Jiang, MengChu Zhou, You Fu. isci, 179(7):995-1006, 2009. [doi]

2008

A Petri-Net-Based Correctness Analysis of Internet Stock Trading SystemsYuyue Du, Changjun Jiang, MengChu Zhou. tsmc, 38(1):93-99, 2008. [doi]

2007

Modeling and Analysis of Real-Time Cooperative Systems Using Petri NetsYuyue Du, Changjun Jiang, MengChu Zhou. tsmc, 37(5):643-654, 2007. [doi]

2004

Verifying Functions in Online Stock Trading SystemsYuyue Du, Changjun Jiang. jcst, 19(2):203-212, 2004. [doi]

2003

Towards a Workflow Model of Real-Time Cooperative SystemsYuyue Du, Changjun Jiang. icfem 2003: 452-470 [doi]

2002

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net WorkflowsYuyue Du, Changjun Jiang. icfem 2002: 221-225 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Yuyue Du'

Viewing Publication 1 - 61 from 61

2022

2021

2020

2019

2018

2017

2015

2014

2012

2011

2009

2008

2007

2004

2003

2002

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Yuyue Du'

Viewing Publication 1 - 61 from 61

2022

2021

2020

2019

2018

2017

2015

2014

2012

2011

2009

2008

2007

2004

2003

2002

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1