Get started
Author

Yongxin Zhao

Observed names: Zhao Yongxin, Zhao yongxin
ORCID: 0000-0002-9561-7403
Observed ORCID: 0000-0002-9561-7403
OpenAlex ID: A5022613324
Optimization design method of machine tool static geometric accuracy using tolerance modeling
2021 · Haorong Wu, Xiaoxiao Li, et al. · The International Journal of Advanced Manufacturing Technology · 36
A status review of volumetric positioning accuracy prediction theory and static accuracy design method for multi-axis CNC machine tools
2022 · Haorong Wu, Xiaoxiao Li, et al. · The International Journal of Advanced Manufacturing Technology · 26
An Improvement Method for Improving the Surface Defect Detection of Industrial Products Based on Contour Matching Algorithms
2024 · Haorong Wu, Ziqi Luo, et al. · Sensors · 8
NL2ACSL : Interactively translating natural language to ANSI C specification language with large language models
2025 · Wenxian Su, Xi Wu, et al. · Knowledge-Based Systems · 7
Application of an Improved Seeds Local Averaging Algorithm in X-ray Spectrum
2021 · Lin Tang, Jianwei Zhang, et al. · Mathematical Problems in Engineering · 3
PDF
A Car Security System Based on Internet +GPS
2019 · Lei Lin, Wu Xinghao, et al. · International Conference on Artificial Intelligence and Big Data (ICAIBD) · 3
A local search approach to protocol verification
2024 · Kun Ma, Yongjian Li, et al. · Theoretical Computer Science · 2
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel
2024 · Zhenghai Cai, Yongjian Li, et al. · Asia-Pacific Symposium on Internetware · 1
Direct Radio Frequency Sampling System on Software-defined Radio
2014 · Junyi Luo, Lei Lin, et al. · Indonesian Journal of Electrical Engineering and Computer Science · 1
Check-Agent: Multimodal fraud detection via a multi-agent framework
2026 · Yongxin Zhao, Ziqi Xu, et al. · Knowledge-Based Systems
No Relation Left Behind: Verified Augmentation for Long-Tail Document-Level Relation Extraction
2026 · Chuanshen Xu, Kailong Wang, et al. · SSRN Electronic Journal
PDF
Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level
2025 · Yongjian Li, Zhenghai Cai, et al. · Formal Aspects of Computing
An architecture refactoring approach to reducing software hierarchy complexity
2023 · Yongxin Zhao, Wenhan Wu, et al. · Journal of Software Evolution and Process
Works count: 13
Citation count: 87
H-index: 4
I10-index: 2
Year
Topic
Type