Hang Lei
Orcid: 0000-0002-2707-4881
According to our database1,
Hang Lei
authored at least 72 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Diffusion Models-Based Purification for Common Corruptions on Robust 3D Object Detection.
Sensors, August, 2024
AirECG: Contactless Electrocardiogram for Cardiac Disease Monitoring via mmWave Sensing and Cross-domain Diffusion Model.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., August, 2024
A Novel Convolutional Neural Network for Head Detection and Pose Estimation in Complex Environments from Single-Depth Images.
Cogn. Comput., July, 2024
Code Similarity Prediction Model for Industrial Management Features Based on Graph Neural Networks.
Entropy, June, 2024
2023
Point CNN:3D Face Recognition with Local Feature Descriptor and Feature Enhancement Mechanism.
Sensors, September, 2023
Prevention of DDoS attacks using an optimized deep learning approach in blockchain technology.
Trans. Emerg. Telecommun. Technol., April, 2023
Enhancing the performance of permissionless blockchain networks through randomized message-based consensus algorithm.
Peer Peer Netw. Appl., March, 2023
Vis. Intell., 2023
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.
Comput. Syst. Sci. Eng., 2023
2022
VBlock: A Blockchain-Based Tamper-Proofing Data Protection Model for Internet of Vehicle Networks.
Sensors, 2022
Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism.
J. Circuits Syst. Comput., 2022
Evaluating Public Sentiment of Covid-19 Vaccine Tweets Using Machine Learning Techniques.
Informatica (Slovenia), 2022
High randomness hyperchaos-based parameterizable TRNG: Design, FPGA implementation and exhaustive security analysis.
Displays, 2022
An Efficient and Reliable Chaos-Based IoT Security Core for UDP/IP Wireless Communication.
IEEE Access, 2022
Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021
Blocking analysis of suspension-based protocols for parallel real-time tasks under global fixed-priority scheduling.
J. Syst. Archit., 2021
Diffusion Geometry Derived Keypoints and Local Descriptors for 3D Deformable Shape Analysis.
J. Circuits Syst. Comput., 2021
KSII Trans. Internet Inf. Syst., 2021
Effective Image Representation using Double Colour Histograms for Content-Based Image Retrieval.
Informatica (Slovenia), 2021
Research on Text Classification Modeling Strategy Based on Pre-trained Language Model.
Proceedings of the Intelligent Systems and Applications, 2021
Evaluation of RGB Quantization Schemes on Histogram-Based Content Based Image Retrieval.
Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021
A Survey and Future Perspectives of Hybrid Deep Learning Models for Text Classification.
Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
J. Intell. Fuzzy Syst., 2020
Spread Mechanism and Influence Measurement of Online Rumors during COVID-19 Epidemic in China.
CoRR, 2020
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts.
IEEE Access, 2020
IEEE Access, 2020
Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020
Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020
Improving Performance of Colour-Histogram-Based CBIR Using Bin Matching for Similarity Measure.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.
Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020
2019
Improved Task and Resource Partitioning Under the Resource-Oriented Partitioned Scheduling.
J. Comput. Sci. Technol., 2019
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts.
CoRR, 2019
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq.
IEEE Access, 2019
2018
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems.
CoRR, 2018
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language.
CoRR, 2018
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability.
CoRR, 2018
Autom., 2018
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems.
IEEE Access, 2018
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018
2017
Scale space clustering evolution for salient region detection on 3D deformable shapes.
Pattern Recognit., 2017
Multim. Tools Appl., 2017
Discriminative feature learning and region consistency activation for robust scene labeling.
Neurocomputing, 2017
IET Softw., 2017
Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets.
Appl. Soft Comput., 2017
Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 1: GRAPP, Porto, Portugal, February 27, 2017
2016
Multim. Tools Appl., 2016
基于TrustZone的指纹识别安全技术研究与实现 (Research and Implementation of Fingerprint Identification Security Technology Based on ARM TrustZone).
计算机科学, 2016
基于遗传算法的高考志愿填报排序问题的研究 (Application of Genetic Algorithm on Optimal Sequence of College Entrance Examination Voluntary Report).
计算机科学, 2016
Proceedings of the 2016 IEEE Winter Conference on Applications of Computer Vision, 2016
2015
J. Intell. Fuzzy Syst., 2015
Computing, 2015
Proceedings of the 2015 IEEE Winter Conference on Applications of Computer Vision, 2015
Proceedings of the Image and Video Technology - 7th Pacific-Rim Symposium, 2015
An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding.
Proceedings of the 29th Pacific Asia Conference on Language, Information and Computation, 2015
Proceedings of the 2015 IEEE International Conference on Image Processing, 2015
Proceedings of the Image and Graphics - 8th International Conference, 2015
Proceedings of the Third International Conference on Advanced Cloud and Big Data, 2015
2014
Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol.
J. Comput. Sci. Technol., 2014
Minimizing the total completion time in a distributed two stage assembly system with setup times.
Comput. Oper. Res., 2014
Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search.
Comput. Ind. Eng., 2014
Proceedings of the International Conference on Audio, 2014
2013
PK-OMLP: An OMLP Based k-Exclusion Real-Time Locking Protocol for Multi-GPU Sharing under Partitioned Scheduling.
Proceedings of the IEEE 11th International Conference on Dependable, 2013
2012
Advances in Disaster Modeling, Simulation and Visualization for Sandstorm Risk Management in North China.
Remote. Sens., 2012
2008
Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008
Evaluating the Effectiveness of Random and Partition Testing by Delivered Reliability.
Proceedings of the International Conference on Embedded Software and Systems, 2008