Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
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
1-Dec-2011	High performance iris recognition system on GPU	Zaky Sakr, Fatma; Taher, Mohammed; 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-Dec-2010	Accelerated access to visual data in multimedia applications	Afifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim
1-Dec-2012	Accelerating Iris Recognition algorithms on GPUs	Sakr, Fatma Zaky; Taher, Mohamed; Ei-Bialy, Ahmed M.; Wahba, Ayman
1-Dec-2007	Verification of the properties of asynchronous real-time distributed systems using the B-Formalism	Wahba, Ayman ; El-Maddah, Islam A.
1-Dec-2008	Value estimation for software product management	Mohamed, S. I.; Wahba, Ayman
1-Dec-2006	Dynamic reconfiguration for increased functional density	El-Araby, Nahla A.; Wahba, Ayman ; Bedor, Hassan S.