Yang Liu

机构：China Academy of Space Technology · ORCID：0009-0004-6858-6738

发表论文 30 篇 · 总被引 90 次 · h-index 4

代表论文

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2025 · 被引 52)
Computer Vision Based Conveyor Belt Congestion Recognition in Logistics Industrial Parks (2021 · 被引 9)
Hybrid Powertrain Technology Assessment through an Integrated Simulation Approach (2019 · SAE technical papers on CD-ROM/SAE technical paper series · 被引 5)
Polyhedral Oligomeric Sesquioxane Cross-Linked Chitosan-Based Multi-Effective Aerogel Preparation and Its Water-Driven Recovery Mechanism (2024 · Gels · 被引 4)
Crystal Structure, Surface Activity and Corrosion Inhibition Effect of Dihydroxyethyl Ammonium O,O'-di(4-methylpheny) dithiophosphate for Q235 Steel in 1.0 M H2SO4 (2019 · International Journal of Electrochemical Science · 被引 4)
Targetless External Reference Calibration of LiDAR and Camera in Autonomous Driving Environment (2024 · IEEE Transactions on Instrumentation and Measurement · 被引 3)