Author of the publication

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.

, , , , , and . APSEC, page 265-272. IEEE Computer Society, (2016)

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

Revealing the Reciprocal Relations between Self-Supervised Stereo and Monocular Depth Estimation., , , , , , , , and . ICCV, page 15509-15518. IEEE, (2021)Shape Prior Guided Attack: Sparser Perturbations on 3D Point Clouds., , , , , and . AAAI, page 8277-8285. AAAI Press, (2022)DCNet: Dense Correspondence Neural Network for 6DoF Object Pose Estimation in Occluded Scenes., , , , and . ACM Multimedia, page 3929-3937. ACM, (2020)A Dynamic Initialization Method for LEO/INS Integrated Positioning., , , , and . IEEE Trans. Instrum. Meas., (2024)VK-Net: Category-Level Point Cloud Registration with Unsupervised Rotation Invariant Keypoints., , , , and . ICASSP, page 1900-1904. IEEE, (2021)Segment as Points for Efficient and Effective Online Multi-Object Tracking and Segmentation., , , , , and . IEEE Trans. Pattern Anal. Mach. Intell., 44 (10): 6424-6437 (2022)Automatic Recognition for Arbitrarily Tilted License Plate., , , , , and . ICVIP, page 23-28. ACM, (2018)MDANet: Multi-Modal Deep Aggregation Network for Depth Completion., , , , , , and . ICRA, page 4288-4294. IEEE, (2021)Pointer Networks for Arbitrary-Shaped Text Spotting., , , , , and . ICASSP, page 2375-2379. IEEE, (2021)Associate-3Ddet: Perceptual-to-Conceptual Association for 3D Point Cloud Object Detection., , , , , , and . CVPR, page 13326-13335. Computer Vision Foundation / IEEE, (2020)