Suivre
Mohamed Mezghiche
Mohamed Mezghiche
Professor of computer science, Boumerdes university Algeria
Adresse e-mail validée de univ-boumerdes.dz
Titre
Citée par
Citée par
Année
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
2332010
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
1882009
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
322020
Using structural similarity for clustering XML documents
A Aïtelhadj, M Boughanem, M Mezghiche, F Souam
Knowledge and Information Systems 32, 109-139, 2012
222012
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
142011
Une nouvelle Cβ-réduction dans la logique combinatoire
M Mezghiche
Theoretical Computer Science 31 (1-2), 151-163, 1984
141984
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
122011
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
122011
On pseudo-cβnormal form in combinatory logic
M Mezghiche
Theoretical computer science 66 (3), 323-331, 1989
111989
Classification de structures arborescentes: Cas de documents XML
A Aïtelhadj, M Mezghiche, F Souam
CORIA 2009, 301-317, 2009
102009
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
92014
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
82023
Reverse engineering a Java Card memory management algorithm
A Mesbah, JL Lanet, M Mezghiche
computers & security 66, 97-114, 2017
72017
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
72017
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
72017
Towards a general framework for formal reasoning about java bytecode transformation
R Lounas, M Mezghiche, JL Lanet
arXiv preprint arXiv:1307.8212, 2013
72013
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
72012
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
62015
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
52019
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
52017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20