Publications
A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
.
2006. Minimal Slicing and the Relationships between Forms of Slicing. Proceedings of the 5th {IEEE} International Workshop on Source Code Analysis and Manipulation ({SCAM} 2005). :45–54.
.
2005. Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.
.
2006.