Author of the publication

VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology.

, , , , , and . ISQED, page 224-230. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Scale-free heterogeneous cycleGAN for defogging from a single image for autonomous driving in fog., , , , , , and . Neural Comput. Appl., 35 (5): 3737-3751 (February 2023)Robust and Precise Facial Landmark Detection by Self-Calibrated Pose Attention Network., , , , , , and . IEEE Trans. Cybern., 53 (6): 3546-3560 (June 2023)PecidRL: Petition expectation correction and identification based on deep reinforcement learning., , , , , , and . Inf. Process. Manag., 60 (3): 103285 (May 2023)FCLGYOLO: Feature Constraint and Local Guided Global Feature for Fire Detection in Unmanned Aerial Vehicle Imagery., , , , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2024)A Blockchain-based Electricity Retail Contracts Management System., , , , and . BIOTC, page 46-53. ACM, (2022)Multi-level Feature Interaction and Efficient Non-Local Information Enhanced Channel Attention for image dehazing., , , , , , and . Neural Networks, (2023)Multi-attention Integration Mechanism for Region Destruction Detection of Remote Sensing Images., , , and . CGI (3), volume 14497 of Lecture Notes in Computer Science, page 198-210. Springer, (2023)UAV 3D Path Planning Based on Multi-Population Ensemble Differential Evolution., , , , , , , , , and . BIC-TA (1), volume 1159 of Communications in Computer and Information Science, page 598-610. Springer, (2019)Partial Siamese With Multiscale Bi-Codec Networks for Remote Sensing Image Haze Removal., , , , , , , and . IEEE Trans. Geosci. Remote. Sens., (2023)Capsule-LPI: a LncRNA-protein interaction predicting tool based on a capsule network., , , , , and . BMC Bioinform., 22 (1): 246 (2021)