Author of the publication

Accelerating Software Model Checking Based on Program Backbone.

, , , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 347-358. Springer, (2013)

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

On model reduction of K-power bilinear systems., and . Int. J. Systems Science, 45 (9): 1978-1990 (2014)Automatic structural regularities exploration in complex networks., , , and . CoRR, (2014)Incorporating Structural Alternatives and Sharing into Hierarchy for Multiclass Object Recognition and Detection., , , and . CoRR, (2015)Combining Multiple Image Descriptions for Loop Closure Detection., , and . Journal of Intelligent and Robotic Systems, 92 (3-4): 565-585 (2018)Using Hybrid Kernel Method for Question Classification in CQA., , , and . ICONIP (3), volume 7064 of Lecture Notes in Computer Science, page 121-130. Springer, (2011)Complex Detection Based on Integrated Properties., , , , and . ICONIP (1), volume 7062 of Lecture Notes in Computer Science, page 121-128. Springer, (2011)A Hybrid Language Model Based On Statistics And Linguistic Rules., , , , and . IJPRAI, 19 (1): 109-128 (2005)A supervised approach to detect protein complex by combining biological and topological properties., , , , and . IJDMB, 8 (1): 105-121 (2013)Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction., , , , and . Biosyst., 91 (1): 117-125 (2008)Model reduction of bilinear systems based on Laguerre series expansion., and . J. Frankl. Inst., 349 (3): 1231-1246 (2012)