Mohamed Mezghiche - Citegraph

Author Info

Name	Affiliation	Papers
MOHAMED MEZGHICHE	INST NATL INFORMAT,BP 531,TIZI OUZOU,ALGERIA	33
Collaborators	Citations	PageRank
37	25	11.68
Referers	Referees	References
68	494	237

Search Limit

100494

Publications (33 rows)

Collaborators (37 rows)

Referers (68 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Hiding a fault enabled virus through code construction	0	0.34	2020
A Cooperative Approach Based on Local Detection of Similarities and Discontinuities for Brain MR Images Segmentation.	0	0.34	2020
A Stochastic Multi-Agent Approach For Medical-Image Segmentation: Application To Tumor Segmentation In Brain Mr Images	2	0.38	2020
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM	0	0.34	2019
A New Aomdv Lifetime Prolonging Routing Algorithm For Ad-Hoc Networks	0	0.34	2019
Formal methods in dynamic software updating: a survey.	1	0.37	2019
Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application.	0	0.34	2018
A formal verification of dynamic updating in a Java-based embedded system.	0	0.34	2017
Rethinking of I/O-automata composition	0	0.34	2017
Reverse engineering a Java Card memory management algorithm.	3	0.42	2017
Towards A Generic Multi-Agent Approach For Medical Image Segmentation	0	0.34	2017
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.	0	0.34	2016
The Hell Forgery - Self Modifying Codes Shoot Again.	0	0.34	2016
An Approach for Formal Verification of Updated Java Bytecode Programs.	1	0.35	2015
A distance based approach for link analysis in XML information retrieval.	0	0.34	2015
Evidential-Link-based Approach for Re-ranking XML Retrieval Results.	0	0.34	2014
Searching XML Element Using Terms Propagation Method.	0	0.34	2014
A Mobile Multi Agent System for Routing in Adhoc Network.	0	0.34	2014
Formal Verification Of A Proof Procedure For The Description Logic A L C	0	0.34	2013
Towards A General Framework For Formal Reasoning About Java Bytecode Transformation	2	0.38	2013
Using structural similarity for clustering XML documents	7	0.43	2012
A Case Study in Combining Formal Verification and Model-Driven Engineering.	1	0.36	2012
Integrating a Formal Development for DSLs into Meta-Modeling.	2	0.42	2012
Evaluation of e-government information systems agility in the perspective of sustainability	1	0.35	2011
A Distributed Intrusion Detection Model Based on a Society of Intelligent Mobile Agents for Ad Hoc Network	3	0.40	2011
Evaluative Framewok for the Measurement of Egovernment Information Systems Agility.	0	0.34	2011
Investigation of e-Government Information Systems Agility .	1	0.38	2010
Prise en compte des liens pour améliorer la recherche d'information structurée	0	0.34	2009
RI structurée, RI et XML, RI précise.	1	0.35	2009
Another Implementation Technique for Functional Programming Languages	0	0.34	2003
c-beta-Machine with lambda-beta-Reduction	0	0.34	1997
On Pseudo-C-Beta Normal-Form In Combinatory-Logic	0	0.34	1989
Une Nouvelle C beta-Réduction dans la Logique Combinatoire	0	0.34	1984