Collection's Items (Sorted by Submit Date in Descending order): 421 to 440 of 1678
| Issue Date | Title | Author(s) |
| 1-Dec-2008 | Mapping timed automata to B | Ayoub, Anaheed; Wahba, Ayman ; Sheirah, Mohamed |
| 2-Jul-2017 | Automatic liveness detection for facial images | Hassan, Mehad Araby; Mustafa, Mohamed Nabil; Wahba, Ayman |
| 28-Sep-2011 | Fast and accurate pedestrian detection using a cascade of multiple features | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 3-Feb-2014 | It is my great pleasure to | Wahba, Ayman |
| 1-Dec-2009 | Usage of run-time re-configuration for system porting in automotive applications | Khalil, Saffey El Din A.; Wahba, Ayman |
| 25-Jan-2016 | GPU-accelerated real-time video background subtraction | Boghdady, Ramy; Salama, Cherif ; Wahba, Ayman |
| 1-Dec-2019 | Improve performance of indoor positioning system using BLE | Essa, Eslam; Abdullah, Bassem A.; Wahba, Ayman |
| 1-Jan-2018 | Smart aquaponics system for industrial internet of things (IIoT) | Odema, Mohanad; Adly, Ihab; Wahba, Ayman ; Ragai, Hani |
| 3-Feb-2014 | ICPMD: Integrated cross-platform mobile development solution | El-Kassas, Wafaa S.; Abdullah, Bassem A.; Yousef, Ahmed H.; Wahba, Ayman |
| 1-Dec-2019 | Wireless ECG Monitoring System for Telemedicine Application | Aboalseoud, Ahmed; Youssry, Akram; El-Nozahi, Mohamed; El-Rafei, Ahmed; Elbialy, Ahmed; Ragaai, Hani; Wahba, Ayman |
| 1-Jan-2003 | AUTOMATIC TEST PATTERN GENERATION FROM HIGH LEVEL SPECIFICATIONS | Hassan, Samah; Wahba, Ayman ; Zaki Badr, Ahmed |
| 1-Jan-1996 | Method for automatic design error location and correction in combinational logic circuits | Wahba, Ayman ; Borrione, Dominique |
| 1-Dec-2010 | Cascade of complementary features for fast and accurate pedestrian detection | Leithy, Alaa; Moustafa, Mohamed N.; Wahba, Ayman |
| 1-Jan-2012 | Development of a technology for car's auto-parking using swarm search-based fuzzy control system | Hanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman |
| 1-Dec-2008 | Criteria-based requirements prioritization for software product management | Mohamed, A. Samer I.; El-Maddah, B. Islam A.; Wahba, Ayman |
| 19-Apr-2010 | Code synthesis for timed automata: A comparison using case study | Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Sheirah, Mohamed |
| 1-Jan-2000 | M-CHECK: A multiple engine combinational equivalence checker | Reda, Sherief; Wahba, Ayman ; Salem, Ashraf |
| 25-Jan-2016 | Constrained-based symbolic execution on virtual models for functional coverage verification | Mohamed, Nahla Mohamed; Wahba, Ayman ; Safar, Mona; Salem, Ashraf |
| 1-Dec-2010 | Mapping SMV models to event-B models | Hassan, Samah; Taher, Mohamed; Wahba, Ayman |
| 25-Jan-2016 | New methodology for digital design properties extraction from simulation traces | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
Collection's Items (Sorted by Submit Date in Descending order): 421 to 440 of 1678
