( en | de | ru )

 

Disambiguierung von "Xie, Tao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SoK: Certified Robustness for Deep Neural Networks.

, , und . SP, Seite 1289-1310. IEEE, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tao Xie

Tao Xie

Tao Tao

Jian Xie

Yangpei Xie

 

Weitere Publikationen von Autoren mit dem selben Namen

Tool-assisted unit-test generation and selection based on operational abstractions, und . Automated Software Engineering, (2006)10.1007/s10851-006-8530-6.Environmental Modeling for Automated Cloud Application Testing, , , , , und . IEEE Softw., 29 (2): 30--35 (März 2012)An Availability-Aware Task Scheduling Strategy for Heterogeneous Systems, und . Computers, IEEE Transactions on, 57 (2): 188-199 (Februar 2008)PSDSD-A Superpixel Generating Method Based on Pixel Saliency Difference and Spatial Distance for SAR Images., , , , und . Sensors, 19 (2): 304 (2019)ReWAP: Reducing Redundant Transfers for Mobile Web Browsing via App-Specific Resource Packaging., , , , , und . IEEE Trans. Mob. Comput., 16 (9): 2625-2638 (2017)Construct MD5 Collisions Using Just A Single Block Of Message., und . IACR Cryptology ePrint Archive, (2010)Automated detection of api refactorings in libraries., , und . ASE, Seite 377-380. ACM, (2007)Constructing coding duels in Pex4Fun and code hunt., , , und . ISSTA, Seite 445-448. ACM, (2014)An approach to detecting duplicate bug reports using natural language and execution information., , , , und . ICSE, Seite 461-470. ACM, (2008)DyTa: dynamic symbolic execution guided with static verification results., , , und . ICSE, Seite 992-994. ACM, (2011)