Author of the publication

协同业务过程建模与行为验证 (Modeling and Behavior Verification for Collaborative Business Processes).

, , , , and . 计算机科学, 45 (11A): 597-602 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Consistency Verification between Collaborative Business Processes and Requirements., , and . iThings/GreenCom/CPSCom/SmartData, page 526-532. IEEE, (2019)Correction to: Task offloading for vehicular edge computing with edge‑cloud cooperation., , , , and . World Wide Web (WWW), 26 (2): 633 (March 2023)gProximity: Hierarchical GPU-based Operations for Collision and Distance Queries., , and . Comput. Graph. Forum, 29 (2): 419-428 (2010)A novel method for predicting DNA N4-methylcytosine sites based on deep forest algorithm., , , , and . J. Bioinform. Comput. Biol., 21 (1): 2350003:1-2350003:18 (February 2023)Analog transmission over few-mode fibers., , , , and . OFC, page 1-3. IEEE, (2016)Demonstration of controllable orbital angular momentum (OAM) beam generation using an all-fiber system., , , , , , , , , and . ECOC, page 1-3. IEEE, (2015)A Correctness Checking Approach for Collaborative Business Processes in the Cloud., , , and . Complex., (2020)Tracing Analytic Ray Curves for Light and Sound Propagation in Non-linear Media., , and . CoRR, (2014)Tracing Analytic Ray Curves for Light and Sound Propagation in Non-Linear Media., , and . IEEE Trans. Vis. Comput. Graph., 22 (11): 2493-2506 (2016)Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets., , , , , and . IEEE Trans. Syst. Man Cybern. Syst., 54 (2): 800-812 (February 2024)