Author of the publication

Program Verification by Reachability Searching over Dynamic Call Tree.

, and . ADMA, volume 8933 of Lecture Notes in Computer Science, page 588-601. Springer, (2014)

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

An efficient evolution method based on PolSK/ASK orthogonal modulation., , and . WOCC, page 574-576. IEEE, (2013)DTTS: a transparent and scalable solution for IPv4 to IPv6 transition., , and . ICCCN, page 248-253. IEEE, (2001)Crowdsourced Idea Generation: The Effect of Exposure to an Original Idea., , and . AMCIS, Association for Information Systems, (2013)A Class of Zero Wasted Area Floorplan for VLSI Design., and . ISCAS, page 1762-1765. IEEE, (1993)Research on the Theory and Methods for Similarity Calculation of Rough Formal Concept in Missing-Value Context., , , and . CCTA (2), volume 345 of IFIP Advances in Information and Communication Technology, page 425-433. Springer, (2010)Semantic Web based innovative design knowledge modeling for collaborative design., and . Expert Syst. Appl., 39 (5): 5616-5624 (2012)Impact of Nonfullerene Acceptor Core Structure on the Photophysics and Efficiency of Polymer Solar Cells, , , , , , and . ACS Energy Letters, 3 (4): 802--811 (March 2018)Adaptive synchronization of neural networks with time-varying delay and distributed delay, , and . Physica A: Statistical Mechanics and its Applications, 387 (2-3): 631--642 (Jan 15, 2008)A MAC Protocol for Data Gathering in Linear Wireless Sensor Network Based on Selective Relay Nodes., , , and . CWSN, volume 501 of Communications in Computer and Information Science, page 321-331. Springer, (2014)Unification of SAR image formation and post-processing for environmental remote sensing application., , , , , , , , and . IGARSS, page 3730-3733. IEEE, (2016)