( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal Coverage Analysis for Dynamic Verification.

, , , , и . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (1): 66-70 (2018)

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.

Yü-Sün Sun

Hongtao Sun

Guolin Sun

Xianyong Sun

Hongqing Sun

 

Другие публикации лиц с тем же именем

Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker., , , , , , , и . IEEE Trans. Software Eng., 47 (11): 2575-2589 (2021)Multiterminal net assignments by scatter search., , , и . Math. Comput. Model., 41 (8-9): 997-1004 (2005)A Hierarchical Grid Based Framework for Fast Collision Detection., , , и . Comput. Graph. Forum, 30 (5): 1451-1459 (2011)Determining the Number of Probability-Based Clustering: A Hybrid Approach., , и . AWCC, том 3309 из Lecture Notes in Computer Science, стр. 416-421. Springer, (2004)TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis., , , , и . ASE, стр. 1170-1173. IEEE, (2019)Vertex-Weighted Hypergraph Learning for Multi-View Object Classification., , , , , и . IJCAI, стр. 2779-2785. ijcai.org, (2017)Go-clone: graph-embedding based clone detector for Golang., , , , , , , и . ISSTA, стр. 374-377. ACM, (2019)C Code Verification based on the Extended Labeled Transition System Model., , , , и . D&P@MoDELS, том 1725 из CEUR Workshop Proceedings, стр. 48-55. CEUR-WS.org, (2016)Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design., , , , , , , , и . iThings/GreenCom/CPSCom/SmartData, стр. 208-215. IEEE, (2019)Parallel Spatial Hashing for Collision Detection of Deformable Surfaces., , , и . CAD/Graphics, стр. 288-295. IEEE Computer Society, (2011)