Concepedia

Hang Lei

HL

Statistics

Publications

20

Citations

1.8K

H-Index

14

Active since

2013

Affiliations

University of Electronic Science and Technology of China(Current)

Murdoch University

The University of Western Australia

Hang Lei is an author at University of Electronic Science and Technology of China specializing in computing, computer science, and formal methods.

Publications per year

2013–2024

19

Publications

20

Hyperparameter Optimization for Machine Learning Models Based on Bayesian Optimization

Jia Wu, Xiu Yun Chen, Hao Zhang et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2019 · 1.4K citations · Full text

Computing, Computer Science, Bayesian Data Analysis +15

Prevention of <scp>DDoS</scp> attacks using an optimized deep learning approach in blockchain technology

Ilyas Benkhaddra, Abhishek Kumar, Mohamed Ali Setitra et al. · Transactions on Emerging Telecommunications Technologies · 2023 · 52 citations · Full text

Computing, Computer Science, Cybersecurity +17

FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq

Zheng Yang, Hang Lei · IEEE Access · 2019 · 39 citations · Full text

Computing, Computer Science, Contracts +16

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts

Zheng Yang, Hang Lei, Weizhong Qian · IEEE Access · 2020 · 31 citations · Full text

Computing, Computer Engineering, Computer Science +17

Scale space clustering evolution for salient region detection on 3D deformable shapes

Xupeng Wang, Ferdous Sohel, Mohammed Bennamoun et al. · Pattern Recognition · 2017 · 27 citations

Computing, Computer Science, Computational Geometry +15

1–5 of 20