Statistics
Publications
32
Citations
818
H-Index
18
Active since
2013
Xupeng Li is an author at Chinese Academy of Fishery Sciences specializing in materials science, natural sciences, and life sciences.
Publications per year
2013–2025
32
32
A Secure and Formally Verified Linux KVM Hypervisor
Shih-Wei Li, Xupeng Li, Ronghui Gu et al. · 2021 · 52 citations
Xupeng Li, Bin Cui, Yiru Chen et al. · Proceedings of the VLDB Endowment · 2017 · 50 citations · Full text
Bingbing Shi, Xupeng Li, Yongping Chai et al. · Angewandte Chemie International Edition · 2023 · 45 citations
Giallar: push-button verification for the qiskit Quantum compiler
Runzhou Tao, Yunong Shi, Jianan Yao et al. · 2022 · 44 citations · Full text
1–5 of 32