تجاوز إلى المحتوى الرئيسي
User Image

Prof. Mohamed El Bachir Menai

Professor

Faculty

علوم الحاسب والمعلومات
Room 2174 - Building 31 (1st floor)
صفحة

Publications

  1. H. Alkasem, M.B. Menai. Stochastic local search for Partial Max-SAT: An experimental evaluation. Artificial Intelligence Review (Springer), 54(4), 2525-2566, 2021, DOI: 10.1007/s10462-020-09908-4
  2. H. Alkasem, M.B. Menai. A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search. IEEE Access 9: 49806-49843, 2021.
  3. N. Altmami and M.B. Menai. Automatic summarization of scientific articles: A survey.  Journal of King Saud University - Computer and Information Sciences (Elsevier), 2020, DOI: 10.1016/j.jksuci.2020.04.020
  4. N. Altmami and M.B. Menai. CAST: A cross-article structure theory for multi-article summarization. IEEE Access, 8: 100194-100211, 2020.
  5. A. Altheneyan and M.B. Menai. Automatic plagiarism detection in obfuscated text. Pattern Analysis and Applications (Springer), 23(4): 1627-1650, 2020, DOI: 10.1007/s10044-020-00882-9
  6. A. Alokaili and M.B. Menai. SVM ensembles for named entity disambiguation. Computing (Springer) 102: 1051–1076, 2020, DOI: 10.1007/s00607-019-00748-x
  7. N. Alswaidan and M.B. Menai. A survey of state-of-the-art approaches for emotion recognition in text. Knowledge and Information Systems (Springer), 62(8): 2937-2987, 2020, DOI 10.1007/s10115-020-01449-0
  8. N. Alswaidan and M.B. Menai. Hybrid Feature Model for Emotion Recognition in Arabic Text. IEEE Access, 8: 37843-37854, 2020, DOI: 10.1109/ACCESS.2020.2975906
  9. A. Altheneyan and M.B. Menai. Evaluation of state-of-the-art paraphrase identification and Its application to automatic plagiarism detection. International Journal of Pattern Recognition and Artificial Intelligence (World Scientific), 34(4): 2053004:1-2053004:31, 2020, DOI: 10.1142/S0218001420530043
  10. N. Alswaidan and M.B. Menai. KSU at SemEval-2019 Task 3: Hybrid features for emotion recognition in textual conversation. In Proceedings of the 13th International Workshop on Semantic Evaluation (SemEval@NAACL-HLT 2019), ACL, pages 247-250, Minneapolis, Minnesota, USA, June 2019.
  11. M.B. Menai, H. Alhunitah, and H. Al-Salman. Swarm intelligence to solve the curriculum sequencing problem. Computer Applications in Engineering Education (Wiley), 26:1393–1404, 2018, DOI: 10.1002/cae.22046
  12. A. Al-Saleh and M.B. Menai. Ant colony system for multi-document summarization. In Proceedings of the 27th International Conference on Computational Linguistics (COLING 2018), Association for Computational Linguistics 2018, pages 734-744, Santa Fe, New-Mexico, USA, Aug. 20-26, 2018.
  13. N. Altmami and M.B. Menai. Semantic graph-based automatic summarization of multiple related work sections of scientific articles. In Proceedings of the 18th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2018), Springer, LNCS 11089, pages 255-259, Varna, Bulgaria, Sep. 12-14, 2018.
  14. A. Al-Saleh and M.B. Menai. Solving Multi-Document Summarization as an Orienteering Problem. Algorithms 2018, 11, 96, DOI:10.3390/a11070096
  15. W. Alsaeedan, M.B. Menai, and S. Al-Ahmadi. A hybrid genetic-ant colony optimization algorithm for the word sense disambiguation problem.Information Science (Elsevier), 417:20-38, 2017.
  16. H. Alhunitah and M.B. Menai. Solving the student grouping problem in e-Learning systems using swarm intelligence metaheuristics. Computer Applications in Engineering Education (Wiley), 24:831-842, 2016, DOI: 10.1002/cae.21752
  17. S. Al-Muhaideb and M.B. Menai. Impact of preprocessing on medical data classification. Frontiers of Computer Science (Springer), 10(6): 1082-1102, 2016, DOI: 10.1007/s11704-016-5203-5
  18. W. Alsaeedan and M.B. Menai. A Novel Genetic Algorithm for the Word Sense Disambiguation Problem. In Proceedings of the 29th Canadian Conference on Artificial Intelligence (Canadian AI 2016), Springer, LNCS 9673, pages 162-167, Victoria (BC), Canada, May 31-June 3, 2016.
  19. S. Al-Muhaideb and M.B. Menai. An individualized preprocessing for medical data classification. In Proceedings of the 4th Symposium on Data Mining Applications (SDMA2016), Procedia Computer Science, Elsevier, 82(1):35-42, Riyadh, KSA, March 30, 2016.
  20. A. Al-Saleh and M.B. Menai. Automatic Arabic text summarization: a survey. Artificial Intelligence Review (Springer), 45:203-234, 2016, DOI:10.1007/s10462-015-9442-x
  21. A. Al-Saleh and M.B. Menai. Graph-based multi-document summarization - An initial investigation. In Proceedings of the 35th SGAI International Conference on Artificial Intelligence (AI-2015), pages 183-189, Cambridge, UK, December 15-17, 2015.
  22. W. Alsaeedan and M.B. Menai. A self-adaptive genetic algorithm for the word sense disambiguation problem. In Proceedings of the 28th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2015), pages 581-590, Seoul, South Korea, June 10-12, 2015.
  23. M.B. Menai. Random forests for automatic differential diagnosis of erythemato-squamous diseases. Int. J. Medical Engineering and Informatics, 7(2): 124-141, 2015.
  24. W. Al-Saeedan and M.B. Menai. Swarm intelligence for natural language processing. Int. J. Artificial Intelligence and Soft Computing, 5(2): 117-150, 2015.
  25. M.B. Menai. Word sense disambiguation using evolutionary algorithms – Application to Arabic language. Computers in Human Behavior (Elsevier), vol. 41: 92-103, 2014, http://dx.doi.org/10.1016/j.chb.2014.06.021.
  26. T. Mekhaznia and M.B. Menai. Cryptanalysis of classical ciphers with ant algorithms. Int. J. Metaheuristics, 3(3): 175-198, 2014.
  27. A. Theneyan and M.B. Menai. Naïve Bayes classifiers for authorship attribution of Arabic texts. Journal of King Saud University - Computer and Information Sciences (Elsevier), 26(4): 473–484, 2014, DOI: 10.1016/j.jksuci.2014.06.006.
  28. N. Altwaijry and M.B. Menai. A swarm random walk based method for the standard cell placement problem. Mathematical Problems in Engineering, Volume 2014, Article ID 461062, 11 pages, http://dx.doi.org/10.1155/2014/461062.
  29. M.B. Menai and N. Altayash. Differential Diagnosis of Erythemato-Squamous Diseases Using Ensemble of Decision Trees. In Proceedings of the 27th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2014), pages 369-377, Kaohsiung, Taiwan, June 3-6, 2014.
  30. S. Al-Muhaideb and M.B. Menai. HColonies: a new hybrid metaheuristic for medical data classification. Applied Intelligence (Springer), 41(1): 282-298, 2014.
  31. S. Al-Muhaideb and M.B. Menai. A new hybrid metaheuristic for medical data classification. Int. J. Metaheuristics, 3(1): 59-80, 2014.
  32. M.B. Menai. Word sense disambiguation using an evolutionary approach. Informatica, 38:155-169, 2014.
  33. N. Altwaijry and M. B. Menai. A swarm random walk algorithm for global continuous optimization. In J.-S. Pan et al. (eds.), Advances in Intelligent and Soft Computing (Springer), vol. 238, pages 33-43, 2014.
  34. N. Altwaijry and M. B. Menai. Artificial Bee Colony for the Standard Cell Placement problem. Int. J. Metaheuristics, 2(3): 234-255, 2013, DOI: 10.1504/IJMHEUR.2013.056402
  35. N. Altwaijry and M. B. Menai. A swarm random walk algorithm for global continuous optimization. In Proceedings of the Seventh International Conference on Genetic and Evolutionary Computing (ICGEC 2013), Prague, Czech Republic, Aug. 25-27, 2013.
  36. M. B. Menai and T. N. Al-Yahya. Influence of CNF encodings of AtMost-1 constraints on UNSAT-based PMSAT solvers. Informatica, 37(3): 245-251, 2013.
  37. M. B. Menai and T. N. Al-Yahya. Towards a Competitive Exact Solver for Partial MaxSAT. Information Journal, 16(6B): 4345-4356, June 2013.
  38. M. B. Menai and T. N. Al-Yahya. A taxonomy of exact methods for Partial Max-SAT problem. Journal of Computer Science and Technology (Springer), 28(2): 232-246, Springer, Mar. 2013.
  39. M. B. Menai, F. Mohder, and F. Almutairi. Influence of feature selection on naïve Bayes classifier for recognizing patterns in cardiotocograms. Journal of Medical and Bioengineering, 2(1): 66-70, Mar. 2013.
  40. M. B. Menai, F. Mohder, and F. Almutairi. Influence of feature selection on naïve Bayes classifier for recognizing patterns in cardiotocograms. The 2nd International Conference on Medical Information and Bioengineering (ICMIB 2013), Bali Island, Indonesia, March 16-17, 2013.
  41. T. Mekhaznia, M. B. Menai, and A. Zidani. Nature inspired heuristics for cryptanalysis of Feistel Ciphers. In Proceedings of the International Conference on Information Systems and Technologies (ICIST 2013), Morocco, Tangier, Mar. 2013.
  42. S. Al-Muhaideb and M.B. Menai. Hybrid metaheuristics for medical data classification. In E.-G Talbi (ed.), "Hybrid Metaheuristics", Studies in Computational Intelligence Series 434,  pages 187-217, Springer Berlin Heidelberg, DOI: 10.1007/978-3-642-30671-6_7, 2013.
  43. M.B. Menai. Detection of plagiarism in Arabic documents. International Journal of Information Technology and Computer Science, 4(10), pages 80-89, MECS Publisher, DOI: 10.5815/ijitcs.2012.10.10, 2012.
  44. T. Mekhaznia, M. B. Menai, and A. Zidani. Group particle swarm optimization for the cryptanalysis of classical ciphers. In Proceedings of the International Conference on Metaheuristics and Nature Inspired Computing (META'12), Hammamet, Tunisia, Oct. 27-Nov. 1, 2012.
  45. M. B. Menai and W. Alsaeedan. Genetic algorithm for Arabic word sense disambiguation. In Proceedings of the 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2012), pages 195-200, Kyoto, Japan, August 8-10, 2012.
  46. H. M. Alshamlan and M. B. Menai. Solving shortest Hamiltonian path problem using DNA computing. In Proceedings of the 7th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2012), Venice, Italy, pages 76-82, June 24-29, 2012.
  47. T. Mekhaznia, M. B. Menai, and A. Zidani. Méta-heuristiques pour la cryptanalyse des chiffrements par substitution et transposition (in French). In Proceedings of the 2nd International Conference on Information Systems and Technologies (ICIST 2012), Sousse, Tunisia, Mar. 24-26, 2012.
  48. N. Altwaijry and M.B. Menai. Data structures in multi-objective evolutionary algorithms. Journal of Computer Science and Technology (Springer), 27(6): 1197-1210, Nov. 2012, DOI: 10.1007/s11390-012-1296-y.
  49. M.B. Menai and M. Bagais. APlag: A plagiarism checker for Arabic texts. In Proceedings of the 6th IEEE International Conference on Computer Science and Education (ICCSE'11), Singapore, pages 1379-1383, 2011.
  50. S. Al-Muhaideb and M.B. Menai. Evolutionary computation approaches to the Curriculum Sequencing problem. Natural Computing (Springer), 10(2), pages 891-920, DOI: 10.1007/s11047-010-9246-5, 2011.
  51. M.B. Menai and N. Al-Hassoun. Similarity Detection in Java Programming Assignments. In Proceedings of the 5th IEEE International Conference on Computer Science and Education (ICCSE'10), Hefei, China, pages 356-361, 2010.
  52. T. Mekhaznia, M.B. Menai, and A. Zidani. Cryptanalysis of ciphertext substitution using ACO algorithms. In Proceedings of the International Congress on Models, Optimization and Security of Systems (ICMOSS’2010), Tiaret, Algeria, pages 3-10, 2010.
  53. M.B. Menai. A Logic-Based Approach to Solve the Steiner Tree Problem. In IFIP International Federation for Information Processing, Volume 296; Artificial Intelligence Applications and Innovations III, Eds, Iliadis, L., Vlahavas, I., Bramer, M.; (Boston: Springer), 73-79, 2009. 
  54. M.B. Menaï and M. Batouche. An Effective Heuristic Search Algorithm for the Maximum Satisfiability Problem. Applied Intelligence (Springer), 24(3): 225-237,  2006.
  55. M.B. Menaï. Algorithme de recherche heuristique pour le problème de l'arbre de Steiner.In Proceedings of the International Conference on Metaheuristics (META'06), Hammamet, Tunisia, 2006 (article in French).
  56. M.B. Menaï and M. Batouche. A Backbone-Based Co-Evolutionary Heuristic for Partial MaxSAT. In Proceedings of the 7th International Conference on Artificial Evolution (AE 2005), LNCS 3871, Springer-Verlag, pages 155-166, Lille, France, 2005.
  57. M.B. Menaï. A Two-Phase Backbone-Based Search Heuristic for Partial MaxSAT -- An Initial Investigation. In Proceedings of the 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2005), LNAI 3533, Springer-Verlag, pages 681-684, Bari, Italy, 2005.
  58. M.B. Menaï and M. Batouche. Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm. International Arab Journal of Information Technology, 2(2):155-162, 2005.
  59. M.B. Menaï and M. Batouche.Adaptation de la Dynamique des Systèmes Auto-organisés à la Résolution du Problème de Satisfaisabilité Maximale de Formules Propositionnelles, Sciences et Technologie, B(22): 47-53, 2004 (article in French).
  60. M.B. Menaï. Solution Reuse in Partial MaxSAT problem. In Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI 2004), pages 481-486, Las Vegas, Nevada, USA, 2004.
  61. M.B. Menaï. An Evolutionary Local Search Method for Incremental Satisfiability. In Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2004), LNAI 3249, Springer, pages 143-156, Linz, Austria, 2004.
  62. M.B. Menaï. A New Bose-Einstein Extremal Optimization Method for the Satisfiability Domain. In Proceedings of the IEEE International Conference on Artificial Intelligence and Systems (AIS 2004). (invited article), Divnomorskoye, Black Sea Coast, Russia, 2004.
  63. M.B. Menaï and M. Batouche. A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiability. In Proceedings of the International Conference on Artificial Intelligence (IC-AI 2003), volume 1, pages 257-262, Las Vegas, Nevada, USA, 2003.
  64. M.B. Menaï and M. Batouche. Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MaxSAT Problem. In Proceedings of the 16th International  Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2003).  (Best Paper Award), LNAI 2718, Springer-Verlag, pages 592-603, Loughborough, UK, 2003.
  65. M.B. Menaï and M. Batouche. EO for MaxSAT. In Proceedings of the International Conference on Artificial Intelligence (IC-AI 2002), volume 3, pages 954-958, Las Vegas, Nevada, USA 2002. IC-AI 2002