( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Construction of Complete Abstraction by Abstract Interpretation.

, , , и . ACIS-ICIS, стр. 927-932. IEEE Computer Society, (2009)

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.

Qian-Qian Jiang

Junyan Zhu

Qian-Qian Jiang

Yanyun Qian

Huihong Qian

 

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

An Interactive Debugging Framework with Heuristic Graph., , , и . SATE, стр. 45-52. IEEE, (2017)A Formal Framework for Policy-Governed Institutional Agency., , , и . CSSE (3), стр. 437-440. IEEE Computer Society, (2008)978-0-7695-3336-0.Ad Dissemination Game in Ephemeral Networks., , , , и . APWeb, том 9313 из Lecture Notes in Computer Science, стр. 610-622. Springer, (2015)Verifying Programs Using Abstraction and Theorem Proving., и . IMECS, стр. 1044-1049. Newswood Limited, (2007)Program Slicing Method of LLVM IR Based on Information-Flow Analysis., , и . CyberC, стр. 383-390. IEEE, (2019)IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment., , , , , и . Sensors, 20 (8): 2294 (2020)MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users., , , и . ICAIS (1), том 12239 из Lecture Notes in Computer Science, стр. 682-694. Springer, (2020)Evolutionary Measures for Object-oriented Projects and Impact on the Performance of Cross-version Defect Prediction., , , , , и . Internetware, стр. 192-201. ACM, (2022)An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star., , , и . ICCSA (2), том 9787 из Lecture Notes in Computer Science, стр. 331-343. Springer, (2016)Monadic Dynamic Slicing of Object-Oriented Programs., , , и . CyberC, IEEE, (2018)