Zhaopeng Li

According to our database, Zhaopeng Li authored at least 15 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Toward Building Trust in Machine Learning Models: Quantifying the Explainability by SHAP and References to Human Strategy.

Zhaopeng Li, Mondher Bouazizi, Tomoaki Ohtsuki, Masakuni Ishii, Eri Nakahara

IEEE Access, 2024

2023

Splitting ore from X-ray image based on improved robust concave-point algorithm.

Lanhao Wang, Hongdong Hu, Zhaopeng Li, Wei Dai

PeerJ Comput. Sci., 2023

2021

Neural Collaborative Preference Learning With Pairwise Comparisons.

Zhaopeng Li, Qianqian Xu, Yangbangyan Jiang, Ke Ma, Xiaochun Cao, Qingming Huang

IEEE Trans. Multim., 2021

2020

Quaternion-Based Knowledge Graph Network for Recommendation.

Zhaopeng Li, Qianqian Xu, Yangbangyan Jiang, Xiaochun Cao, Qingming Huang

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

2017

形状分析符号执行引擎中的状态合并 (State Merging for Symbolic Execution Engine with Shape Analysis).

Wei Deng, Zhaopeng Li

计算机科学, 2017

2016

Flexible Graphene Electrodes for Prolonged Dynamic ECG Monitoring.

Cunguang Lou, Ruikai Li, Zhaopeng Li, Tie Liang, Zihui Wei, Mingtao Run, Xiaobing Yan, Xiuling Liu

Sensors, 2016

支持形状分析的符号执行引擎的设计与实现 (Symbolic Execution Engine with Shape Analysis).

Jiabiao Liang, Zhaopeng Li, Ling Zhu, Xianfei Shen

计算机科学, 2016

2015

System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism.

Yu Zhang, Zhaopeng Li, Hui-Fang Cao

J. Comput. Sci. Technol., 2015

2013

A Shape Graph Logic and A Shape System.

Zhaopeng Li, Yu Zhang, Yiyun Chen

J. Comput. Sci. Technol., 2013

2012

TrustVP: Construction and Evolution of Trusted Chain on Virtualization Computing Platform.

Dongliang Xue, Xiaolong Wu, Yunwei Gao, Ying Song, Xinhui Tian, Zhaopeng Li

Proceedings of the Eighth International Conference on Computational Intelligence and Security, 2012

2011

A Method to Generate Verification Condition Generator.

Zhaopeng Li, Yang Zhang, Yiyun Chen

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

A Certifying Compiler for Clike Subset of C Language.

Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2007

A pointer logic and certifying compiler.

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang

Frontiers Comput. Sci. China, 2007

Design of a Certifying Compiler Supporting Proof of Program Safety.

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

An Adaptive Parallel Hierarchical Clustering Algorithm.

Zhaopeng Li, Kenli Li, Degui Xiao, Lei Yang

Proceedings of the High Performance Computing and Communications, 2007