M-CHECK: a multiple engine combinational equivalence checker. - Sherief Reda; Ayman Wahba; Ashraf Salem (ISCAS, 2000)

On the use of don't cares during symbolic reachability analysis. - Sherief Reda; Ayman Wahba; Ashraf Salem; Dominique Borrione; M. Ghonaimy (ISCAS (5), 2001)

Fast and Accurate Pedestrian Detection Using a Cascade of Multiple Features. - Alaa Leithy; Mohamed N. Moustafa 001; Ayman Wahba (ACCV Workshops (1), 2010)

Memory Design for Multimedia Applications. - Shereen Afifi; Ayman Wahba; Abd-Elmoneim Wahdan (CDES, 2010)

Multi-Cascade of Complementary Features for Fast and Accurate Pedestrian Detection. - Alaa Leithy; Mohamed N. Moustafa 001; Ayman Wahba (IPSJ Trans. Comput. Vis. Appl., 2012)

Pin-Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-Based Routing Algorithm. - Mohamed N. Ibrahim; Cherif R. Salama; M. Watheq El-Kharashi; Ayman Wahba (Computational Intelligence in Digital and Network Designs and Applications, 2015)

Enhanced Genetic Algorithm for MC/DC test data generation. - Ahmed El-Serafy; Ghada El-Sayed; Cherif R. Salama; Ayman Wahba (INISTA, 2015)

Optimization of Generated Test Data for MC/DC. - Ghada El-Sayed; Cherif R. Salama; Ayman Wahba (SoMeT, 2015)

Automatic Test Data Generation Targeting Hybrid Coverage Criteria. - Ahmed El-Serafy; Cherif R. Salama; Ayman Wahba (SoMeT, 2015)

Smart Aquaponics System for Industrial Internet of Things (IIoT). - Mohanad Odema; Ihab Adly; Ayman Wahba; Hani F. Ragai (AISI, 2017)