|
| | Issue Date | Title | Author(s) |
| 41 | 1-Dec-2011 | High performance iris recognition system on GPU | Zaky Sakr, Fatma; Taher, Mohammed; Wahba, Ayman |
| 42 | 1-Dec-2009 | Hybrid-based maintainability impact analysis for evolving systems | Mohamed, Samer I.; Elmaddah, Islam A.M.; Wahba, Ayman |
| 43 | 3-Feb-2014 | ICPMD: Integrated cross-platform mobile development solution | El-Kassas, Wafaa S.; Abdullah, Bassem A.; Yousef, Ahmed H.; Wahba, Ayman |
| 44 | 1-Dec-2011 | Implementation of formally verified real time distributed systems: Simplified flight control system | El-Araby, Nahla A.; Wahba, Ayman ; Taher, Mohamed M. |
| 45 | 1-Dec-2019 | Improve performance of indoor positioning system using BLE | Essa, Eslam; Abdullah, Bassem A.; Wahba, Ayman |
| 46 | Jun-2019 | Improved features and dynamic stream weight adaption for robust Audio-Visual Speech Recognition framework | Saudi, AS; Khalil, Mahmoud ; Abbas, HM |
| 47 | 1-Jan-2000 | Invariant 2D object recognition using the wavelet modulus maxima | Khalil, Mahmoud ; Bayoumi, Mohamed M. |
| 48 | 3-Feb-2014 | It is my great pleasure to | Wahba, Ayman |
| 49 | 1-Dec-2000 | Iterated calculation of global implications and recursive learning in combinational equivalence checking | Reda, Sherief; Wahba, Ayman ; Salem, Ashraf ; Ghonaimy, Mohamed A. |
| 50 | 1-Jan-2000 | M-CHECK: A multiple engine combinational equivalence checker | Reda, Sherief; Wahba, Ayman ; Salem, Ashraf |
| 51 | 1-Dec-2010 | Mapping SMV models to event-B models | Hassan, Samah; Taher, Mohamed; Wahba, Ayman |
| 52 | 1-Dec-2008 | Mapping timed automata to B | Ayoub, Anaheed; Wahba, Ayman ; Sheirah, Mohamed |
| 53 | 1-Jan-1996 | Method for automatic design error location and correction in combinational logic circuits | Wahba, Ayman ; Borrione, Dominique |
| 54 | 17-Aug-2012 | Multi-cascade of complementary features for fast and accurate pedestrian detection | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 55 | 2018 | Neural Networks Pipeline for Offline Machine Printed Arabic OCR | Radwan, MA; Khalil, Mahmoud ; Abbas, HM |
| 16 | 1-Dec-2016 | New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 17 | 25-Jan-2016 | New methodology for digital design properties extraction from simulation traces | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 18 | 1-Jan-2022 | Offline Arabic handwritten word recognition: A transfer learning approach | Awni, Mohamed; Khalil, Mahmoud ; Abbas, Hazem M. |
| 19 | 1-Jan-2001 | On the use of don't cares during symbolic reachability analysis | Reda, S.; Wahba, Ayman ; Salem, A.; Borrione, D.; Ghonaimy, M. |
| 20 | 1-Jan-2015 | Optimization of generated test data for MC/DC | El-Sayed, Ghada; Salama, Cherif ; Wahba, Ayman |
