Author of the publication

Star-Based Reachability Analysis of Deep Neural Networks.

, , , , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 670-686. Springer, (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

Enhancing Alzheimer's Disease Diagnosis via Hierarchical 3D-FCN with Multi-Modal Features., , , , and . ICIP, page 304-308. IEEE, (2021)RF Sensing Based Breathing Patterns Detection Leveraging USRP Devices., , , , , , , , and . Sensors, 21 (11): 3855 (2021)Estimation of the Yield and Plant Height of Winter Wheat Using UAV-Based Hyperspectral Images., , , , , , and . Sensors, 20 (4): 1231 (2020)OEM's sales formats under e-commerce platform's private-label brand outsourcing strategies., , , and . Comput. Ind. Eng., (2022)Blockchain-based multi-user certificateless encryption with keyword search for electronic health record sharing., , , and . Peer-to-Peer Netw. Appl., 15 (5): 2270-2288 (2022)CDFRegNet: A cross-domain fusion registration network for CT-to-CBCT image registration., , , , , , , , , and . Comput. Methods Programs Biomed., (2022)CAPNet: Context attention pyramid network for computer-aided detection of microcalcification clusters in digital breast tomosynthesis., , , , , , , and . Comput. Methods Programs Biomed., (December 2023)Deep attention branch networks for skin lesion classification., , , , , , , and . Comput. Methods Programs Biomed., (2021)Design of a portable and multifunctional dependable wireless communication platform for smart health care., , , and . Ann. des Télécommunications, 76 (5-6): 287-296 (2021)The 5th AI City Challenge., , , , , , , , , and 3 other author(s). CoRR, (2021)