编辑配置文件（在新选项卡中打开） 穆罕默德·法乌齐（Mohamed Faouzi Atig） 合著者距离 作者ID： 阿提格·莫哈迈德·法奥兹 发布日期： 穆罕默德·法乌齐（Mohamed Faouzi Atig）;穆罕默德·法乌兹·阿提格 已编制索引的文档： 55出版物自2008年起 2作为编辑的贡献 合著者： 58位合著者具有54联合出版物 798合著作者 全部的 前5名合著者 三 单作者的 28 帕罗什·阿齐兹·阿卜杜拉 14 艾哈迈德·博阿贾尼 9 普拉卡什·塞瓦桑 7 K.Narayan Kumar 5 贾里·斯坦曼 4 彼得·哈贝梅尔 4 卡尔·莱昂纳多森 4 Taysir Touili 三 比菲省迪普 三 桑卡拉·纳拉亚南·克里希纳 2 西里亚克·艾斯瓦里亚 2 阿罗尼斯·斯塔夫罗斯 2 贝内迪克特·博利格 2 塞巴斯蒂安·伯克哈特 2 乔纳森·塞德伯格 2 陈玉芳 2 阿德韦特·阿米特·戈博莱 2 彼得·霍夫曼 2 卢卡什·霍利克 2 本特·琼森 2 理查德·梅尔（Richard M.Mayr）。 2 罗兰·梅耶 2 马丹拉尔·穆苏瓦蒂 2 库马尔·纳拉扬。 2 Ngo、Tuan Phong 2 沙兹·卡迪尔 2 艾哈迈德·雷兹 2 奥思曼·雷津 2 康斯坦蒂诺斯·萨戈纳斯 2 帕特里克·托茨克 1 Raj Aryan阿加瓦尔 1 拉纳德普·比斯瓦斯 1 德米特里五世·奇斯蒂科夫。 1 拉杜·乔巴努 1 维伦达·戴夫 1 乔治·德尔扎诺 1 康斯坦丁·埃纳 1 穆罕默德·埃拉迪 1 皮埃尔·甘蒂 1 胡登庚 1 彼得·扬克 1 艾哈迈特·卡拉 1 卡西拉斯、斯特凡诺斯 1 塞巴斯蒂安·穆斯卡拉 1 Gennaro帕拉托 1 安德烈亚斯·波德尔斯基 1 阿尔贝托·罗斯 1 S.、Krishna 1 萨利希、梅赫迪·塞耶德 1 亚历山大·施瓦兹曼（Alexander A.Schwarzmann）。 1 蔡伟伦 1 维克托·瓦菲亚迪斯 1 Shaan Vaidya 1 吴志林 1 甄子丹 1 拉希德·泽诺 1 乔治·泽采 1 朱云云 全部的 前5名系列 4 计算机科学中的逻辑方法 三 国际计算机科学基础杂志 1 信息学报 1 计算 1 理论计算机科学 1 系统设计中的形式化方法 1 理论计算机科学电子论文集（EPTCS） 领域 57 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 48出版物有被引用250中的次140文件 引用人▼ 年份▼ 关于弱记忆模型的验证问题。 兹比尔1312.68050 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂 18 2010 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 18 2012 多按下自动机的空是2ETIME-complete。 兹比尔1161.68509 穆罕默德·法乌齐（Mohamed Faouzi Atig）;贝内迪克特·博利格;彼得·哈贝梅尔 16 2008 下推系统非循环网络的可达性分析。 Zbl 1160.68451号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 12 2008 动态创建线程的并发程序的上下文分析。 Zbl 1237.68056号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;沙兹·卡迪尔 11 2011 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 11 2017 沿着无上下文轨迹逼近Petri网可达性。 兹比尔1246.68161 穆罕默德·法乌齐（Mohamed Faouzi Atig）;皮埃尔·甘蒂 10 2011 动态创建线程的并发程序的上下文分析。 Zbl 1234.68068号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;沙兹·卡迪尔 9 2009 弱记忆模型的决定因素是什么？ Zbl 1352.68056号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂 9 2012 关于Petri网的Yen路径逻辑。 Zbl 1230.68153号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·哈贝梅尔 7 2011 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷兹 7 2012 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·霍夫曼;理查德·迈尔;K.Narayan Kumar;帕特里克·托茨克 7 2014 无链字符串约束。 Zbl 1437.68131号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;比菲省迪普;卢卡什·霍利克;彼得·扬克 7 2019 有序多推自动机的模型检查。 Zbl 1279.68206号 穆罕默德·法乌兹·阿提格 7 2012 作用域边界下多线程程序的线性时间模型检查。 Zbl 1375.68076号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Narayan Kumar，K。;普拉卡什·塞瓦桑 7 2012 相邻的有序多推送系统。 Zbl 1309.68128号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;K.Narayan Kumar;普拉卡什·塞瓦桑 7 2014 关于Petri网的Yen路径逻辑。 Zbl 1260.68255号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·哈贝梅尔 6 2009 单计数器语言规则抽象的复杂性。 Zbl 1401.68142号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;德米特里·奇斯蒂科夫;彼得·霍夫曼;K.Narayan Kumar;普拉卡什·塞瓦桑;乔治·泽采 6 2016 关于共享内存系统的有界可达性分析。 Zbl 1360.68624号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;K.Narayan Kumar;普拉卡什·塞瓦桑 6 2014 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 5 2012 有序多按钮系统的全局模型检查。 Zbl 1245.68130号 穆罕默德·法乌齐（Mohamed Faouzi Atig） 5 2010 使用动态通信结构验证并行程序。 Zbl 1209.68114号 Taysir Touili;穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 2010 具有间隙顺序约束的下推自动机。 Zbl 1434.68222号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔治·德尔扎诺;安德烈亚斯·波德尔斯基 4 2013 分析具有抢占功能的异步程序。 Zbl 1248.68348号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 4 2008 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;奥思曼·雷津;贾里·斯坦曼 4 2014 可用性语言的决定因素是什么？ Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 从多堆栈自动机到单堆栈自动机。 Zbl 1287.68118号 穆罕默德·法乌齐（Mohamed Faouzi Atig） 三 2010 在TSO下验证并发程序的对偶性的好处。 Zbl 1392.68142号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Ngo、Tuan Phong 三 2016 有序多按钮自动机的空是2ETIME-complete。 Zbl 1387.68129号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;贝内迪克特·博利格;彼得·哈贝梅尔 三 2017 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 三 2015 使用动态通信结构验证并行程序。 Zbl 1248.68138号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Taysir Touili 2 2009 完美的时间沟通很难。 Zbl 1514.68152号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;桑卡拉·纳拉亚南·克里希纳 2 2018 定时Petri网的通用安全是PSPACE完整的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克 2 2018 关于Petri网的向上/向下闭包。 Zbl 1441.68142号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;普拉卡什·塞瓦桑 2 2017 用于总存储顺序的加载缓冲语义。 Zbl 1459.68038号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Ngo、Tuan Phong 2 2018 定时有损信道系统。 兹比尔1354.68163 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2012 在定价的密集时间下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 2 2014 使用SMT-solver分析消息传递程序。 Zbl 1410.68079号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2013 TSO系统的上下文分析。 Zbl 1416.68050号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Gennaro帕拉托 2 2014 具有不可靠通道的数据通信过程。 Zbl 1401.68179号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚，C。;穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2016 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;阿德瓦伊·戈博莱;克里希纳，S。;维克托·瓦菲亚迪斯 1 2021 数据多下推自动机。 Zbl 1442.68076号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚，C。;穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2017 使用嵌套锁验证异步程序。 Zbl 1491.68105号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑 1 2018 用平面抽象解决非子串约束。 Zbl 1520.68068号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 1 2021 多推压系统中的加速。 兹比尔1420.68061 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Narayan Kumar，K。;普拉卡什·塞瓦桑 1 2016 动态寄存器自动机的验证。 Zbl 1360.68575号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈特·卡拉;奥思曼·雷津 1 2014 相邻的有序多推送系统。 Zbl 1381.68045号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Narayan Kumar，K。;普拉卡什·塞瓦桑 1 2013 使用饱和增强顺序一致性检查。 Zbl 1517.68086号 拉希德·泽诺;穆罕默德·法乌齐（Mohamed Faouzi Atig）;拉纳德普·比斯瓦斯;艾哈迈德·博阿贾尼;康斯坦丁·埃纳;穆罕默德·埃拉迪 1 2020 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;阿德瓦伊·戈博莱;克里希纳，S。;维克托·瓦菲亚迪斯 1 2021 用平面抽象解决非子串约束。 兹比尔1520.68068 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 1 2021 使用饱和度增强顺序一致性检查。 Zbl 1517.68086号 拉希德·泽诺;穆罕默德·法乌齐（Mohamed Faouzi Atig）;拉纳德普·比斯瓦斯;艾哈迈德·博阿贾尼;康斯坦丁·埃纳;穆罕默德·埃拉迪 1 2020 无链字符串约束。 Zbl 1437.68131号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;比菲省迪普;卢卡什·霍利克;彼得·扬克 7 2019 完美的时间沟通很难。 Zbl 1514.68152号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;桑卡拉·纳拉亚南·克里希纳 2 2018 定时Petri网的通用安全是PSPACE完整的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克 2 2018 用于总存储顺序的加载缓冲语义。 Zbl 1459.68038号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Ngo、Tuan Phong 2 2018 使用嵌套锁验证异步程序。 Zbl 1491.68105号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑 1 2018 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 11 2017 有序多按钮自动机的空是2ETIME-complete。 Zbl 1387.68129号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;贝内迪克特·博利格;彼得·哈贝梅尔 三 2017 关于Petri网的向上/向下闭包。 兹比尔1441.68142 穆罕默德·法乌齐（Mohamed Faouzi Atig）;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;普拉卡什·塞瓦桑 2 2017 数据多下推自动机。 Zbl 1442.68076号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚，C。;穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2017 单计数器语言规则抽象的复杂性。 Zbl 1401.68142号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;德米特里·奇斯蒂科夫;彼得·霍夫曼;K.Narayan Kumar;普拉卡什·塞瓦桑;乔治·泽采 6 2016 在TSO下验证并发程序的对偶性的好处。 兹比尔1392.68142 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Ngo、Tuan Phong 三 2016 具有不可靠通道的数据通信过程。 Zbl 1401.68179号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚，C。;穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2016 多推压系统中的加速。 Zbl 1420.68061号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Narayan Kumar，K。;普拉卡什·塞瓦桑 1 2016 可用性语言的决定因素是什么？ Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 三 2015 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·霍夫曼;理查德·迈尔;K.Narayan Kumar;帕特里克·托茨克 7 2014 相邻的有序多推送系统。 Zbl 1309.68128号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;K.Narayan Kumar;普拉卡什·塞瓦桑 7 2014 共享内存系统的有界可达性分析。 Zbl 1360.68624号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;K.Narayan Kumar;普拉卡什·塞瓦桑 6 2014 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;奥思曼·雷津;Jari斯坦曼 4 2014 在定价的密集时间下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 2 2014 TSO系统的上下文分析。 Zbl 1416.68050号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Gennaro帕拉托 2 2014 动态寄存器自动机的验证。 兹比尔1360.68575 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈特·卡拉;奥思曼·雷津 1 2014 带有间隙阶约束的下推自动机。 Zbl 1434.68222号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔治·德尔扎诺;安德烈亚斯·波德尔斯基 4 2013 使用SMT-solver分析消息传递程序。 Zbl 1410.68079号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2013 相邻的有序多推送系统。 兹比尔1381.68045 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Narayan Kumar，K。;普拉卡什·塞瓦桑 1 2013 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 18 2012 弱记忆模型的决定因素是什么？ Zbl 1352.68056号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂 9 2012 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷兹 7 2012 有序多推自动机的模型检查。 Zbl 1279.68206号 穆罕默德·法乌兹·阿提格 7 2012 作用域边界下多线程程序的线性时间模型检查。 Zbl 1375.68076号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Narayan Kumar，K。;普拉卡什·塞瓦桑 7 2012 定价定时下推系统中的最小成本可达性问题。 兹比尔1350.68198 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 5 2012 定时有损信道系统。 Zbl 1354.68163号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2012 动态创建线程的并发程序的上下文分析。 兹比尔1237.68056 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;沙兹·卡迪尔 11 2011 沿着无上下文轨迹逼近Petri网可达性。 Zbl 1246.68161号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;皮埃尔·甘蒂 10 2011 关于Petri网的Yen路径逻辑。 Zbl 1230.68153号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·哈贝梅尔 7 2011 关于弱记忆模型的验证问题。 Zbl 1312.68050号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂 18 2010 有序多按钮系统的全局模型检查。 Zbl 1245.68130号 穆罕默德·法乌齐（Mohamed Faouzi Atig） 5 2010 使用动态通信结构验证并行程序。 Zbl 1209.68114号 Taysir Touili;穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 2010 从多堆栈自动机到单堆栈自动机。 Zbl 1287.68118号 穆罕默德·法乌齐（Mohamed Faouzi Atig） 三 2010 动态创建线程的并发程序的上下文分析。 兹比尔12346.8068 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;沙兹·卡迪尔 9 2009 关于Petri网的Yen路径逻辑。 Zbl 1260.68255号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·哈贝梅尔 6 2009 使用动态通信结构验证并行程序。 Zbl 1248.68138号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Taysir Touili 2 2009 多按下自动机的空是2ETIME-complete。 Zbl 1161.68509号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;贝内迪克特·博利格;彼得·哈贝梅尔 16 2008 下推系统非循环网络的可达性分析。 Zbl 1160.68451号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 12 2008 分析具有抢占功能的异步程序。 Zbl 1248.68348号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 4 2008 所有引用出版物 前5名被引用出版物 全部的 前5名251位作者引用 20 穆罕默德·法乌齐（Mohamed Faouzi Atig） 12 帕罗什·阿齐兹·阿卜杜拉 11 艾哈迈德·博阿贾尼 8 贝内迪克特·博利格 6 沃伊切赫，切尔文斯基 6 康斯坦丁·埃纳 6 保罗·加斯丁 6 桑卡拉·纳拉亚南·克里希纳 6 普拉卡什·塞瓦桑 6 乔治·泽采 5 阿克沙伊，S。 5 阿兰·芬克尔 5 彼得·哈贝梅尔 5 彼得·霍夫曼 5 萨沃米尔·拉索塔 5 罗兰·梅耶 5 Taysir Touili 4 克里希南德·查特吉 4 萨尔瓦多拉托雷 4 Gennaro帕拉托 4 阿德里亚诺·佩隆 4 帕特里克·托茨克 4 海克·卫尔海姆 三 西迪·穆罕默德·贝拉希 三 洛伦佐·克莱门特 三 西蒙·多尔蒂 三 布里杰什·多戈尔 三 皮埃尔·甘蒂 三 安托万·米内 三 阿尼埃洛·穆拉诺 三 塞巴斯蒂安·穆斯卡拉 三 那不勒斯，玛格丽塔 三 库马尔·纳拉扬。 三 M·普拉文。 三 西尔万·施密茨 三 菲利普·施诺贝伦 三 拉马纳森·S·蒂尼亚姆。 三 迈克尔·韦哈尔 2 文森佐·阿塞里 2 劳拉·博泽利 2 陈玉芳 2 彼得·奇尼 2 德米特里五世·奇斯蒂科夫。 2 阿戈斯蒂诺·科尔特斯 2 萨迪·达尔瓦迪 2 维伦达·戴夫 2 Stéphane P.德姆里。 2 曼弗雷德·德罗斯特 2 皮埃特罗·费拉拉 2 阿德韦特·阿米特·戈博莱 2 让·古鲍特·拉雷克 2 谢尔盖·哈达德 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 卢卡什·霍利克 2 维尼特·卡隆 2 普拉蒂克，卡兰迪卡尔 2 伊戈尔·赫梅尔尼茨基 2 安德烈亚斯·克雷布斯 2 卡尔·莱昂纳多森 2 杰罗姆·勒鲁 2 吕毅 2 鲁帕克·马朱姆达尔 2 小川，瑞仁 2 奥托普，简 2 维塔利·佩雷沃什奇科夫 2 古斯塔沃·佩特里 2 Micha Pilipczuk 2 沙兹·卡迪尔 2 宋，傅 2 格雷戈伊尔·萨特雷 2 张奎泽 1 普拉图什·阿加瓦尔 1 Raj Aryan阿加瓦尔 1 西里亚克·艾斯瓦里亚 1 沙乌尔·阿尔马戈 1 安德鲁·W·阿佩尔。 1 阿罗尼斯·斯塔夫罗斯 1 乔治·巴赫迈耶 1 大卫·巴罗齐尼 1 克拉克·W·巴雷特。 1 马西莫·巴托莱蒂 1 巴斯滕，H.J.S。 1 尼古拉·鲍德鲁 1 鲍曼，帕斯卡 1 弗朗西斯科·贝拉迪内利 1 马西莫·贝内雷切蒂 1 德文德拉·巴韦 1 拉纳德普·比斯瓦斯 1 弗兰蒂舍克·布拉胡德克 1 迈克尔·布隆丁 1 劳拉·博奇 1 博克，乌迪 1 托马斯·布拉兹迪尔 1 维罗尼克·布鲁埃 1 贾鲍勃·伯尼姆 1 米歇尔·卡迪尔哈克 1 达里奥·卡罗托 1 查克拉波蒂，苏普拉特克 1 尚巴特，皮埃尔 1 乔利亚特，大卫 …还有151位作者 全部的 前5名21篇连载文章中引用 11 计算机科学中的逻辑方法 8 信息与计算 6 理论计算机科学 4 自动推理杂志 4 系统设计中的形式化方法 三 信息学报 三 计算机与系统科学杂志 三 计算系统理论 2 国际计算机科学基础杂志 2 离散事件动态系统 1 人工智能 1 离散数学 1 Automatica公司 1 计算 1 算法 1 计算的形式方面 1 计算机基础理论 1 ACM计算逻辑事务 1 应用逻辑杂志 1 ACM计算理论汇刊 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 138 计算机科学（68至XX） 20 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 2 运筹学、数学规划（90-XX） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文