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
2092010
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
1712009
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
252012
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
152020
Une nouvelle Cβ-réduction dans la logique combinatoire
M Mezghiche
Theoretical Computer Science 31 (1-2), 151-163, 1984
141984
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
132011
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
102014
On pseudo-cβnormal form in combinatory logic
M Mezghiche
Theoretical computer science 66 (3), 323-331, 1989
101989
Classification de structures arborescentes: Cas de documents XML
A Aïtelhadj, M Mezghiche, F Souam
CORIA 2009, 301-317, 2009
92009
Towards a general framework for formal reasoning about java bytecode transformation
R Lounas, M Mezghiche, JL Lanet
arXiv preprint arXiv:1307.8212, 2013
72013
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
72011
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
72011
Reverse engineering a Java Card memory management algorithm
A Mesbah, JL Lanet, M Mezghiche
computers & security 66, 97-114, 2017
62017
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
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
62012
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
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
52016
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
52010
cβ-machine with λβ-reduction
M Mezghiche
Theoretical computer science 189 (1-2), 221-228, 1997
51997
cβ-machine with λβ-reduction
M Mezghiche
Theoretical computer science 189 (1-2), 221-228, 1997
51997
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20