| Bi-objective ant colony optimization approach to optimize production and maintenance scheduling A Berrichi, F Yalaoui, L Amodeo, M Mezghiche Computers & Operations Research 37 (9), 1584-1596, 2010 | 209 | 2010 |
| Bi-objective optimization algorithms for joint production and maintenance scheduling: application to the parallel machine problem A Berrichi, L Amodeo, F Yalaoui, E Châtelet, M Mezghiche Journal of Intelligent Manufacturing 20 (4), 389-400, 2009 | 171 | 2009 |
| Using structural similarity for clustering XML documents A Aïtelhadj, M Boughanem, M Mezghiche, F Souam Knowledge and Information Systems 32 (1), 109-139, 2012 | 25 | 2012 |
| A stochastic multi-agent approach for medical-image segmentation: application to tumor segmentation in brain MR images MT Bennai, Z Guessoum, S Mazouzi, S Cormier, M Mezghiche Artificial Intelligence in Medicine 110, 101980, 2020 | 15 | 2020 |
| Une nouvelle Cβ-réduction dans la logique combinatoire M Mezghiche Theoretical Computer Science 31 (1-2), 151-163, 1984 | 14 | 1984 |
| A distributed intrusion detection model based on a society of intelligent mobile agents for ad hoc network G Bourkache, M Mezghiche, K Tamine 2011 Sixth International Conference on Availability, Reliability and …, 2011 | 13 | 2011 |
| A new robust heuristic for assigning substrate network resources to virtual networks S Kareche, S Ductor, Z Guessoum, M Mezghiche 2014 International Conference on Advanced Networking Distributed Systems and …, 2014 | 10 | 2014 |
| On pseudo-cβnormal form in combinatory logic M Mezghiche Theoretical computer science 66 (3), 323-331, 1989 | 10 | 1989 |
| Classification de structures arborescentes: Cas de documents XML A Aïtelhadj, M Mezghiche, F Souam CORIA 2009, 301-317, 2009 | 9 | 2009 |
| Towards a general framework for formal reasoning about java bytecode transformation R Lounas, M Mezghiche, JL Lanet arXiv preprint arXiv:1307.8212, 2013 | 7 | 2013 |
| Evaluation of e-government information systems agility in the perspective of sustainability S Aggoune, R Imache, A Khadraoui, M Mezghiche International Conference on Electronic Government and the Information …, 2011 | 7 | 2011 |
| Evaluation of e-government information systems agility in the perspective of sustainability S Aggoune, R Imache, A Khadraoui, M Mezghiche International Conference on Electronic Government and the Information …, 2011 | 7 | 2011 |
| Reverse engineering a Java Card memory management algorithm A Mesbah, JL Lanet, M Mezghiche computers & security 66, 97-114, 2017 | 6 | 2017 |
| An approach for formal verification of updated java bytecode programs R Lounas, M Mezghiche, JL Lanet 9th International Workshop on Verification and Evaluation of Computer and …, 2015 | 6 | 2015 |
| Integrating a formal development for DSLs into meta-modeling S Djeddai, M Strecker, M Mezghiche International Conference on Model and Data Engineering, 55-66, 2012 | 6 | 2012 |
| A formal verification of dynamic updating in a Java-based embedded system R Lounas, M Mezghiche, JL Lanet International Journal of Critical Computer-Based Systems 7 (4), 303-340, 2017 | 5 | 2017 |
| A formal verification of safe update point detection in dynamic software updating R Lounas, N Jafri, A Legay, M Mezghiche, JL Lanet International Conference on Risks and Security of Internet and Systems, 31-45, 2016 | 5 | 2016 |
| Vérification d’une méthode de preuve pour la logique de description ALC M Chaabani, M Mezghiche, M Strecker Proc. 10eme Journées Approches Formelles dans l’Assistance au Développement …, 2010 | 5 | 2010 |
| cβ-machine with λβ-reduction M Mezghiche Theoretical computer science 189 (1-2), 221-228, 1997 | 5 | 1997 |
| cβ-machine with λβ-reduction M Mezghiche Theoretical computer science 189 (1-2), 221-228, 1997 | 5 | 1997 |
