Yaqiong He

Orcid: 0000-0002-4452-5787

According to our database1, Yaqiong He authored at least 9 papers between 2018 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Small sample smart contract vulnerability detection method based on multi-layer feature fusion.
Complex Intell. Syst., 2025

2024
EDSCVD: Enhanced Dual-Channel Smart Contract Vulnerability Detection Method.
Symmetry, 2024

A Systematic Review and Performance Evaluation of Open-Source Tools for Smart Contract Vulnerability Detection.
Comput. Mater. Continua, 2024

2023
Employing Beautiful Sentence Evaluation to Automatic Chinese Essay Scoring.
Proceedings of the Advanced Intelligent Computing Technology and Applications, 2023

2022
Formal Verification of Smart Contract Based on Timed Colored Petri Net.
Proceedings of the 11th International Conference on Networks, Communication and Computing, 2022

A Framework for Formal Transformation and Analysis of Smart Contract Code.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Automated Chinese Essay Scoring from Multiple Traits.
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.
IEEE Access, 2018

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access, 2018


  Loading...