Leping Zhang

21 papers A* 3A 2C 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A conf
Counteracting the Delayed Conversions in OCPC with Survival Analysis.
WSDM
Leping Zhang, Chenxuan He, Xiao Zhang, Yichao Wang, Tengxiang Zhang, Zhenhua Dong, Jun Xu
2026 A* conf
U2UData+: A Scalable Swarm UAVs Autonomous Flight Dataset for Embodied Long-horizon Tasks.
AAAI
Tongtong Feng, Xin Wang, Feilin Han, Leping Zhang, Wenwu Zhu
2025 J jnl
Adapting Constrained Markov Decision Process for OCPC Bidding with Delayed Conversions.
ACM Trans. Inf. Syst.
Leping Zhang, Xiao Zhang, Yichao Wang, Xuan Li, Zhenhua Dong, Jun Xu
2025 J jnl
Metering Automation System 3.0 Base Version Based on Machine Learning.
IEEE Access
Sheng Li, Leping Zhang, Hang Dai, Lukun Zeng, Yuan Ai, Shuang Qi, Yuanzhai Cui
2025 J jnl
U2UData-2: A Scalable Swarm UAVs Autonomous Flight Dataset for Long-horizon Tasks.
CoRR
Tongtong Feng, Xin Wang, Feilin Han, Leping Zhang, Wenwu Zhu
2024 — conf
A Comprehensive Specification and Verification of the L4 Microkernel API.
TACAS (2)
Leping Zhang, Yongwang Zhao, Jianxin Li
2024 J jnl
ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile.
IEEE Trans. Dependable Secur. Comput.
Jilin Hu, Fanlang Zeng, Yongwang Zhao, Zhuoruo Zhang, Leping Zhang, Jianhong Zhao, Rui Chang, Kui Ren
2024 A conf
The Correlation Analysis Between Cybersickness and Postural Behavior in Immersive VR Experience.
ICME
Ying Zhong, Ke-Ao Zhao, Leping Zhang, Fangming Zhao, Wentao Wei, Feilin Han
2024 A* conf
U2UData: A Large-scale Cooperative Perception Dataset for Swarm UAVs Autonomous Flight.
ACM Multimedia
Tongtong Feng, Xin Wang, Feilin Han, Leping Zhang, Wenwu Zhu
2024 J jnl
U2UData: A Large-scale Cooperative Perception Dataset for Swarm UAVs Autonomous Flight.
CoRR
Tongtong Feng, Xin Wang, Feilin Han, Leping Zhang, Wenwu Zhu
2024 A* conf
U2USim - A UAV Telepresence Simulation Platform with Multi-agent Sensing and Dynamic Environment.
ACM Multimedia
Feilin Han, Leping Zhang, Xin Wang, Ke-Ao Zhao, Ying Zhong, Ziyi Su, Tongtong Feng, Wenwu Zhu
2023 C conf
Formal Verification of Interrupt Isolation for the TrustZone-based TEE.
APSEC
Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
2023 J jnl
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.
Formal Aspects Comput.
Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun
2022 — conf
An Integrative Analysis: What Cultural Factors Protect Us Against the COVID-19 Indeed?
BESC
Leping Zhang, Hao Chen
2021 J jnl
Reliability Analysis of Intelligent Electric Energy Meter under Fusion Model Illness Analysis Algorithm.
J. Sensors
Wenwang Xie, Leping Zhang, Bensong Zhang, Wei Zhang, Pingping Wang, Shuya Qiao
2020 J jnl
Beetle Swarm Optimization Algorithm-Based Load Control with Electricity Storage.
J. Control. Sci. Eng.
Hengjing He, Shangli Zhou, Leping Zhang, Junhong Lin, Weile Chen, Di Wu
2019 — conf
Architecture Design of the Smart Energy Meter Software Testing System Based on IR46 Standard.
AIAM (IEEE)
Leping Zhang, Yong Xiao, Shanshan Hu, Baoshuai Wang, Chao Ding, Yi Pan, Fengkai Chen, Jinbao Shi
2019 C conf
Formal Modelling and Verification of Spinlocks at Instruction Level.
APSEC
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan
2013 — conf
Spatial simulation of soil attribute based on principle of soil science.
Geoinformatics
Genxin Song, Leping Zhang, Ke Wang, Ming Fang
2011 J jnl
Self-organizing map of gene regulatory networks for cell phenotypes during reprogramming.
Comput. Biol. Chem.
Leping Zhang, Yufang Zheng, Dongfang Li, Yang Zhong
2004 J jnl
Performance simulation of R410A air conditioning system with variable speeds.
Int. J. Comput. Appl. Technol.
Zaoxiao Zhang, Yongzhang Yu, Leping Zhang