Testing expert systems using conventional techniques. - Wei-Tek Tsai; Shekhar H. Kirani; Imran A. Zualkernan (COMPSAC, 1992)

Quadtree interconnection network layout. - Sourav Bhattacharya; Shekhar H. Kirani; Wei-Tek Tsai (Great Lakes Symposium on VLSI, 1992)

Comparative Evaluation of Expert System Testing Methods. - Shekhar H. Kirani; Imran A. Zualkernan; Wei-Tek Tsai (ICTAI, 1992)

Pragmatic Testing Methods for Expert Systems. - Wei-Tek Tsai; Imran A. Zualkernan; Shekhar H. Kirani (Int. J. Artif. Intell. Tools, 1993)

Evaluation of Expert System Testing Methods. - Shekhar H. Kirani; Imran A. Zualkernan; Wei-Tek Tsai (Commun. ACM, 1994)

Method Sequence Specification and Verification of Classes. - Shekhar H. Kirani; Wei-Tek Tsai (J. Object Oriented Program., 1994)

Hierarchical Data Flow Analysis for O-O Programs. - Satish Subramanian; Wei-Tek Tsai; Shekhar H. Kirani (J. Object Oriented Program., 1994)

Retrofitting Software Safety in an Implantable Medical Device. - Ramin Mojdehbakhsh; Wei-Tek Tsai; Shekhar H. Kirani; Lynn Elliott (IEEE Softw., 1994)

Quadtree Layouts and I/O Bandwidth. - Sourav Bhattacharya; Shekhar H. Kirani; Wei-Tek Tsai (Parallel Process. Lett., 1995)