| A new binary grasshopper optimization algorithm for feature selection problem H Hichem, M Elkamel, M Rafik, MT Mesaaoud, C Ouahiba Journal of King Saud University-Computer and Information Sciences 34 (2 …, 2022 | 152 | 2022 |
| PSO with crossover operator applied to feature selection problem in classification H Hichem, M Rafik, MT Mesaaoud Informatica 42 (2), 2018 | 12 | 2018 |
| DD-LOTOS: A distributed real time language TM Maarouk, DE Saïdouni, M Khergag Proceedings 2nd Annual International Conference on Advances in Distributed …, 2011 | 12 | 2011 |
| Towards a Calculus for Distributed, Real-Time and Mobile Systems. TM Maarouk, DE Saïdouni, M Khergag J. Softw. 7 (3), 564-574, 2012 | 10 | 2012 |
| Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. TM Maarouk, MEH SOUIDI Nadia HOGGAS Computing & Informatics 40 (5), 2021 | 6 | 2021 |
| Formal semantics and transformation of BPMN models TM Maarouk, E Merah, S Ghaoui, N Rahabi International Journal of Business Process Integration and Management 9 (3 …, 2019 | 6 | 2019 |
| High-utility itemsets mining integrating an improved crow search algorithm and particle search optimization M Ledmi, A Ledmi, MEH Souidi, A Hamdi-Cherif, TM Maarouk, ... Soft Computing 28 (13-14), 8471-8496, 2024 | 5 | 2024 |
| Multi-pursuer multi-evader games based on dynamic elimination priorities of the dominated strategies MEH Souidi, TM Maarouk, M Ledmi, A Ledmi, H Rahab Journal of Computer and Systems Sciences International 62 (2), 398-411, 2023 | 4 | 2023 |
| A discrete particle swarm optimization coalition formation algorithm for multi-pursuer multi-evader game MEH Souidi, H Haouassi, M Ledmi, TM Maarouk, A Ledmi Journal of Intelligent & Fuzzy Systems 44 (1), 757-773, 2023 | 4 | 2023 |
| Interpretation of DD-LOTOS specification by C-data MT Messaoud, SD Eddine, M Rafik, H Hichem East European Conference on Advances in Databases and Information Systems …, 2015 | 4 | 2015 |
| Multi-Agent Dynamic Leader-Follower Path Planning Applied to the Multi-Pursuer Multi-Evader Game MEH Souidi, M Ledmi, TM Maarouk, A Siam, A Ledmi Computing and Informatics 42 (5), 1158–1183-1158–1183, 2023 | 3 | 2023 |
| Multi-agent Ludo Game Collaborative Path Planning based on Markov Decision Process MEH Souidi, TM Maarouk, A Ledmi Inventive Systems and Control: Proceedings of ICISC 2021, 37-51, 2021 | 3 | 2021 |
| Real-time Semantic Healthcare System: Visual Risks Identification for Elders and Children M Belkebir, TM Maarouk, B Nini Informatica 48 (14), 2024 | 2 | 2024 |
| Formalization of BPMN Gateways using the DD-LOTOS Formal Language TM Maarouk, M El Habib Souidi, M Ledmi, S Sabeg Journal of Communications Software and Systems 19 (4), 254-263, 2023 | 2 | 2023 |
| Formal Specification and Verification for Organization-based systems: A Survey S Sabeg, TM Maarouk, MEH Souidi 2022 4th International Conference on Pattern Analysis and Intelligent …, 2022 | 2 | 2022 |
| Integrating Ontology with Imaging and Artificial Vision for a High-Level Semantic: A Review M Belkebir, TM Maarouk, B Nini International Conference on Emerging Technologies and Intelligent Systems, 32-41, 2022 | 2 | 2022 |
| Modèles formels pour la conception des systèmes temps réel TM Maarouk thèse de Doctorat. Laboratoire MISC, Constantine, Algérie, 2012 | 2 | 2012 |
| A New Formal Multi-Agent Organization Based on the DD-LOTOS Language S Sabeg, TM MAAROUK, MELH SOUIDI Journal of Information Science and Engineering 40 (6), 1273-1295, 2024 | 1 | 2024 |
| IMAP-QL: an improved multi-agent pursuit path-planning based on Q-learning MEH Souidi, M Ledmi, TM Maarouk, A Ledmi, F Laassami International Journal of Systems, Control and Communications 15 (2), 159-178, 2024 | 1 | 2024 |
| Multi-layer consistency validation of iot systems with uml inheritance dynamic diagrams via spin model checking N Messaoudi, H Hicham, TM Maarouk, HM Elkamel Ingenierie des Systemes d'Information 28 (6), 1533, 2023 | 1 | 2023 |
Mohammed El Habib SouidiDocteur en informatique (HDR), Université de KhenchelaVerified email at univ-khenchela.dz
