Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets. - Yanhua Du; Lifeng Ai; Chunhuang Liu (GrC, 2005)

Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory. - Yanhua Du; Yushun Fan (FSKD (1), 2007)

Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes. - Yanhua Du; PengCheng Xiong; Yushun Fan; Xitong Li (IEEE Trans. Syst. Man Cybern. Part A, 2011)

An Incremental Approach to Analyzing Temporal Constraints of Workflow Processes. - Yanhua Du; Xitong Li (APWeb, 2012)

Dynamic Selection of Services under Temporal Constraints in Cloud Computing. - Yanhua Du; Xiaofei Wang; Lifeng Ai; Xitong Li (ICEBE, 2012)

A Petri Net Approach to Mediation-Aided Composition of Web Services. - Yanhua Du; Xitong Li; PengCheng Xiong (IEEE Trans Autom. Sci. Eng., 2012)

An Approach to Selecting Services with Dynamic Prices for Temporal-Aware Service Processes. - Yanhua Du; Hong Li (DASC, 2013)

Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints. - Yanhua Du; Wending Zhang; Wei Tan 001 (SITIS, 2013)

An Improved Genetic Algorithm for Service Selection under Temporal Constraints in Cloud Computing. - Helan Liang; Yanhua Du; Sujian Li (WISE (2), 2013)

An Operating Guideline Based Approach to Analyzing Timed Compatibility of Service Composition. - Yanhua Du; Wending Zhang (ICEBE, 2014)

Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets. - Yanhua Du; Wei Tan 001; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2014)

Dynamic Service Scheduling in Cloud Computing Using a Novel Hybrid Algorithm. - Helan Liang; Yingwu Zhang; Yanhua Du (ICEBE, 2015)

A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services. - Yanhua Du; Benyuan Yang; Wei Tan 001 (ICWS, 2015)

A New Approach to Modeling and Analyzing Timed Compatibility of Service Composition under Temporal Constraints. - Yanxue Xing; Sujian Li; Yanhua Du; Helan Liang (ISPDC, 2016)

Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network. - Yanhua Du; Ze Yu; Benyuan Yang; Yang Wang (iThings/GreenCom/CPSCom/SmartData, 2016)

Two-stage dynamic optimisation of service processes with temporal constraints. - Helan Liang; Yanhua Du (Int. J. High Perform. Comput. Netw., 2016)

Dynamic service selection with QoS constraints and inter-service correlations using cooperative coevolution. - Helan Liang; Yanhua Du (Future Gener. Comput. Syst., 2017)

A sprouting graph-based approach to analysing timed workflow processes with shared resources. - Yanhua Du; Ruyue Li; Benyuan Yang (Int. J. High Perform. Comput. Netw., 2017)

Analyzing Degree of Parallelism for Concurrent Timed Workflow Processes With Shared Resources. - Yanhua Du; Li Wang; Xitong Li (IEEE Trans. Engineering Management, 2017)

Business value-aware task scheduling for hybrid IaaS cloud. - Helan Liang; Yanhua Du; Fanzhang Li (Decis. Support Syst., 2018)

Model checking of timed compatibility for mediation-aided web service composition: A three stage approach. - Yanhua Du; Benyuan Yang; Hesuan Hu (Expert Syst. Appl., 2018)

A comprehensive multi-objective approach of service selection for service processes with twofold restrictions. - Helan Liang; Yanhua Du; Ting Jiang; Fanzhang Li (Future Gener. Comput. Syst., 2019)

H3K27me3 Signal in the Cis Regulatory Elements Reveals the Differentiation Potential of Progenitors During Drosophila Neuroglial Development. - Xiaolong Chen; Youqiong Ye; Liang Gu; Jin Sun; Yanhua Du; Wen-Ju Liu; Wei Li; Xiaobai Zhang; Cizhong Jiang (Genom. Proteom. Bioinform., 2019)

Modeling and simulation of time and value throughputs of data-aware workflow processes. - Yanhua Du; Ze Yu; Benyuan Yang; Yang Wang (J. Intell. Manuf., 2019)

A security risk plan search assistant decision algorithm using deep neural network combined with two-stage similarity calculation. - Jun Hu; Jun Fang; Yanhua Du; Zhe Liu; Pengyang Ji (Pers. Ubiquitous Comput., 2019)

Dynamic Monitoring of Service Outsourcing for Timed Workflow Processes. - Yanhua Du; Li Wang; Gege Mu; Xitong Li (IEEE Trans. Engineering Management, 2019)

Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes. - Yanhua Du; Benyuan Yang; Hesuan Hu (IEEE Trans. Ind. Informatics, 2019)

Cost-driven scheduling of service processes in hybrid cloud with VM deployment and interval-based charging. - Helan Liang; Yanhua Du; Enting Gao; Jinghan Sun (Future Gener. Comput. Syst., 2020)

Data Acquisition and Transmission Scheme for Large Projects Based on LoRa Internet of Things Using Improved Linear Integer Programming Model. - Jun Hu; Jun Fang; Yanhua Du (Int. J. Wirel. Inf. Networks, 2020)

Revenue Sharing of a TOT Project in China Based on Modified Shapley Value. - Yanhua Du; Jun Fang; Jingxiao Zhang; Jun Hu (Symmetry, 2020)

Self-Adaptive Execution of Data-Aware Workflow Processes. - Yanhua Du; Na Li; Hesuan Hu (IEEE Trans. Ind. Informatics, 2020)

Parallel optimization of QoS-aware big service processes with discovery of skyline services. - Helan Liang; Bincheng Ding; Yanhua Du; Fanzhang Li (Future Gener. Comput. Syst., 2021)

Analyzing Security Requirements in Timed Workflow Processes. - Yanhua Du; Yang Wang; Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2022)

Security-Aware Collaboration Plan Recommendation for Dynamic Multiple Workflow Processes. - Yanhua Du; Zijian Sun; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2023)

Dynamic Assignment of Roles and Users for Business Processes Under Security Requirements. - Yanhua Du; Yongchuan Zhou; Hesuan Hu (IEEE Trans. Ind. Informatics, 2023)

Change-Driven Analysis of Timed Security Requirements for Data-Aware Workflow Processes. - Yanhua Du; Gege Mu; Junfen Li; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2025)