Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications. - Hazem El-Gendy; Abdel-Wahab Fayez (ISCC, 1997)

Transformation of estelle specifications to lotos specifications. - Hazem El-Gendy; Hani El-Sayed; Abdel-Wahab Fayez (CATA, 1998)

Comparative analysis of the notions of equivalence for process specifications. - Hazem El-Gendy; Hani El-Sayed; Abdel-Wahab Fayez (ISCC, 1998)

Optimization of partial parallel interference cancellation (PPIC) factor in CDMA systems. - Abdel Nasser Fawzy; Abdel-Wahab Fayez; Mona M. Riad (SMC, 2000)