|
| Issue Date | Title | Author(s) |
| 1-Jan-1998 | A parallel technique for ATPG using genetic algorithms | Sabry, Mohamed-Nabil ; Wahba, Ayman ; Mahdi, Hani |
| 1-Dec-2009 | A security layer for smart card applications authentication | Elwahab, Amin Abd; Eldin, Ayman M.Bahaa; Wahba, Ayman ; Sheirah, Mohamed A. |
| 1-Dec-2010 | Accelerated access to visual data in multimedia applications | Afifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim |
| 1-Jan-2002 | Accelerated cosimulation using reconfigurable computing | Nabeel, Mohamed; Wahba, Ayman ; Salem, A. M.; Sheirah, M. A. |
| 1-Dec-2012 | Accelerating Iris Recognition algorithms on GPUs | Sakr, Fatma Zaky; Taher, Mohamed; Ei-Bialy, Ahmed M.; Wahba, Ayman |
| 13-Sep-2016 | Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform | Said, Mai; Safar, Mona; Taher, Mohamed; Wahba, Ayman |
| 1-Jan-1993 | Adaptive decoupler for multivariable systems | Wahba, Ayman ; Sheirah, M. A. |
| 1-Dec-2009 | An approach to model real-time systems in B | Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed |
| 1-Jan-1996 | Automatic diagnosis may replace simulation for correcting simple design errors | Wahba, Ayman ; Borrione, Dominique |
| 2-Jul-2017 | Automatic liveness detection for facial images | Hassan, Mehad Araby; Mustafa, Mohamed Nabil; Wahba, Ayman |
| 1-Jan-2015 | Automatic test data generation targeting hybrid coverage criteria | El-Serafy, Ahmed; Salama, Cherif ; Wahba, Ayman |
| 1-Feb-2016 | Automatic test pattern generation for virtual hardware model using constrained symbolic execution | Mohamed, Nahla; Safari, Mona; Wahba, Ayman ; Salem, Ashraf |
| 1-Jan-2003 | AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONS | Hassan, Samah; Wahba, Ayman ; Zaki Badr, Ahmed |
| 1-Dec-2000 | BDD/AOG - Based algorithm for multiple error rectification in combinational circuits | Wahba, Ayman |
| 1-Dec-2010 | Cascade of complementary features for fast and accurate pedestrian detection | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 19-Apr-2010 | Code synthesis for timed automata: A comparison using case study | Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed |
| 1-Apr-2019 | Color instance segmentation and classification of cervix images | Said, Marwa; Moustafa, Mohamed said attia ; Wahba, Ayman |
| 1-Jul-2015 | Complete Properties Extraction from Simulation Traces for Assertions Auto-generation | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 17-Mar-1997 | Connection error location and correction in combinational circuits | Wahba, Ayman ; Borrione, Dominique |
| 25-Jan-2016 | Constrained-based symbolic execution on virtual models for functional coverage verification | Mohamed, Nahla Mohamed; Wahba, Ayman ; Safar, Mona; Salem, Ashraf |
