| The CADE-16 ATP system competition G Sutcliffe Journal of Automated Reasoning 24, 371-396, 2000 | 113* | 2000 |
| Keyed hash function based on a chaotic map A Kanso, H Yahyaoui, M Almulla Information Sciences 186 (1), 249-264, 2012 | 91 | 2012 |
| A qos-based fuzzy model for ranking real world web services M Almulla, K Almatori, H Yahyaoui 2011 IEEE International Conference on Web Services, 203-210, 2011 | 62 | 2011 |
| An efficient animal detection system for smart cars using cascaded classifiers A Mammeri, D Zhou, A Boukerche, M Almulla 2014 IEEE international conference on communications (ICC), 1854-1859, 2014 | 54 | 2014 |
| TEACHERS'EXPECTATIONS OF THE IMPACT OF E-LEARNING ON KUWAIT’S PUBLIC EDUCATION SYSTEM F Aldhafeeri, M Almulla, B Alraqas Social Behavior and Personality: an international journal 34 (6), 711-728, 2006 | 52 | 2006 |
| GeoCover: An efficient sparse coverage protocol for RSU deployment over urban VANETs H Cheng, X Fei, A Boukerche, M Almulla Ad Hoc Networks 24, 85-102, 2015 | 51 | 2015 |
| A geometry-based coverage strategy over urban vanets H Cheng, X Fei, A Boukerche, A Mammeri, M Almulla Proceedings of the 10th ACM symposium on Performance evaluation of wireless …, 2013 | 50 | 2013 |
| Video streaming over vehicular networks by a multiple path solution with error correction R Wang, M Almulla, C Rezende, A Boukerche 2014 IEEE International Conference on Communications (ICC), 580-585, 2014 | 36 | 2014 |
| Design of a fast location-based handoff scheme for IEEE 802.11 vehicular networks M Almulla, Y Wang, A Boukerche, Z Zhang IEEE Transactions on Vehicular Technology 63 (8), 3853-3866, 2014 | 36 | 2014 |
| Design of traffic sign detection, recognition, and transmission systems for smart vehicles A Mammeri, A Boukerche, M Almulla IEEE wireless communications 20 (6), 36-43, 2013 | 34 | 2013 |
| An efficient certificate revocation validation scheme with k-means clustering for vehicular ad hoc networks Q Zhang, M Almulla, Y Ren, A Boukerche 2012 IEEE Symposium on Computers and Communications (ISCC), 000862-000867, 2012 | 30 | 2012 |
| A new fuzzy hybrid technique for ranking real world Web services M Almulla, H Yahyaoui, K Al-Matori Knowledge-Based Systems 77, 1-15, 2015 | 27 | 2015 |
| An upper bound on the time complexity of iterative-deepening-A* BG Patrick, M Almulla, MM Newborn Annals of Mathematics and Artificial Intelligence 5 (2), 265-277, 1992 | 23 | 1992 |
| The selective use of redundancy for video streaming over Vehicular Ad Hoc Networks C Rezende, A Boukerche, M Almulla, AAF Loureiro Computer Networks 81, 43-62, 2015 | 22 | 2015 |
| On the number of candidates in opportunistic routing for multi-hop wireless networks A Darehshoorzadeh, M Almulla, A Boukerche, S Chaiwala Proceedings of the 11th ACM international symposium on Mobility management …, 2013 | 22 | 2013 |
| A Performance evaluation of load balancing and QoS-aware gateway discovery protocol for VANETs N Aljeri, K Abrougui, M Almulla, A Boukerche 2013 27th International Conference on Advanced Information Networking and …, 2013 | 21 | 2013 |
| The use of Erasure Coding for video streaming unicast over Vehicular Ad Hoc Networks C Rezende, M Almulla, A Boukerche 38Th Annual IEEE Conference On Local Computer Networks, 715-718, 2013 | 20 | 2013 |
| A new framework for the verification of service trust behaviors J El-Qurna, H Yahyaoui, M Almulla Knowledge-Based Systems 121, 7-22, 2017 | 16 | 2017 |
| An efficient fault detection and diagnosis protocolfor vehicular networks N Aljeri, M Almulla, A Boukerche Proceedings of the third ACM international symposium on Design and analysis …, 2013 | 16 | 2013 |
| Location-based expert system for diabetes diagnosis and medication recommendation MA Almulla Kuwait Journal of Science 48 (1), 2021 | 15 | 2021 |
