Plagiarism detection in software designs. - Boumediene Belkhouche; Anastasia Nix; Johnette Hassell (ACM Southeast Regional Conference, 2004)

Formal Analysis of UML-Based Designs. - Boumediene Belkhouche; Anastasia Nix (Software Engineering Research and Practice, 2004)