Yaqiong He

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Workflow Systems

Top Venues

Publications

Yaqiong He, Xiaomin Chu, Peifeng Li
Employing Beautiful Sentence Evaluation to Automatic Chinese Essay Scoring. ICIC (4) (2023)
Hanjie Dong, Yaqiong He, Hongwei Tao, Qianheng Duan
A Framework for Formal Transformation and Analysis of Smart Contract Code. DSA (2022)
Yaqiong He, Feng Jiang, Xiaomin Chu, Peifeng Li
Automated Chinese Essay Scoring from Multiple Traits. COLING (2022)
Yaqiong He, Hanjie Dong, Runliu Wang, Huaiguang Wu
Formal Verification of Smart Contract Based on Timed Colored Petri Net. ICNCC (2022)
Yaqiong He, Guanjun Liu, Chungang Yan, Changjun Jiang, Jiacun Wang
Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints. IEEE Access 6 (2018)
Yaqiong He, Guanjun Liu, Dongming Xiang, Jiaquan Sun, Chungang Yan, Changjun Jiang
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. IEEE Access 6 (2018)