An Upper Bound on the Time Complexity of Iterative-Deepening-A. - Brian G. Patrick; Mohammed Almulla; Monroe M. Newborn (Ann. Math. Artif. Intell., 1992)

The practicality of generating semantic trees for proofs of unsatisfiability. - Mohammed Almulla; Monroe M. Newborn (Int. J. Comput. Math., 1996)

Heuristics Used by HERBY for Semantic Tree Theorem Proving. - Qingxun Yu; Mohammed Almulla; Monroe M. Newborn (Ann. Math. Artif. Intell., 1998)

Toward a Computational Model of Collective Intelligence and its IQ Measure. - Mohammed Almulla; Tadeusz Szuba (SAC, 1999)

Was Collective Intelligence before Life on Earth? - Tadeusz Szuba; Mohammed Almulla (IPDPS Workshops, 2000)

A learning mechanism to enhance the time efficiency of proving theorems. - Ahmad Almonayyes; Hazem M. Raafat; Mohammed Almulla (CATA, 2001)

Improving the time efficiency of proving theorems using a learning mechanism. - Ahmed Almonayyes; Hazem M. Raafat; Mohammed Almulla; Rana'a Alharshani (Int. J. Comput. Math., 2001)

On the Power of Heuristics in Solving Large AI Problems. - Mohammed Almulla; Anas Nayfeh (IC-AI, 2004)

Context-based specification of Web service policies using WSPL. - Hamdi Yahyaoui; Mohammed Almulla (ICDIM, 2010)

A QoS-Based Fuzzy Model for Ranking Real World Web Services. - Mohammed Almulla; Kawthar Almatori; Hamdi Yahyaoui (ICWS, 2011)

Towards context-adaptable Web service policies. - Hamdi Yahyaoui; L. Wang; Azzam Mourad; Mohammed Almulla; Quan Z. Sheng (ANT/MobiWIS, 2011)

Towards Robust Routing in HD Tree. - R. Liu; Y. Gu; Azzedine Boukerche; Mohammed Almulla (DS-RT, 2012)

Machine Learning Approach to Enhance the Design of Automated Theorem Provers. - Mahdi Khalifa; Hazem M. Raafat; Mohammed Almulla (ICONIP (2), 2012)

An efficient certificate revocation validation scheme with k-means clustering for vehicular ad hoc networks. - Qingwei Zhang; Mohammed Almulla; Yonglin Ren; Azzedine Boukerche (ISCC, 2012)

A reliable and robust gateway discovery mechanism for vehicular ad hoc networks. - Noura Aljeri; Kaouther Abrougui; Mohammed Almulla; Azzedine Boukerche (MOBIWAC, 2012)

Visualization of Real-World Web Services Based on Fuzzy Logic. - Mohammed Almulla; Hamdi Yahyaoui; Kawthar Almatori (SERVICES, 2012)

Keyed hash function based on a chaotic map. - Ali A. Kanso; Hamdi Yahyaoui; Mohammed Almulla (Inf. Sci., 2012)

A synergy between context-aware policies and AOP to achieve highly adaptable Web services. - Hamdi Yahyaoui; Azzam Mourad; Mohammed Almulla; Lina Yao 001; Quan Z. Sheng (Serv. Oriented Comput. Appl., 2012)

Measuring and Analyzing Migration Delay for the Computational Load Balancing of Distributed Virtual Simulations. - Robson Eduardo De Grande; Mohammed Almulla; Azzedine Boukerche (IEEE Trans. Instrum. Meas., 2012)

A Performance Evaluation of Load Balancing and QoS-aware Gateway Discovery Protocol for VANETs. - Noura Aljeri; Kaouther Abrougui; Mohammed Almulla; Azzedine Boukerche (AINA Workshops, 2013)

Autonomous Configuration Scheme in a Distributed Load Balancing System for HLA-Based Simulations. - Robson Eduardo De Grande; Mohammed Almulla; Azzedine Boukerche (DS-RT, 2013)

A fast location-based handoff scheme for vehicular networks. - Mohammed Almulla; Yikun Wang; Azzedine Boukerche; Zhenxia Zhang (ICC, 2013)

An improved authentication scheme for applying RFID in VANETs. - Qingwei Zhang; Mohammed Almulla; Azzedine Boukerche (ISCC, 2013)

The use of Erasure Coding for video streaming unicast over Vehicular Ad Hoc Networks. - Cristiano G. Rezende; Mohammed Almulla; Azzedine Boukerche (LCN, 2013)

A distributed fluid dynamic motivated quality assurance algorithm for multi-hop wireless transmissions. - Mohammed Almulla; Hengheng Xie; Azzedine Boukerche; Abdelhamid Mammeri (MOBIWAC, 2013)

On the number of candidates in opportunistic routing for multi-hop wireless networks. - Amir Darehshoorzadeh; Mohammed Almulla; Azzedine Boukerche; Sonny Chaiwala (MOBIWAC, 2013)

An efficient fault detection and diagnosis protocolfor vehicular networks. - Noura Aljeri; Mohammed Almulla; Azzedine Boukerche (DIVANet@MSWiM, 2013)

A geometry-based coverage strategy over urban VANETs. - Huang Cheng; Xin Fei; Azzedine Boukerche; Abdelhamid Mammeri; Mohammed Almulla (PE-WASUN, 2013)

A novel cross layer TCP pacing protocol for multi-hop wireless networks. - Hengheng Xie; Azzedine Boukerche; Mohammed Almulla (WCNC, 2013)

A concurrent key exchange protocol based on commuting matrices. - Mohammed Almulla; Ali A. Kanso; Mohammad Ghebleh (Concurr. Comput. Pract. Exp., 2013)

LEADMesh: Design and analysis of an efficient leader election protocol for wireless mesh networks. - Mohammed Almulla; Kaouther Abrougui; Azzedine Boukerche (Simul. Model. Pract. Theory, 2013)

Design of traffic sign detection, recognition, and transmission systems for smart vehicles. - Abdelhamid Mammeri; Azzedine Boukerche; Mohammed Almulla (IEEE Wirel. Commun., 2013)

Hotspot discovery algorithms in coverage selection model over VANETs. - Huang Cheng; Xin Fei; Azzedine Boukerche; Mohammed Almulla (GLOBECOM, 2014)

A Knapsack Constrained Steiner Tree model for continuous coverage over urban VANETs. - Huang Cheng; Xin Fei; Mohammed Almulla; Azzedine Boukerche (ICC, 2014)

An efficient animal detection system for smart cars using cascaded classifiers. - Abdelhamid Mammeri; Depu Zhou; Azzedine Boukerche; Mohammed Almulla (ICC, 2014)

Video streaming over vehicular networks by a multiple path solution with error correction. - Renfei Wang; Mohammed Almulla; Cristiano G. Rezende; Azzedine Boukerche (ICC, 2014)

A Genetic Algorithm-Based Sparse Coverage over Urban VANETs. - Huang Cheng; Xin Fei; Azzedine Boukerche; Mohammed Almulla (IPDPS Workshops, 2014)

A Fuzzy Model for Selecting Social Web Services. - Hamdi Yahyaoui; Mohammed Almulla; Zakaria Maamar (WISE (2), 2014)

A novel non-functional matchmaking approach between fuzzy user queries and real world web services based on rough sets. - Hamdi Yahyaoui; Mohammed Almulla; Hala S. Own (Future Gener. Comput. Syst., 2014)

A Scalable Bandwidth-Efficient Hybrid Adaptive Service Discovery Protocol for Vehicular Networks with Infrastructure Support. - Kaouther Abrougui; Azzedine Boukerche; Richard W. Pazzi; Mohammed Almulla (IEEE Trans. Mob. Comput., 2014)

Design of a Fast Location-Based Handoff Scheme for IEEE 802.11 Vehicular Networks. - Mohammed Almulla; Yikun Wang; Azzedine Boukerche; Zhenxia Zhang (IEEE Trans. Veh. Technol., 2014)

An efficient k-Means authentication scheme for digital certificates revocation validation in vehicular ad hoc networks. - Mohammed Almulla; Qingwei Zhang; Azzedine Boukerche; Yonglin Ren (Wirel. Commun. Mob. Comput., 2014)

GeoCover: An efficient sparse coverage protocol for RSU deployment over urban VANETs. - Huang Cheng; Xin Fei; Azzedine Boukerche; Mohammed Almulla (Ad Hoc Networks, 2015)

The selective use of redundancy for video streaming over Vehicular Ad Hoc Networks. - Cristiano G. Rezende; Azzedine Boukerche; Mohammed Almulla; Antonio A. F. Loureiro (Comput. Networks, 2015)

A new fuzzy hybrid technique for ranking real world Web services. - Mohammed Almulla; Hamdi Yahyaoui; Kawthar Al-Matori (Knowl. Based Syst., 2015)

A reliable quality of service aware fault tolerant gateway discovery protocol for vehicular networks. - Noura Aljeri; Kaouther Abrougui; Mohammed Almulla; Azzedine Boukerche (Wirel. Commun. Mob. Comput., 2015)

A new framework for the verification of service trust behaviors. - Jumana El-Qurna; Hamdi Yahyaoui; Mohammed Almulla (Knowl. Based Syst., 2017)

Measuring Semantic Similarity between Services Using Hypergraphs. - Hamdi Yahyaoui; Mohammed Almulla; Eiman Boujarwah (iiWAS, 2021)