编辑配置文件(在新选项卡中打开) 穆罕默德·法乌齐(Mohamed Faouzi Atig) 合著者距离 作者ID: 阿提格·莫哈迈德·法奥兹 发布方式: 穆罕默德·法乌齐(Mohamed Faouzi Atig);穆罕默德·法乌兹·阿提格 已编制索引的文档: 55出版物自2008年起 2作为编辑的贡献 合著者: 58位合著者具有54联合出版物 798合著作者 全部的 前5名合著者 三 单作者的 28 帕罗什·阿齐兹·阿卜杜拉 14 艾哈迈德·布瓦贾尼 9 普拉卡什·塞瓦桑 7 K.Narayan Kumar 5 Jari斯坦曼 4 彼得·哈贝梅尔 4 卡尔·莱昂纳多森 4 泰瑟·图利 三 比菲省迪普 三 克里希纳,Shankara Narayanan 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文件 引用人▼ 年份▼ 关于弱记忆模型的验证问题。 Zbl 1312.68050号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂 18 2010 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);Jari斯坦曼 18 2012 多按下自动机的空是2ETIME-complete。 Zbl 1161.68509号 穆罕默德·法乌齐(Mohamed Faouzi Atig);贝内迪克特·博利格;彼得·哈贝梅尔 16 2008 下推系统非循环网络的可达性分析。 Zbl 1160.68451号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;泰瑟·图利 12 2008 动态创建线程的并发程序的上下文分析。 Zbl 1237.68056号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;沙兹·卡迪尔 11 2011 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 11 2017 沿着无上下文轨迹逼近Petri网可达性。 Zbl 1246.68161号 穆罕默德·法乌齐(Mohamed Faouzi Atig);皮埃尔·甘蒂 10 2011 动态创建线程的并发程序的上下文分析。 兹比尔12346.8068 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;沙兹·卡迪尔 9 2009 弱记忆模型的决定因素是什么? Zbl 1352.68056号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂 9 2012 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷兹 7 2012 关于Petri网的Yen路径逻辑。 Zbl 1230.68153号 穆罕默德·法乌齐(Mohamed Faouzi Atig);彼得·哈贝梅尔 7 2011 相邻的有序多推送系统。 Zbl 1309.68128号 穆罕默德·法乌齐(Mohamed Faouzi Atig);K.Narayan Kumar;普拉卡什·塞瓦桑 7 2014 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);彼得·霍夫曼;理查德·迈尔;K.Narayan Kumar;帕特里克·托茨克 7 2014 有序多推自动机的模型检查。 Zbl 1279.68206号 穆罕默德·法乌兹·阿提格 7 2012 无链字符串约束。 Zbl 1437.68131号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);比菲省迪普;卢卡什·霍利克;彼得·扬克 7 2019 作用域边界下多线程程序的线性时间模型检查。 Zbl 1375.68076号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;Narayan Kumar,K。;普拉卡什·塞瓦桑 7 2012 关于Yen的Petri网路径逻辑。 Zbl 1260.68255号 穆罕默德·法乌齐(Mohamed Faouzi Atig);彼得·哈贝梅尔 6 2009 共享内存系统的有界可达性分析。 Zbl 1360.68624号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;K.Narayan Kumar;普拉卡什·塞瓦桑 6 2014 单计数器语言规则抽象的复杂性。 Zbl 1401.68142号 穆罕默德·法乌齐(Mohamed Faouzi Atig);德米特里·奇斯蒂科夫;彼得·霍夫曼;K.Narayan Kumar;普拉卡什·塞瓦桑;乔治·泽采 6 2016 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);Jari斯坦曼 5 2012 有序多按钮系统的全局模型检查。 Zbl 1245.68130号 穆罕默德·法乌齐(Mohamed Faouzi Atig) 5 2010 使用动态通信结构验证并行程序。 Zbl 1209.68114号 泰瑟·图利;穆罕默德·法乌齐(Mohamed Faouzi Atig) 4 2010 带有间隙阶约束的下推自动机。 Zbl 1434.68222号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔治·德尔扎诺;安德烈亚斯·波德尔斯基 4 2013 可用性语言的决定因素是什么? Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;Jari斯坦曼 4 2014 分析具有抢占功能的异步程序。 Zbl 1248.68348号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;泰瑟·图利 4 2008 从多堆栈自动机到单堆栈自动机。 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 1459.68038号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;Ngo,Tuan Phong公司 2 2018 在定价密集定时下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);Jari斯坦曼 2 2014 定时有损信道系统。 Zbl 1354.68163号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔纳森·塞德伯格 2 2012 TSO系统的上下文分析。 Zbl 1416.68050号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;Gennaro帕拉托 2 2014 使用SMT-solver分析消息传递程序。 Zbl 1410.68079号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔纳森·塞德伯格 2 2013 使用动态通信结构验证并行程序。 Zbl 1248.68138号 穆罕默德·法乌齐(Mohamed Faouzi Atig);泰瑟·图利 2 2009 完美的时间沟通很难。 Zbl 1514.68152号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);克里希纳,Shankara Narayanan 2 2018 关于Petri网的向上/向下闭包。 Zbl 1441.68142号 穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;普拉卡什·塞瓦桑 2 2017 定时Petri网的通用安全是PSPACE完整的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克 2 2018 用平面抽象解决非子串约束。 兹比尔1520.68068 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 1 2021 动态寄存器自动机的验证。 Zbl 1360.68575号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈特·卡拉;奥思曼·雷津 1 2014 使用饱和度增强顺序一致性检查。 Zbl 1517.68086号 拉希德·泽诺;穆罕默德·法乌齐(Mohamed Faouzi Atig);拉纳德普,比斯瓦斯;艾哈迈德·布瓦贾尼;康斯坦丁·埃纳;穆罕默德·埃尔拉迪 1 2020 数据多下推自动机。 Zbl 1442.68076号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚,C。;穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 2017 相邻的有序多推送系统。 Zbl 1381.68045号 穆罕默德·法乌齐(Mohamed Faouzi Atig);Narayan Kumar,K。;普拉卡什·塞瓦桑 1 2013 使用嵌套锁验证异步程序。 Zbl 1491.68105号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑 1 2018 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);阿德瓦伊·戈博莱;克里希纳,S。;维克托·瓦菲亚迪斯 1 2021 多推压系统中的加速。 Zbl 1420.68061号 穆罕默德·法乌齐(Mohamed Faouzi Atig);Narayan Kumar,K。;普拉卡什·塞瓦桑 1 2016 具有不可靠通道的数据通信过程。 Zbl 1401.68179号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚,C。;穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 2016 用平面抽象解决非子串约束。 兹比尔1520.68068 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 1 2021 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);阿德瓦伊·戈博莱;克里希纳,S。;维克托·瓦菲亚迪斯 1 2021 使用饱和度增强顺序一致性检查。 Zbl 1517.68086号 拉希德·泽诺;穆罕默德·法乌齐(Mohamed Faouzi Atig);拉纳德普,比斯瓦斯;艾哈迈德·布瓦贾尼;康斯坦丁·埃纳;穆罕默德·埃尔拉迪 1 2020 无链字符串约束。 Zbl 1437.68131号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);比菲省迪普;卢卡什·霍利克;彼得·扬克 7 2019 用于总存储顺序的加载缓冲语义。 Zbl 1459.68038号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;Ngo,Tuan Phong公司 2 2018 完美的时间沟通很难。 Zbl 1514.68152号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);克里希纳,Shankara Narayanan 2 2018 定时Petri网的通用安全是PSPACE完整的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克 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网的向上/向下闭包。 Zbl 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下验证并发程序的好处。 Zbl 1392.68142号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;Ngo,Tuan Phong公司 三 2016 多推压系统中的加速。 Zbl 1420.68061号 穆罕默德·法乌齐(Mohamed Faouzi Atig);Narayan Kumar,K。;普拉卡什·塞瓦桑 1 2016 具有不可靠通道的数据通信过程。 Zbl 1401.68179号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚,C。;穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 2016 可用性语言的决定因素是什么? Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 三 2015 相邻的有序多推送系统。 Zbl 1309.68128号 穆罕默德·法乌齐(Mohamed Faouzi Atig);K.Narayan Kumar;普拉卡什·塞瓦桑 7 2014 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(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);Jari斯坦曼 2 2014 TSO系统的上下文分析。 Zbl 1416.68050号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;Gennaro帕拉托 2 2014 动态寄存器自动机的验证。 Zbl 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 相邻的有序多推送系统。 Zbl 1381.68045号 穆罕默德·法乌齐(Mohamed Faouzi Atig);Narayan Kumar,K。;普拉卡什·塞瓦桑 1 2013 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);Jari斯坦曼 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 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);Jari斯坦曼 5 2012 定时有损信道系统。 Zbl 1354.68163号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔纳森·塞德伯格 2 2012 动态创建线程的并发程序的上下文分析。 Zbl 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号 泰瑟·图利;穆罕默德·法乌齐(Mohamed Faouzi Atig) 4 2010 从多堆栈自动机到单堆栈自动机。 Zbl 1287.68118号 穆罕默德·法乌齐(Mohamed Faouzi Atig) 三 2010 动态创建线程的并发程序的上下文分析。 Zbl 1234.68068号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;沙兹·卡迪尔 9 2009 关于Petri网的Yen路径逻辑。 Zbl 1260.68255号 穆罕默德·法乌齐(Mohamed Faouzi Atig);彼得·哈贝梅尔 6 2009 使用动态通信结构验证并行程序。 Zbl 1248.68138号 穆罕默德·法乌齐(Mohamed Faouzi Atig);泰瑟·图利 2 2009 多下推自动机的空是2ETIME完备的。 Zbl 1161.68509号 穆罕默德·法乌齐(Mohamed Faouzi Atig);贝内迪克特·博利格;彼得·哈贝梅尔 16 2008 下推系统非循环网络的可达性分析。 Zbl 1160.68451号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;泰瑟·图利 12 2008 分析具有抢占功能的异步程序。 Zbl 1248.68348号 穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·布瓦贾尼;泰瑟·图利 4 2008 所有引用出版物 前5名被引用出版物 全部的 前5名251位作者引用 20 穆罕默德·法乌齐(Mohamed Faouzi Atig) 12 帕罗什·阿齐兹·阿卜杜拉 11 艾哈迈德·布瓦贾尼 8 贝内迪克特·博利格 6 沃伊切赫,切尔文斯基 6 康斯坦丁·埃纳 6 保罗·加斯丁 6 克里希纳,Shankara Narayanan 6 普拉卡什·塞瓦桑 6 乔治·泽采 5 阿克西,S。 5 阿兰·芬克尔 5 彼得·哈贝梅尔 5 彼得·霍夫曼 5 萨沃米尔·拉索塔 5 罗兰·梅耶 5 泰瑟·图利 4 克里希南德·查特吉 4 萨尔瓦多拉托雷 4 Gennaro帕拉托 4 阿德里亚诺·佩隆 4 帕特里克·托茨克 4 海克·卫尔海姆 三 西迪·穆罕默德·贝拉希 三 洛伦佐·克莱门特 三 西蒙·多尔蒂 三 布里杰什·多戈尔 三 皮埃尔·甘蒂 三 安托万·米内 三 阿尼埃洛·穆拉诺 三 塞巴斯蒂安·穆斯卡拉 三 那不勒斯,玛格丽塔 三 库马尔·纳拉扬。 三 M·普拉文。 三 西尔万·施密茨 三 菲利普·施诺贝伦 三 拉马纳森·S·蒂尼亚姆。 三 迈克尔·韦哈尔 2 文森佐·阿塞里 2 劳拉·博泽利 2 陈玉芳 2 彼得·奇尼 2 德米特里五世·奇斯蒂科夫。 2 阿戈斯蒂诺·科尔特斯 2 萨迪·达尔瓦迪 2 大卫,弗伦达 2 斯特凡·德姆里。 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 František,布拉胡德克 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) 按年份列出的引文