Optimizing Designs Containing Black Boxes. - Tai-Hung Liu; Khurram Sajid; Adnan Aziz; Vigyan Singhal (DAC, 1997)

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. - Anuj Goel; Khurram Sajid; Hai Zhou 001; Adnan Aziz; Vigyan Singhal (Formal Methods Syst. Des., 2003)