Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. - Yaqiong He; Guanjun Liu; Dongming Xiang; Jiaquan Sun; Chungang Yan; Changjun Jiang (IEEE Access, 2018)

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints. - Yaqiong He; Guanjun Liu; Chungang Yan; Changjun Jiang; Jiacun Wang (IEEE Access, 2018)

Automated Chinese Essay Scoring from Multiple Traits. - Yaqiong He; Feng Jiang; Xiaomin Chu; Peifeng Li (COLING, 2022)

A Framework for Formal Transformation and Analysis of Smart Contract Code. - Hanjie Dong; Yaqiong He; Hongwei Tao; Qianheng Duan (DSA, 2022)

Formal Verification of Smart Contract Based on Timed Colored Petri Net. - Yaqiong He; Hanjie Dong; Runliu Wang; Huaiguang Wu (ICNCC, 2022)

Employing Beautiful Sentence Evaluation to Automatic Chinese Essay Scoring. - Yaqiong He; Xiaomin Chu; Peifeng Li (ICIC (4), 2023)