Author of the publication

Parallelizable reachability analysis algorithms for feed-forward neural networks.

, , , , , , and . FormaliSE@ICSE, page 31-40. IEEE / ACM, (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

Efficient AoA-Based Wireless Indoor Localization for Hospital Outpatients Using Mobile Devices., , and . Sensors, 18 (11): 3698 (2018)面向可穿戴设备的超声波手势识别方法 (Ultrasonic Waves Based Gesture Recognition Method for Wearable Equipment)., , , , and . 计算机科学, 42 (10): 20-24 (2015)Adaptive Complex-Valued Independent Component Analysis Based on Second-Order Statistics., and . J. Electr. Comput. Eng., (2016)Cryptanalysis and Improvement of a Strongly Unforgeable Identity-Based Signature Scheme., , , , , and . Inscrypt, volume 10726 of Lecture Notes in Computer Science, page 196-208. Springer, (2017)Diagnosis of the Hypopnea syndrome in the early stage, , , , , , , and . Neural Computing and Applications, 32 (3): 855--866 (Feb 1, 2020)Simulating Content Consistent Vehicle Datasets with Attribute Descent., , , , and . CoRR, (2019)PAMTRI: Pose-Aware Multi-Task Learning for Vehicle Re-Identification Using Highly Randomized Synthetic Data., , , , , , , and . CoRR, (2020)Hierarchical Contrastive Motion Learning for Video Action Recognition., , , , , and . CoRR, (2020)A Strongly Unforgeable Certificateless Signature Scheme and Its Application in IoT Environments., , , , , and . Sensors, 19 (12): 2692 (2019)Security analysis and improvement of a privacy-preserving authentication scheme in VANET., , and . Int. J. Inf. Sec., 21 (6): 1361-1371 (2022)