Author of the publication

Proteus: computing disjunctive loop summary via path dependency analysis.

, , , , and . SIGSOFT FSE, page 61-72. ACM, (2016)

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

DCT: Differential Combination Testing of Deep Learning Systems., , , and . ICANN (3), volume 11729 of Lecture Notes in Computer Science, page 697-710. Springer, (2019)An intelligent traffic light control approach for reducing vehicles CO2 emissions in VANET., , , and . FSKD, page 2070-2075. IEEE, (2015)Hysteresis automatic configuration for outbound handover in heterogeneous small cell networks., , , and . FSKD, page 2127-2131. IEEE, (2015)A Microblog Hot Topic Detection Algorithm Based on Discrete Particle Swarm Optimization., , , and . PRICAI, volume 9810 of Lecture Notes in Computer Science, page 271-282. Springer, (2016)Microarray analysis and quantitative real-time PCR validation of gene expression during auditory hair cell regeneration in zebrafish (Danio rerio)., , , , , and . BMC Bioinform., (2009)Experimental Research on Application of Quantum Key in Video Conference System., , , , , , and . Int. J. Online Eng., 14 (4): 70-81 (2018)An Efficient and Provably-Secure Certificateless Proxy-Signcryption Scheme for Electronic Prescription System., , , , and . Secur. Commun. Networks, (2018)Global-Local Graph Convolutional Network for cross-modality person re-identification., , , , , and . Neurocomputing, (2021)Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions., , , , , and . ASE, page 943-954. IEEE, (2021)Global, regional, and national levels and causes of maternal mortality during 1990–2013: a systematic analysis for the Global Burden of Disease Study 2013, , , , , , , , , and 336 other author(s). The Lancet, (May 2014)