Author of the publication

An empirical investigation into path divergences for concolic execution using CREST.

, , , , and . Security and Communication Networks, 8 (18): 3667-3681 (2015)

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

Design of an efficient active noise cancellation circuit for in-ear headphones., , , , , , and . APCCAS, page 599-602. IEEE, (2014)A New Method for Objective Measurement of Perceived Audio Quality., , and . ICMC, Michigan Publishing, (2017)Content-aware texture mapping., , , , and . Graphical Models, 76 (3): 152-161 (2014)An efficient large deformation method using domain decomposition., , , , and . Computers & Graphics, 30 (6): 927-935 (2006)Identifying composite crosscutting concerns through semi-supervised learning., , , , , and . Softw., Pract. Exper., 44 (12): 1525-1545 (2014)Performances of CS-DCSK UWB Communication System in the Presence of Narrow Band Interferers., , , and . TrustCom, page 1475-1480. IEEE Computer Society, (2012)A load balancing skyline query algorithm in high bandwidth distributed systems., , , and . FSKD, page 2076-2080. IEEE, (2010)Computing Spatial Distance Histograms for Large Scientific Data Sets On-the-Fly., , , , , and . IEEE Trans. Knowl. Data Eng., 26 (10): 2410-2424 (2014)Approximate Algorithms for Computing Spatial Distance Histograms with Accuracy Guarantees., , , , , , and . IEEE Trans. Knowl. Data Eng., 25 (9): 1982-1996 (2013)Hyper-graph Regularized Multi-view Matrix Factorization for Vehicle Identification., , , , , and . ICCCS (1), volume 11063 of Lecture Notes in Computer Science, page 543-554. Springer, (2018)