Xiaoyi Yin
Orcid: 0009-0007-6469-6368
According to our database1,
Xiaoyi Yin authored at least 11 papers
between 2019 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4.
CoRR, February, 2026
An Intelligent Optimization for the Vehicle Routing of Multicommodity and Multitrip Supply Chain Logistics in Internet of Things.
IEEE Internet Things J., 2026
2025
Improved NSGA-II Algorithm-Based SDVRP Considering Simultaneously Pickup and Delivery of Multi-Commodity.
IEEE Trans. Intell. Transp. Syst., October, 2025
Transportation Route Optimization of Municipal Solid Waste Based on Improved Ant Colony Algorithm in Internet of Vehicles.
IEEE Trans. Veh. Technol., February, 2025
A Hybrid Fuzzy C-Means Heuristic Approach for Two-Echelon Vehicle Routing With Simultaneous Pickup and Delivery of Multicommodity.
IEEE Trans. Fuzzy Syst., January, 2025
IEEE Trans. Comput. Biol. Bioinform., 2025
How and when does differentiated empowering leadership enhance group knowledge hiding?
J. Knowl. Manag., 2025
2024
CNN and Transformer Fusion Network for Sea Ice Classification Using GaoFen-3 Polarimetric SAR Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024
2022
2019
IEEE Access, 2019
Proceedings of the Image and Graphics - 10th International Conference, 2019