( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic consistency checking of OpenMp parallel programs.

, , , , и . LCTES, стр. 139-148. ACM, (2012)

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.

Fang Yu

Fang Yu

Yu-Fang Lin

Yu-Fang Hsu

Yu Ho-fang Pen

 

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

PyCT: A Python Concolic Tester., , , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 38-46. Springer, (2021)Optimal sanitization synthesis for web application vulnerability repair., , , , , и . ISSTA, стр. 189-200. ACM, (2016)Fuzzy Topological Relations Between Fuzzy Spatial Objects., , и . FSKD, том 4223 из Lecture Notes in Computer Science, стр. 324-333. Springer, (2006)An Effective Approach to Mining Exeption Class Association Rules., и . Web-Age Information Management, том 1846 из Lecture Notes in Computer Science, стр. 145-150. Springer, (2000)A balanced energy consumption clustering algorithm for heterogeneous energy wireless sensor networks., , и . WCNIS, стр. 382-386. IEEE, (2010)Chinese medical event detection based on feature extension and document consistency., , и . CACRE, стр. 753-758. IEEE, (2020)Inherent Dynamics of the Acid-Sensing Ion Channel 1 Correlates with the Gating Mechanism, , , , , , и . PLoS Biol., 7 (7): e1000151 (июля 2009)Detection and location of microaneurysms in fundus images based on improved YOLOv4 with IFCM., , , , и . IET Image Process., 17 (11): 3349-3357 (2023)TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering., , и . IEEE Trans. Software Eng., 32 (7): 510-526 (2006)TCTL Inevitability Analysis of Dense-Time Systems., , и . CIAA, том 2759 из Lecture Notes in Computer Science, стр. 176-187. Springer, (2003)