Collection's Items (Sorted by Submit Date in Descending order): 581 to 600 of 1842
| Issue Date | Title | Author(s) |
| 1-Jan-2015 | Automatic test data generation targeting hybrid coverage criteria | El-Serafy, Ahmed; Salama, Cherif ; Wahba, Ayman |
| 1-Dec-2000 | Iterated calculation of global implications and recursive learning in combinational equivalence checking | Reda, Sherief; Wahba, Ayman ; Salem, Ashraf ; Ghonaimy, Mohamed A. |
| 1-Jan-1993 | Verification and diagnosis of digital systems by ternary reasoning | Wahba, Ayman ; Aas, Einar J. |
| 1-Jan-2023 | Enhancing Counter Synchronization in a Secure Communication Scheme for CAN-Based Automotive Embedded Systems | Sultan, Hossam K.; Wahba, Ayman ; Abdullah, Bassem A. |
| 1-Dec-2016 | New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis | Hanafy, Mohamed; Said, Hazem; Wahba, Ayman |
| 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 |
Collection's Items (Sorted by Submit Date in Descending order): 581 to 600 of 1842
