Yaqiong He

According to our database, Yaqiong He authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Employing Beautiful Sentence Evaluation to Automatic Chinese Essay Scoring.

Yaqiong He, Xiaomin Chu, Peifeng Li

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2023

2022

Formal Verification of Smart Contract Based on Timed Colored Petri Net.

Yaqiong He, Hanjie Dong, Runliu Wang, Huaiguang Wu

Proceedings of the 11th International Conference on Networks, Communication and Computing, 2022

A Framework for Formal Transformation and Analysis of Smart Contract Code.

Hanjie Dong, Yaqiong He, Hongwei Tao, Qianheng Duan

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Automated Chinese Essay Scoring from Multiple Traits.

Yaqiong He, Feng Jiang, Xiaomin Chu, Peifeng Li

Proceedings of the 29th International Conference on Computational Linguistics, 2022

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

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