Author of the publication

A Formal Method for Program Slicing.

, , and . Australian Software Engineering Conference, page 140-148. IEEE Computer Society, (2005)

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

Description Logic Representation for Requirement Specification., and . International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, page 1147-1154. Springer, (2007)A survey of semantic description frameworks for programming languages., and . ACM SIGPLAN Notices, 39 (3): 14-30 (2004)Image Hiding Algorithm Based on Secure Steganography Mechanism., , , and . CyberC, page 122-129. IEEE, (2017)A Binary-Classification Method Based on Dictionary Learning and ADMM for Network Intrusion Detection., , and . CyberC, page 326-333. IEEE, (2017)Dead Code Detection Method Based on Program Slicing., , , and . CyberC, page 155-158. IEEE, (2017)Multi-UAV Task Allocation Based on Improved Algorithm of Multi-objective Particle Swarm Optimization., , , and . CyberC, IEEE, (2018)WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism., , , and . SOSE, page 64-68. IEEE Computer Society, (2010)A Slice Monad Transformer and Its Applications in Program Slicing., and . ICECCS, page 147-154. IEEE Computer Society, (2005)Detecting Image Spam Based on K-Labels Propagation Model., , , , and . IEEE WISA, page 170-175. IEEE Computer Society, (2013)Modular monadic slicing of concurrent programs., , and . IASTED Conf. on Software Engineering and Applications, page 583-587. IASTED/ACTA Press, (2004)