Une Nouvelle C beta-Réduction dans la Logique Combinatoire. - Mohamed Mezghiche (Theor. Comput. Sci., 1984)

On Pseudo-c-beta-Normal Form in Combinatory Logic. - Mohamed Mezghiche (Theor. Comput. Sci., 1989)

Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley's Result. - Mohamed Mezghiche (Theor. Comput. Sci., 1991)

c-beta-Machine with lambda-beta-Reduction. - Mohamed Mezghiche (Theor. Comput. Sci., 1997)

Another Implementation Technique for Functional Programming Languages. - Rabéa Boulifa; Mohamed Mezghiche (JFLA, 2003)

RI structurée, RI et XML, RI précise. - Ali Aïtelhadj; Mohamed Mezghiche; Fatiha Souam (CORIA, 2009)

Prise en compte des liens pour améliorer la recherche d'information structurée. - M'hamed Mataoui; Mohamed Mezghiche (CORIA, 2009)

Investigation of e-Government Information Systems Agility . - Soumia Aggoune; Rabah Imache; Mohamed Mezghiche; Abdelaziz Khadraoui (KMIS, 2010)

A Distributed Intrusion Detection Model Based on a Society of Intelligent Mobile Agents for Ad Hoc Network. - Ghenima Bourkache; Mohamed Mezghiche; Karim Tamine (ARES, 2011)

Evaluative Framewok for the Measurement of Egovernment Information Systems Agility. - Soumia Aggoune; Rabah Imache; Abdelaziz Khadraoui; Mohamed Mezghiche (CIIA, 2011)

Evaluation of e-Government Information Systems Agility in the Perspective of Sustainability. - Soumia Aggoune; Rabah Imache; Abdelaziz Khadraoui; Mohamed Mezghiche (EGOVIS, 2011)

A Case Study in Combining Formal Verification and Model-Driven Engineering. - Selma Djeddai; Mohamed Mezghiche; Martin Strecker (ICTERI, 2012)

Combining Verification and MDE Illustrated by a Formal Java Development. - Selma Djeddai; Mohamed Mezghiche; Martin Strecker (ICTERI (Revised Selected Papers), 2012)

Formal verification of a proof procedure for the description logic ALC. - Mohamed Chaabani; Mohamed Mezghiche; Martin Strecker (SCSS, 2012)

Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (SCSS, 2012)

Using structural similarity for clustering XML documents. - Ali Aïtelhadj; Mohand Boughanem; Mohamed Mezghiche; Fatiha Souam (Knowl. Inf. Syst., 2012)

Evidential-Link-based Approach for Re-ranking XML Retrieval Results. - M'hamed Mataoui; Mohamed Mezghiche; Faouzi Sebbak; Farid Benhammadi (DATA, 2014)

Searching XML Element Using Terms Propagation Method. - Samia Berchiche-Fellag; Mohamed Mezghiche (ISMIS, 2014)

A Mobile Multi Agent System for Routing in Adhoc Network. - Mohamed Amine Riahla; Karim Tamine; A. Mifdal; Mohamed Mezghiche (PECCS, 2014)

Integrating a Formal Development for DSLs into Meta-Modeling. - Selma Djeddai; Martin Strecker; Mohamed Mezghiche (J. Data Semant., 2014)

An Approach for Formal Verification of Updated Java Bytecode Programs. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (VECoS, 2015)

A distance based approach for link analysis in XML information retrieval. - M'hamed Mataoui; Mohamed Mezghiche (Comput. Syst. Sci. Eng., 2015)

The Hell Forgery - Self Modifying Codes Shoot Again. - Abdelhak Mesbah; Leo Regnaud; Jean-Louis Lanet; Mohamed Mezghiche (CARDIS, 2016)

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. - Razika Lounas; Nisrine Jafri; Axel Legay; Mohamed Mezghiche; Jean-Louis Lanet (CRiSIS, 2016)

Rethinking of I/O-automata composition. - Sarah Chabane; Rabéa Ameur-Boulifa; Mohamed Mezghiche (FDL, 2017)

Towards a Generic Multi-agent Approach for Medical Image Segmentation. - Mohamed Tahar Bennai; Zahia Guessoum; Smaine Mazouzi; Stéphane Cormier; Mohamed Mezghiche (PRIMA, 2017)

Reverse engineering a Java Card memory management algorithm. - Abdelhak Mesbah; Jean-Louis Lanet; Mohamed Mezghiche (Comput. Secur., 2017)

A formal verification of dynamic updating in a Java-based embedded system. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (Int. J. Crit. Comput. Based Syst., 2017)

A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. - Cheikh Salmi; Mohamed Chaabani; Mohamed Mezghiche (MEDI, 2018)

Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application. - Yahiaoui Chahrazed; Jean-Louis Lanet; Mohamed Mezghiche; Karim Tamine (J. Exp. Theor. Artif. Intell., 2018)

Formal methods in dynamic software updating: a survey. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (Int. J. Crit. Comput. Based Syst., 2019)

Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM. - Abdelhak Mesbah; Jean-Louis Lanet; Mohamed Mezghiche (Int. J. Inf. Sec., 2019)

A New AOMDV Lifetime Prolonging Routing Algorithm for Ad-Hoc Networks. - Ibtihel Baddari; Mohamed Amine Riahla; Mohamed Mezghiche (Int. J. Interdiscip. Telecommun. Netw., 2019)

A stochastic multi-agent approach for medical-image segmentation: Application to tumor segmentation in brain MR images. - Mohamed Tahar Bennai; Zahia Guessoum; Smaine Mazouzi; Stéphane Cormier; Mohamed Mezghiche (Artif. Intell. Medicine, 2020)

A Cooperative Approach Based on Local Detection of Similarities and Discontinuities for Brain MR Images Segmentation. - Mohamed Tahar Bennai; Smaine Mazouzi; Zahia Guessoum; Mohamed Mezghiche; Stéphane Cormier (J. Medical Syst., 2020)

Hiding a fault enabled virus through code construction. - Samiya Hamadouche; Jean-Louis Lanet; Mohamed Mezghiche (J. Comput. Virol. Hacking Tech., 2020)

Multi-agent medical image segmentation: A survey. - Mohamed Tahar Bennai; Zahia Guessoum; Smaine Mazouzi; Stéphane Cormier; Mohamed Mezghiche (Comput. Methods Programs Biomed., 2023)

Formal Verification of Deep Learning Matrix Calculus. - Razika Lounas; Mohamed Mezghiche (CARI, 2024)

Formal Specification and Verification of MQTT Protocol Using CoQ Proof Assistant. - Ibtissem Talamali; Razika Lounas; Mohamed Mezghiche (ICAASE, 2024)