| 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 | 240 | 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, 389-400, 2009 | 196 | 2009 |
| 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 | 34 | 2020 |
| Using structural similarity for clustering XML documents A Aïtelhadj, M Boughanem, M Mezghiche, F Souam Knowledge and Information Systems 32, 109-139, 2012 | 22 | 2012 |
| 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 | 14 | 2011 |
| Une nouvelle Cβ-réduction dans la logique combinatoire M Mezghiche Theoretical Computer Science 31 (1-2), 151-163, 1984 | 14 | 1984 |
| Evaluation of e-government information systems agility in the perspective of sustainability S Aggoune, R Imache, A Khadraoui, M Mezghiche Electronic Government and the Information Systems Perspective: Second …, 2011 | 13 | 2011 |
| Multi-agent medical image segmentation: A survey MT Bennai, Z Guessoum, S Mazouzi, S Cormier, M Mezghiche Computer Methods and Programs in Biomedicine 232, 107444, 2023 | 11 | 2023 |
| Classification de structures arborescentes: Cas de documents XML A Aïtelhadj, M Mezghiche, F Souam CORIA 2009, 301-317, 2009 | 11 | 2009 |
| On pseudo-cβnormal form in combinatory logic M Mezghiche Theoretical computer science 66 (3), 323-331, 1989 | 11 | 1989 |
| 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 | 9 | 2014 |
| A formal verification of safe update point detection in dynamic software updating R Lounas, N Jafri, A Legay, M Mezghiche, JL Lanet Risks and Security of Internet and Systems: 11th International Conference …, 2017 | 8 | 2017 |
| Reverse engineering a Java Card memory management algorithm A Mesbah, JL Lanet, M Mezghiche computers & security 66, 97-114, 2017 | 7 | 2017 |
| Towards a generic Multi-agent approach for medical image segmentation MT Bennai, Z Guessoum, S Mazouzi, S Cormier, M Mezghiche PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th …, 2017 | 7 | 2017 |
| 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 |
| Integrating a formal development for DSLs into meta-modeling S Djeddai, M Strecker, M Mezghiche Model and Data Engineering: 2nd International Conference, MEDI 2012 …, 2012 | 7 | 2012 |
| 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 |
| Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM A Mesbah, JL Lanet, M Mezghiche International Journal of Information Security 18, 85-100, 2019 | 5 | 2019 |
| 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 |
| 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 |
