• Game Playing Programs 
• Search Heuristics and Algorithms 
• Parallel, Distributed, and Concurrent Programming 
• Automated Reasoning and Theorem Proving

[1] M. Almulla, Location-based Expert System for Diabetes Diagnosis and Medication Recommendation, Kuwait Journal of Science, 48(1): 20-30, 2021.

[2] H. Yahyaoui, J. El-Qarna, and M. Almulla, Specification and Recognition of Service Trust Behaviors, Kuwait Journal of Science, 47 (1): 33-41, 2020.

[3] J. El-Qurna, H. Yahyaoui and M. Almulla. A New Framework for the Verification of Service Trust Behaviors. Knowledge-Based Systems, 121: 7–22, 2017.

[4] M. Almulla, H. Yahyaoui, and K. Al-Matori. A new fuzzy hybrid technique for ranking real world Web services, Knowledge-Based Systems, 77: 1-15, 2015.

[5] N, Aljeri, K. Abrougui, M. Almulla, and A. Boukerche, A reliable quality of service aware fault tolerant gateway discovery protocol for vehicular networks. Wirel. Commun. Mob. Comput. 15(10): 1485-1495, 2015.

[6] H. Cheng, X. Fei, A. Boukerche, and M. Almulla, GeoCover: An efficient sparse coverage protocol for RSU deployment over urban VANETs, Adhoc Networks, 24: 85-102, 2015.

[7] C. Rezende, A. Boukerche, M. Almulla, and A. Loureiro, The Selective Use of Redundancy for Video Streaming over Vehicular Adhoc Networks, Computer Networks, 81 (22): 43–62, 2015.

[8] H. Yahyaoui, M. Almulla, and H.S. Own. A novel non-functional matchmaking approach between fuzzy user queries and real-world web services based on rough sets, Future Generation Computer Systems 35, 27-38, 2014.

[9] M. Almulla, Y. Wang, A. Boukerche, and Z. Zhang, Design of a Fast Location-based Handoff Scheme for IEEE 802.11 Vehicular Networks, IEEE Transactions on Vehicular Technology, 63(8): 3853 – 3866, 2014.

[10] K. Abrougui, A. Boukerche, R.W. Pazzi, M. Almulla, A scalable bandwidth-efficient hybrid adaptive service discovery protocol for vehicular networks with infrastructure support, IEEE Transactions on Mobile Computing, 13(7): 1424-1442, 2014

[11] M. Almulla, A. Kanso, and M. Ghebleh. A Concurrent Key Exchange Protocol Based on Commuting Matrices. Concurrency and Computation: Practice & Experience. John-Wiley, 25(5): 743-751, 2013.

[12] M. Almulla, On Classification of Web Services Using Fuzzy Expert System, Journal of Algorithms & Computational Technology, 7(1): 1-14, 2013.

[13] Q. Zhang, M. Almulla, and A. Boukerche, An Improved Scheme for Key Management of RFID in Vehicular Adhoc Networks, IEEE Latin America Transactions, 11(6): 1286-1294, 2013.

[14] M. Almulla, K. Abrougui, and A. Boukerche, LEADMesh: Design and Analysis of An Efficient Leader Election Protocol for Wireless Mesh Networks, Elsevier Simulation Modeling Practice and Theory, 36: 22–32, 2013.

[15] H. Yahyaoui, A. Mourad, M. Almulla, L. Yao, and Q.Z. Sheng. A Synergy between Context-aware Policies and AOP to Achieve Highly Adaptable Web Services, Service Oriented Computing and Applications 6(4): 379-392, 2012.

[16] M. Almulla, Q. Zhang, A. Boukerche, and Y. Ren, An Efficient k-Means Authentication Scheme for Certificate Revocation Validation in Vehicular Adhoc Networks, Wiley-Wireless Communications and Mobile Computing, 14(16): 1546-1563, 2012.

[17] A. Kanso, H. Yahyaoui, and M. Almulla. Keyed Hash Function Based on a Chaotic Map, Information Sciences - Elsevier, 186(1): 249-264,2012.

[18] N. Alawadhi, O. Sinanoglu, and M. Almulla. Enhancing encoding capacity of combinational test stimulus decompressors, Science China Information Sciences, 54 (8): 1618-1634, 2011.

[19] M. Almulla, On embedded languages in expert systems for troubleshooting wireless connectivity, Kuwait Journal of Science and Engineering, 37(2A): 31- 41, 2010.

[20] M. Almulla and O. Sinanoglu, A Distributed Algorithm for XOR Decompression with Stimulus Fragment Move to Reduce Chip Testing Costs, International Journal of Mathematical Models and Methods in Applied Sciences, 3(3): 256 – 265, 2009.

[21] O. Sinanoglu, M. Almulla, N. Shunaiber, and A. Orailoglu, Scan Cell Positioning for Boosting the Compression of Fan-Out Networks, Journal of Computer Science and Technology- Springer, 24(5): 939-948, 2009.

[22] M. Almulla, O. Sinanoglu, M. Taha, and N. Al-Awadhi, Align-Encode Delay Assignment in the Case of XOR-Decompressors: Impact of Parallel Computations. Journal of Interconnection Networks - WorldsciNet, 10(4): 261-281, 2009.

[23] S.S. Hussain, K. Qureshi, M. Almulla, and H. Rashid, Local predecimation with range index communication parallelization strategy for fractal image compression on a cluster of workstations. International Arab Journal of Information Technology, 6(3): 293-296, 2009.

[24] O. Sinanoglu, M. Almulla, and M. Taha, Utilisation of inverse compatibility for test cost reductions. Computers & Digital Techniques, IET. 3(2): 195–204, 2009.

[25] F. Adhafeeri, F., M. Almulla, and B. Alraqas, Teachers' expectations of the impact of E-learning on Kuwait's public education system, Social Behavior and Personality: an international journal, 34(6): 711-728, 2006.

[26] A. Almonayyes, H. Raafat, M. Almulla, and R. AlHarshani, Improving the Time Efficiency of Proving Theorems Using a Learning Mechanism, International Journal of Computer Mathematics, 77: 169-180, 2001.

[27] M. Almulla, M. Al-Haddad, and H. Loeper, An Ada-Based Preprocessor language for Concurrent Object-Oriented Programming, Arab Gulf Journal of Scientific Research, 19 (3): 137-149, 2001.

[28] M. Almulla, H. Loeper, K. Al-Harbi, and A. Khattab, Concurrent Interpretation of Pure LISP, Parallel and Distributed Systems and Networks 3(4): 235-241, 2000.

[29] M. Almulla, W. Behbahani, and H. Loeper, The Integration of Practical Search and Heuristic Knowledge into a competitive Go-Playing Program, Kuwait Journal of Science and Engineering, 26(2): 199-215, 1999.

[30] M. Almulla and L. Hanna, A Domain-independent System for Modeling Number Theory Using First-Order Predicate Logic, Kuwait Journal of Science and Engineering, 26(1): 29-48, 1999.