穆罕默德·梅兹吉奇
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元17年] 穆罕默德·塔哈尔·本奈 , 扎希亚·格索姆 , 斯梅恩·马祖兹 , 圣埃芬·科尔米尔 , 穆罕默德·梅兹吉奇 :
多智能体医学图像分割:综述。 计算。 方法生物识别程序。 232 : 107444 ( 2023 ) 2020 [公元16年] 穆罕默德·塔哈尔·本奈 , 扎希亚·格索姆 , 斯梅恩·马祖兹 , 圣埃芬·科尔米尔 , 穆罕默德·梅兹吉奇 :
医学图像分割的随机多智能体方法:应用于脑MR图像中的肿瘤分割。 Artif公司。 智力。 医学 110 : 101980 ( 2020 ) [公元15年] 穆罕默德·塔哈尔·本奈 , 斯梅恩·马祖兹 , 扎希亚·格索姆 , 穆罕默德·梅兹吉奇 , 圣埃芬·科尔米尔 :
一种基于局部相似性和不连续性检测的脑MR图像分割协同方法。 医学系统杂志。 44 ( 9 ) : 145 ( 2020 ) [公元14年] 萨米亚·哈马杜奇 , Jean-Louis Lanet女士 , 穆罕默德·梅兹吉奇 :
通过代码构造隐藏启用故障的病毒。 J.计算。 维罗尔。 黑客技术。 16 ( 2 ) : 103-124 ( 2020 )
2010 – 2019
2019 [j13] 拉齐卡·卢纳斯 , 穆罕默德·梅兹吉奇 , Jean-Louis Lanet女士 :
动态软件更新中的形式化方法:综述。 国际期刊临界计算。 基于系统。 9 ( 1/2 ) : 76-114 ( 2019 ) [公元12年] 阿卜杜勒哈克·梅斯巴 , Jean-Louis Lanet女士 , 穆罕默德·梅兹吉奇 :
Java卡逆向工程和漏洞利用:ROM的捷径。 国际J.Inf.Sec。 18 ( 1 ) : 85-100 ( 2019 ) [公元11年] 伊布蒂埃尔·巴达里 , 穆罕默德·阿明·里亚拉 , 穆罕默德·梅兹吉奇 :
一种新的Ad-Hoc网络AOMDV寿命延长路由算法。 国际磁盘间。 电信通信。 Netw公司。 11 ( 4 ) : 48-62 ( 2019 ) 2018 [公元10年] Yahiaoui Chahrazed公司 , Jean-Louis Lanet女士 , 穆罕默德·梅兹吉奇 , 卡里姆·塔明 :
机器学习技术,用于预测Java Card应用程序中对故障攻击的敏感模式。 J.实验理论。 Artif公司。 智力。 30 ( 1 ) : 101-127 ( 2018 ) 【c21】 谢赫·萨尔米 , 穆罕默德·查巴尼 , 穆罕默德·梅兹吉奇 :
Isabelle/HOL Proof Assistant中数据库水平分段的形式化过程。 媒体 2018 : 346-353 2017 [公元9年] 阿卜杜勒哈克·梅斯巴 , Jean-Louis Lanet女士 , 穆罕默德·梅兹吉奇 :
对Java卡内存管理算法进行反向工程。 计算。 安全。 66 : 97-114 ( 2017 ) [j8] 拉齐卡·卢纳斯 , 穆罕默德·梅兹吉奇 , Jean-Louis Lanet女士 :
基于Java的嵌入式系统中动态更新的形式验证。 国际期刊临界计算。 基于系统。 7 ( 4 ) : 303-340 ( 2017 ) [公元20年] 莎拉·查班 , 拉贝娅·阿穆尔·布利法 , 穆罕默德·梅兹吉奇 :
重新思考I/O自动机组合。 FDL公司 2017 : 1-7 [第19条] 穆罕默德·塔哈尔·本奈 , 扎希亚·格索姆 , 斯梅恩·马祖兹 , 圣埃芬·科尔米尔 , 穆罕默德·梅兹吉奇 :
面向医学图像分割的通用多代理方法。 主要的 2017 : 198-211 2016 [第18条] 阿卜杜勒哈克·梅斯巴 , 利奥·雷诺德 , Jean-Louis Lanet女士 , 穆罕默德·梅兹吉奇 :
地狱伪造——自我修改代码再次爆发。 卡迪斯 2016 : 105-121 [第17条] 拉齐卡·卢纳斯 , 尼斯琳·贾弗里 , Axel Legay公司 , 穆罕默德·梅兹吉奇 , Jean-Louis Lanet女士 :
动态软件更新中安全更新点检测的形式化验证。 CRiSIS公司 2016 : 31-45 2015 [j7] 姆哈梅德·马塔乌伊 , 穆罕默德·梅兹吉奇 :
XML信息检索中基于距离的链接分析方法。 计算。 系统。 科学。 工程师。 30 ( 三 ) ( 2015 ) [第16条] 拉齐卡·卢纳斯 , 穆罕默德·梅兹吉奇 , 让-路易·拉内 :
一种更新Java字节码程序的形式验证方法。 VECoS公司 2015 : 51-64 2014 [j6] 塞尔马·杰代伊 , 马丁·斯特雷克 , 穆罕默德·梅兹吉奇 :
将DSL的正式开发集成到元建模中。 J.Data Semant公司。 三 ( 三 ) : 143-155 ( 2014 ) [第15条] 姆哈梅德·马塔乌伊 , 穆罕默德·梅兹吉奇 , Faouzi Sebbak公司 , 法里德·本哈迈迪 :
基于证据链接的XML检索结果重分类方法。 数据 2014 : 64-71 [c14] 萨米娅·贝奇切·费拉格 , 穆罕默德·梅兹吉奇 :
使用术语传播方法搜索XML元素。 ISMIS系统 2014 : 395-404 [第13条] 穆罕默德·阿明·里亚拉(Mohamed Amine Riahla) , 卡里姆·塔明 , A.米夫达尔 , 穆罕默德·梅兹吉奇 :
用于Adhoc网络路由的移动多代理系统。 PECCS公司 2014 : 31-39 2012 [j5] 阿里·阿泰尔哈德 , 莫汉德·布加纳姆 , 穆罕默德·梅兹吉奇 , Fatiha Souam公司 :
使用结构相似性对XML文档进行聚类。 知识。 信息系统。 32 ( 1 ) : 109-139 ( 2012 ) [第12条] 塞尔马·杰代伊 , 穆罕默德·梅兹吉奇 , 马丁·斯特雷克 :
将验证和MDE结合在一起,通过正式的Java开发进行说明。 ICTERI(修订论文集) 2012 : 131-148 [第11条] 塞尔马·杰代伊 , 穆罕默德·梅兹吉奇 , 马丁·斯特雷克 :
形式验证与模型驱动工程相结合的案例研究。 ICTERI公司 2012 : 275-289 [第10条] 塞尔马·杰代伊 , 马丁·斯特雷克 , 穆罕默德·梅兹吉奇 :
将DSL的正式开发集成到元建模中。 媒体 2012 : 55-66 【c9】 穆罕默德·查巴尼 , 穆罕默德·梅兹吉奇 , 马丁·斯特雷克 :
描述逻辑ALC证明程序的正式验证。 SCSS系统 2012 : 51-61 【c8】 拉齐卡·卢纳斯 , 穆罕默德·梅兹吉奇 , Jean-Louis Lanet女士 :
关于Java字节码转换的形式推理通用框架。 SCSS系统 2012 : 63-73 2011 【c7】 Ghenima Bourkache公司 , 穆罕默德·梅兹吉奇 , 卡里姆·塔明 :
基于智能移动代理协会的Ad Hoc网络分布式入侵检测模型。 ARES公司 2011 : 569-572 【c6】 苏米亚·阿古恩 , 拉巴·伊马奇 , 阿卜杜拉齐兹·卡德拉乌伊 , 穆罕默德·梅兹吉奇 :
电子政务信息系统敏捷性评估框架。 CIIA公司 2011 【c5】 苏米亚·阿古恩 , 拉巴·伊马奇 , 阿卜杜拉齐兹·卡德拉乌伊 , 穆罕默德·梅兹吉奇 :
从可持续性角度评估电子政务信息系统的敏捷性。 埃及 2011 : 315-329 2010 【c4】 苏米亚·阿古恩 , 拉巴·伊马奇 , 穆罕默德·梅兹吉奇 , 阿卜杜拉齐兹·卡德拉乌伊 :
电子政务信息系统敏捷性调查。 KMIS公司 2010 : 311-314
2000 – 2009
1990 – 1999
1997 【j4】 穆罕默德·梅兹吉奇 :
c-beta-带lambda-beta-减少的机器。 理论。 计算。 科学。 189 ( 1-2 ) : 221-228 ( 1997 ) 1991 [j3] 穆罕默德·梅兹吉奇 :
lambda-Calculus模型中类型赋值的弱完备性:Hindley结果的推广。 理论。 计算。 科学。 87 ( 1 ) : 203-208 ( 1991 )
1980 – 1989
1989 [注2] 穆罕默德·梅兹吉奇 :
组合逻辑中的伪c-贝塔范式。 理论。 计算。 科学。 66 ( 三 ) : 323-331 ( 1989 ) 1984 [j1] 穆罕默德·梅兹吉奇 :
Une Novelle C beta-Réduction dans la Logique Combinatoire公司。 理论。 计算。 科学。 31 : 151-163 ( 1984 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)