编辑配置文件（在新选项卡中打开） 帕罗什·阿齐兹·阿卜杜拉 合著者距离 作者ID： 阿卜杜拉·帕罗什·阿齐兹 发布日期： 帕罗什·阿齐兹·阿卜杜拉;阿卜杜拉，帕罗什A。;帕罗什·阿卜杜拉;帕罗什阿齐兹·阿卜杜拉;阿卜杜拉，P.A。 更多。。。较少的 编入索引的文档： 126出版物自1992年以来 3作为编辑的贡献 合著者： 91位合著者具有122联合出版物 1333联合作者 全部的 前5名合著者 7 单作者的 28 穆罕默德·法乌齐（Mohamed Faouzi Atig） 26 本特·琼森 17 乔治·德尔扎诺 15 理查德·梅尔（Richard M.Mayr）。 15 艾哈迈德·雷兹 14 卢卡什·霍利克 12 艾哈迈德·布瓦贾尼 12 汤姆·沃纳 8 德奥索，朱利安 7 陈玉芳 7 丽莎·卡蒂 6 约翰·德奈克斯 6 努梅内·本·亨达 6 普里塔·马哈塔 6 马库斯·尼尔森 5 阿罗尼斯·斯塔夫罗斯 5 乔纳森·塞德伯格 5 弗雷德里克·哈齐扎 5 阿莱塔·奈伦 5 康斯坦蒂诺斯·萨戈纳斯 5 贾里·斯坦曼 4 帕维尔·克查尔 4 卡尔·莱昂纳多森 4 奥思曼·雷津 4 阿诺德·桑尼尔 4 劳伦特·范·贝京 4 易、王 三 比菲省迪普 三 S.Purushothaman，Iyer 三 克里希纳，Shankara Narayanan 三 乔尔·欧·瓦克宁。 三 马扬克省萨克塞纳 三 斯文·桑德伯格 三 聪奎·特里恩 三 詹姆斯·沃雷尔。 2 西里亚克·艾斯瓦里亚 2 拜尔，克里斯特尔 2 卡利斯·采拉人 2 拉杜·乔巴努 2 洛伦佐·克莱门特 2 阿德韦特·阿米特·戈博莱 2 约翰娜·霍格伯格 2 Chih-Duo洪 2 Legay、Axel 2 Ondřej Lengál 2 Ngo，Tuan Phong公司 2 伊戈尔·波塔波夫 2 卡琳·夸斯 2 亚历山大·拉比诺维奇 2 杰里米·斯普洛斯顿 2 帕特里克·托茨克 2 里卡多·特拉维索 1 Raj Aryan阿加瓦尔 1 奥罗尔·安尼奇尼 1 萨德克·本萨勒姆 1 Nathalie Bertrand 1 比杰西，佩尔 1 吕克·博阿松 1 奥罗雷·科伦·安尼奇尼 1 大卫，弗伦达 1 卢卡·德·阿尔法罗 1 斯特凡·德姆里。 1 尼古拉斯·埃恩 1 阿兰·芬克尔 1 彼得·哈贝梅尔 1 彼得·霍夫曼 1 卢卡·霍利克 1 胡登庚 1 伊耶，普鲁索塔曼 1 彼得·扬克 1 艾哈迈特·卡拉 1 斯特凡诺斯·卡西拉斯 1 K.Narayan Kumar 1 亚辛·拉赫内奇 1 Leino，K.Rustan M。 1 杰罗姆·勒鲁 1 罗兰·梅耶 1 马可·蒙塔利 1 安德烈亚斯·波德尔斯基 1 阿尔贝托·罗斯 1 S.、Krishna 1 萨利希、梅赫迪·塞耶德 1 菲利普·施诺贝伦 1 穆拉利达尔·塔卢普尔 1 蔡伟伦 1 Tsay，Yih-Kuen先生 1 维克托·瓦菲亚迪斯 1 Shaan Vaidya 1 吴志林 1 甄子丹 1 朱云云 全部的 前5名系列 7 计算机科学中的逻辑方法 6 信息与计算 5 国际计算机科学基础杂志 4 理论计算机科学 4 系统设计中的形式化方法 2 信息学报 2 计算机基础理论 2 计算机科学课堂讲稿 1 计算的形式方面 1 逻辑与计算杂志 1 北欧计算机杂志 1 符号逻辑公报 1 美国医学会杂志 1 逻辑与代数程序设计杂志 全部的 前5名领域 128 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 概率论与随机过程（60-XX） 三 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 105出版物有被引用799中的次485文件 引用人▼ 年份▼ 正在验证具有不可靠通道的程序。 Zbl 0856.68096号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森 83 1996 具有良好拟序域的程序的算法分析。 Zbl 1046.68567号 帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;Tsay，Yih-Kuen先生 47 2000 使用前向可达性分析来验证有损信道系统。 兹比尔1073.68675 帕罗什·阿齐兹·阿卜杜拉;奥罗雷·科伦·安尼奇尼;艾哈迈德·布瓦贾尼;本特·琼森 32 2004 定期模型检查的调查。 Zbl 1099.68055号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;马扬克省萨克塞纳 28 2004 定时Petri网和BQO。 Zbl 0986.68092号 帕罗什阿齐兹·阿卜杜拉;阿莱塔·奈伦 28 2001 通道不可靠的程序存在无法确定的验证问题。 Zbl 0872.68112号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森 23 1996 无传感器的定期模型检查（参数化系统的有效验证）。 Zbl 1186.68312号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 20 2007 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 18 2012 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 兹比尔1284.68337 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;卢卡什·霍利克;理查德·迈尔;汤姆·沃纳 17 2010 在参数化系统验证中处理全局条件。 Zbl 1046.68573号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;本特·琼森;马库斯·尼尔森 16 1999 所有这些都是为了几个（通过视图抽象进行参数化验证）。 Zbl 1426.68160号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克 16 2013 具有全局条件的无限状态过程的参数化验证。 Zbl 1135.68461号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 15 2007 具有许多相同定时进程的系统的模型检查。 兹伯利1018.68046 帕罗什·阿齐兹·阿卜杜拉;本特·琼森 13 2003 定期树模型检查。 兹比尔1010.68087 帕罗什阿齐兹·阿卜杜拉;本特·琼森;普里塔·马哈塔;德奥索，朱利安 12 2002 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;洛伦佐·克莱门特;卢卡什·霍利克;Chih-Duo洪;理查德·迈尔;汤姆·沃纳 12 2011 最优动态部分降阶。 Zbl 1284.68377号 帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 12 2014 决定性马尔可夫链。 Zbl 1131.68060号 阿卜杜拉，帕罗什A。;努梅内·亨达。;理查德·梅尔（Richard M.Mayr）。 11 2007 单计数器网络的模拟是可判定的（扩展抽象）。 Zbl 0940.68055号 帕罗什·阿齐兹·阿卜杜拉;卡利斯·采拉人 11 1998 在树自动机上计算模拟。减少树自动机的有效技术。 Zbl 1134.68391号 阿卜杜拉，帕罗什A。;艾哈迈德·布瓦贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 11 2008 基于SAT求解器的符号可达性分析。 Zbl 0971.68633号 帕罗什·阿齐兹·阿卜杜拉;比杰西，佩尔;尼古拉斯·埃恩 11 2000 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 11 2017 决定单调游戏。 Zbl 1116.68491号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;德奥索，朱利安 11 2003 求解整数向量上的奇偶博弈。 Zbl 1390.68452号 帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 11 2013 定期的模型检查变得简单高效。 Zbl 1012.68134号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索，朱利安 10 2002 验证通信故障的概率系统。 Zbl 1105.68003号 阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 10 2005 定期检查LTL（MSO）模型。 Zbl 1103.68070号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;朱利安·奥尔索;马扬克省萨克塞纳 9 2004 常规模型检查的算法改进。 Zbl 1278.68150号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索，朱利安 9 2003 时间自动机通过通道机器的可决定性和复杂性结果。 Zbl 1085.68078号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;詹姆斯·沃雷尔 9 2005 一种用于高度并发数据结构的集成规范和验证技术。 Zbl 1381.68141号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 9 2013 概率有损信道系统的推理。 兹比尔0999.68145 帕罗什·阿卜杜拉;拜尔，克里斯特尔;伊耶，普鲁索塔曼;本特·琼森 8 2000 好的（以及更好的）准有序跃迁系统。 Zbl 1207.68219号 帕罗什·阿齐兹·阿卜杜拉 8 2010 殷切的马尔可夫链。 Zbl 1161.68466号 帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;理查德·迈尔;斯文·桑德伯格 8 2006 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷兹 7 2012 验证通信故障的概率系统。 Zbl 1029.68094号 帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇 7 2003 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 7 2011 具有动态内存堆的程序的单调抽象。 Zbl 1155.68423号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹 7 2008 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·霍夫曼;理查德·迈尔;K.Narayan Kumar;帕特里克·托茨克 7 2014 无链字符串约束。 兹比尔1437.68131 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;比菲省迪普;卢卡什·霍利克;彼得·扬克 7 2019 用概率有损信道模拟完美信道。 Zbl 1073.68058号 帕罗什·阿卜杜拉;拜尔，克里斯特尔;S.Purushothaman，Iyer;本特·琼森 6 2005 时间Petri网的前向可达性分析。 Zbl 1109.68509号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 6 2004 树规则模型检查：一种基于模拟的方法。 Zbl 1101.68055号 帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;德奥索，朱利安;艾哈迈德·雷兹 6 2006 密集时间Petri网：检查Zenoness、标记活性和有界性。 Zbl 1128.68057号 阿卜杜拉，帕罗什A。;普里塔·马哈塔;理查德·梅尔（Richard M.Mayr）。 6 2007 单时钟时间自动机的普适性分析。 Zbl 1154.68063号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;卡琳·夸斯;詹姆斯·沃雷尔 6 2008 比较结构良好的转换系统的表达能力。 兹比尔1179.68065 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;劳伦特·范·贝京 6 2007 单调抽象：关于参数化系统的有效验证。 兹比尔1186.68272 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 6 2009 结构良好的转换系统表达能力的分类。 Zbl 1217.68146号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;劳伦特·范·贝京 6 2011 时间自动机的抽样语义。 Zbl 1214.68195号 帕维尔·克查尔;帕罗什·阿齐兹·阿卜杜拉;易、王 6 2010 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 阿卜杜拉，帕罗什A。;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 6 2009 模型检查参数化系统。 Zbl 1392.68223号 帕罗什·阿齐兹·阿卜杜拉;西斯特拉·A·普拉萨德;穆拉利达尔·塔卢普尔 6 2018 处理具有非原子全局条件的参数化系统。 Zbl 1138.68436号 帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;乔治·德尔扎诺;艾哈迈德·雷兹 5 2008 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;Jari斯坦曼 5 2012 具有全局条件的无限状态过程的近似参数化验证。 Zbl 1176.68110号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 5 2009 R-自动机。 Zbl 1160.68396号 帕罗什·阿齐兹·阿卜杜拉;帕维尔·科卡尔;易、王 5 2008 有效的有损队列语言。 Zbl 0986.68044号 帕罗什阿齐兹·阿卜杜拉;吕克·博阿松;艾哈迈德·布瓦贾尼 5 2001 树自动机的互模拟最小化。 兹比尔1143.68428 帕罗什·阿齐兹·阿卜杜拉;约翰娜·霍格伯格;丽莎·卡蒂 5 2007 确保无限状态系统符号验证方法的完整性。 Zbl 0973.68146号 阿卜杜拉，P.A。;B.琼森。 5 2001 具有大字母的非确定性自动机的最小化。 Zbl 1172.68488号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;丽莎·卡蒂;马库斯·尼尔森 4 2006 单调和向下封闭游戏。 Zbl 1133.68042号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;朱利安·多尔索 4 2008 有损信道的随机游戏。 Zbl 1138.91336号 帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;卢卡·德·阿尔法罗;理查德·迈尔;斯文·桑德伯格 4 2008 带有间隙阶约束的下推自动机。 Zbl 1434.68222号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔治·德尔扎诺;安德烈亚斯·波德尔斯基 4 2013 可用性语言的决定因素是什么？ Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;罗兰·梅耶;萨利希、梅赫迪·塞耶德 4 2015 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;奥思曼·雷津;贾里·斯坦曼 4 2014 定价定时Petri网。 Zbl 1314.68199号 理查德·梅尔（Richard M.Mayr）。;帕罗什·阿齐兹·阿卜杜拉 4 2013 源集：最优动态部分降阶的基础。 Zbl 1426.68038号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 4 2017 通过向后可达性来证明活力。 Zbl 1151.68498号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;艾哈迈德·雷兹;马扬克省萨克塞纳 三 2006 树自动机的互模拟最小化。 Zbl 1160.68395号 帕罗什·阿齐兹·阿卜杜拉;丽莎·卡蒂;约翰娜·霍格伯格 三 2006 时间自动机的抽样通用性。 Zbl 1195.68052号 帕罗什·阿齐兹·阿卜杜拉;帕维尔·科卡尔;易、王 三 2007 一种基于语言的带有和不带有全局操作的Petri网扩展的比较。 Zbl 1234.68188号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;劳伦特·范·贝京 三 2009 SAT解决Petri网的可覆盖性问题。 Zbl 1073.68057号 帕罗什·阿齐兹·阿卜杜拉;S.Purushothaman，Iyer;阿莱塔·奈伦 三 2004 VASS诱导MDP的定性分析。 Zbl 1475.68199号 帕罗什·阿齐兹·阿卜杜拉;拉杜·乔巴努;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 三 2016 双重性在TSO下验证并发程序的好处。 Zbl 1392.68142号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·布瓦贾尼;Ngo、Tuan Phong 三 2016 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 三 2015 简化中介（最小化交替Büchi自动机）。 Zbl 1248.68280号 阿卜杜拉，帕罗什A。;陈玉芳;卢卡什·霍利克;汤姆·沃纳 三 2009 稠密时间Petri网的Zenoness判定性、句法有界性和标记生存性。 Zbl 1117.68445号 帕罗什·阿卜杜拉;普里塔·马哈塔;理查德·迈尔 2 2004 树自动机的合成互模拟。 Zbl 1172.68487号 阿卜杜拉，帕罗什A。;艾哈迈德·布瓦贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 2 2008 作用中的单调抽象。（分布式互斥算法的自动验证）。 Zbl 1161.68612号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 2 2008 定价时间Petri网中的最小成本可达性/覆盖性。 Zbl 1234.68280号 帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔 2 2009 无界Petri网的展开。 Zbl 0974.68528号 帕罗什·阿齐兹·阿卜杜拉;S.Purushothaman，Iyer;阿莱塔·奈伦 2 2000 用于构建和分析系统的工具和算法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。 Zbl 1213.68016号 2 2011 用于总存储顺序的加载缓冲语义。 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 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 2 2013 使用SMT-solver分析消息传递程序。 Zbl 1410.68079号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2013 通道不可靠的程序存在无法确定的验证问题。 Zbl 1418.68123号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森 2 1994 完美的时间沟通很难。 Zbl 1514.68152号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;克里希纳，Shankara Narayanan 2 2018 比较源集和持久集以减少部分顺序。 Zbl 1431.68062号 帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 2 2017 封闭、开放和强健的定时网络。 Zbl 1272.68216号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔 2 2005 定时Petri网的通用安全是PSPACE完整的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克 2 2018 基于目录的一致性协议的自动验证。 Zbl 1260.68224号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 1 2009 使用前向可达性分析验证定时Petri网。 Zbl 1168.68434号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 1 2007 把概率带到无限的世界。 Zbl 1343.68149号 帕罗什·阿齐兹·阿卜杜拉 1 2011 约束单调抽象：用于参数化验证的CEGAR。 Zbl 1287.68117号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;乔治·德尔扎诺;弗雷德里克·哈齐扎;Chih-Duo洪;艾哈迈德·雷兹 1 2010 单时钟时间自动机的基于区域的通用性分析。 Zbl 1141.68422号 帕罗什·阿齐兹·阿卜杜拉;约尔·瓦克宁;卡琳·夸斯;詹姆斯·沃雷尔 1 2007 树型传感器的基于仿真的迭代。 Zbl 1087.68052号 帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;朱利安·奥尔索;艾哈迈德·雷兹 1 2005 用平面抽象解决非子串约束。 兹比尔1520.68068 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 1 2021 adhoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 1 2016 动态寄存器自动机的验证。 Zbl 1360.68575号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈特·卡拉;雷嗪、奥特曼 1 2014 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 1 2016 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 1 2009 用平面抽象解决非子串约束。 兹比尔1520.68068 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 1 2021 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;阿德瓦伊·戈博莱;克里希纳，S。;维克托·瓦菲亚迪斯 1 2021 无链字符串约束。 Zbl 1437.68131号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;比菲省迪普;卢卡什·霍利克;彼得·扬克 7 2019 模型检查参数化系统。 Zbl 1392.68223号 帕罗什·阿齐兹·阿卜杜拉;西斯特拉·A·普拉萨德;穆拉利达尔·塔卢普尔 6 2018 用于总存储顺序的加载缓冲语义。 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 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐（Mohamed Faouzi Atig）;本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 11 2017 源集：最优动态部分降阶的基础。 Zbl 1426.68038号 帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 4 2017 比较源集合和持久集合以进行部分降阶。 Zbl 1431.68062号 帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 2 2017 数据多下推自动机。 Zbl 1442.68076号 帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚，C。;穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2017 VASS诱导MDP的定性分析。 Zbl 1475.68199号 帕罗什·阿齐兹·阿卜杜拉;拉杜·乔巴努;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 三 2016 在TSO下验证并发程序的对偶性的好处。 Zbl 1392.68142号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·布瓦贾尼;Ngo，Tuan Phong公司 三 2016 adhoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 1 2016 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 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 1429.68137号 阿卜杜拉，帕罗什A。;弗雷德里克·哈齐扎;卢卡·霍里克 1 2015 最优动态部分降阶。 Zbl 1284.68377号 帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 12 2014 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;彼得·霍夫曼;理查德·迈尔;K.Narayan Kumar;帕特里克·托茨克 7 2014 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;奥思曼·雷津;贾里·斯坦曼 4 2014 在定价密集定时下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 2 2014 动态寄存器自动机的验证。 Zbl 1360.68575号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈特·卡拉;奥思曼·雷津 1 2014 所有这些都是为了几个（通过视图抽象进行参数化验证）。 Zbl 1426.68160号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克 16 2013 求解整数向量上的奇偶校验对策。 Zbl 1390.68452号 帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 11 2013 一种用于高度并发数据结构的集成规范和验证技术。 Zbl 1381.68141号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 9 2013 带有间隙阶约束的下推自动机。 Zbl 1434.68222号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔治·德尔扎诺;安德烈亚斯·波德尔斯基 4 2013 定价定时Petri网。 Zbl 1314.68199号 理查德·梅尔（Richard M.Mayr）。;帕罗什·阿齐兹·阿卜杜拉 4 2013 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 2 2013 使用SMT-solver分析消息传递程序。 Zbl 1410.68079号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2013 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;贾里·斯坦曼 18 2012 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;卡尔·莱昂纳多森;艾哈迈德·雷兹 7 2012 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;Jari斯坦曼 5 2012 定时有损信道系统。 Zbl 1354.68163号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 2 2012 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;洛伦佐·克莱门特;卢卡什·霍利克;Chih-Duo洪;理查德·迈尔;汤姆·沃纳 12 2011 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;雷嗪、奥特曼;阿诺德·桑尼尔;里卡多·特拉维索 7 2011 结构良好的转换系统表达能力的分类。 Zbl 1217.68146号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;劳伦特·范·贝京 6 2011 用于构建和分析系统的工具和算法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。 Zbl 1213.68016号 2 2011 把概率带到无限世界。 Zbl 1343.68149号 帕罗什·阿齐兹·阿卜杜拉 1 2011 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 Zbl 1284.68337号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;卢卡什·霍利克;理查德·迈尔;汤姆·沃纳 17 2010 好的（更好的）准序跃迁系统。 Zbl 1207.68219号 帕罗什·阿齐兹·阿卜杜拉 8 2010 时间自动机的抽样语义。 Zbl 1214.68195号 帕维尔·克查尔;帕罗什·阿齐兹·阿卜杜拉;易、王 6 2010 约束单调抽象：用于参数化验证的CEGAR。 Zbl 1287.68117号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;乔治·德尔扎诺;弗雷德里克·哈齐扎;Chih-Duo洪;艾哈迈德·雷兹 1 2010 单调抽象：关于参数化系统的有效验证。 兹比尔1186.68272 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 6 2009 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 阿卜杜拉，帕罗什A。;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 6 2009 具有全局条件的无限状态过程的近似参数化验证。 Zbl 1176.68110号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 5 2009 基于语言的Petri网扩展的比较（有和无全域操作）。 Zbl 1234.68188号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;劳伦特·范·贝京 三 2009 减少的中介（关于最小化交替的Büchi自动机）。 Zbl 1248.68280号 阿卜杜拉，帕罗什A。;陈玉芳;卢卡什·霍利克;汤姆·沃纳 三 2009 定价时间Petri网中的最小成本可达性/覆盖性。 Zbl 1234.68280号 帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔 2 2009 基于目录的一致性协议的自动验证。 Zbl 1260.68224号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 1 2009 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;卢卡什·霍利克;卡蒂，丽莎;汤姆·沃纳 1 2009 在树自动机上计算模拟。减少树自动机的有效技术。 Zbl 1134.68391号 阿卜杜拉，帕罗什A。;艾哈迈德·布瓦贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 11 2008 具有动态内存堆的程序的单调抽象。 Zbl 1155.68423号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹 7 2008 单时钟时间自动机的普适性分析。 兹比尔1154.68063 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;卡琳·夸斯;詹姆斯·沃雷尔 6 2008 处理具有非原子全局条件的参数化系统。 Zbl 1138.68436号 帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;乔治·德尔扎诺;艾哈迈德·雷兹 5 2008 R-自动机。 Zbl 1160.68396号 帕罗什·阿齐兹·阿卜杜拉;帕维尔·科卡尔;易、王 5 2008 单调和向下封闭游戏。 Zbl 1133.68042号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;D&rsquo；奥索，朱利安 4 2008 有损信道的随机游戏。 Zbl 1138.91336号 帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;卢卡·德·阿尔法罗;理查德·迈尔;斯文·桑德伯格 4 2008 树自动机的合成互模拟。 Zbl 1172.68487号 阿卜杜拉，帕罗什A。;艾哈迈德·布瓦贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 2 2008 作用中的单调抽象。（分布式互斥算法的自动验证）。 Zbl 1161.68612号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 2 2008 参数化验证中的单调抽象。 Zbl 1337.68164号 帕罗什·阿齐兹·阿卜杜拉 1 2008 无传感器的定期模型检查（参数化系统的有效验证）。 Zbl 1186.68312号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 20 2007 具有全局条件的无限状态过程的参数化验证。 Zbl 1135.68461号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 15 2007 决定性马尔可夫链。 Zbl 1131.68060号 阿卜杜拉，帕罗什A。;Henda，Noomene B。;理查德·梅尔（Richard M.Mayr）。 11 2007 密集时间Petri网：检查Zenoness、标记活性和有界性。 Zbl 1128.68057号 阿卜杜拉，帕罗什A。;普里塔·马哈塔;理查德·梅尔（Richard M.Mayr）。 6 2007 比较结构良好的转换系统的表达能力。 Zbl 1179.68065号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;劳伦特·范·贝京 6 2007 树自动机的互模拟最小化。 Zbl 1143.68428号 帕罗什·阿齐兹·阿卜杜拉;约翰娜·霍格伯格;丽莎·卡蒂 5 2007 时间自动机的抽样普遍性。 Zbl 1195.68052号 帕罗什·阿齐兹·阿卜杜拉;帕维尔·科卡尔;易、王 三 2007 使用前向可达性分析验证定时Petri网。 Zbl 1168.68434号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 1 2007 单时钟时间自动机的基于区域的通用性分析。 Zbl 1141.68422号 帕罗什·阿齐兹·阿卜杜拉;约尔·瓦克宁;卡琳·夸斯;詹姆斯·沃雷尔 1 2007 殷切的马尔可夫链。 Zbl 1161.68466号 帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;理查德·迈尔;斯文·桑德伯格 8 2006 树规则模型检查：一种基于仿真的方法。 Zbl 1101.68055号 帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;d）；奥索，朱利安;艾哈迈德·雷兹 6 2006 具有大字母的非确定性自动机的最小化。 Zbl 1172.68488号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;丽莎·卡蒂;马库斯·尼尔森 4 2006 通过向后可达性证明活跃性。 Zbl 1151.68498号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;艾哈迈德·雷兹;马扬克省萨克塞纳 三 2006 树自动机的互模拟最小化。 Zbl 1160.68395号 帕罗什·阿齐兹·阿卜杜拉;丽莎·卡蒂;约翰娜·霍格伯格 三 2006 验证通信故障的概率系统。 Zbl 1105.68003号 阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 10 2005 时间自动机通过通道机的可判定性和复杂性结果。 Zbl 1085.68078号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;詹姆斯·沃雷尔 9 2005 用概率有损信道模拟完美信道。 Zbl 1073.68058号 帕罗什·阿卜杜拉;拜尔，克里斯特尔;S.Purushothaman，Iyer;本特·琼森 6 2005 封闭、开放和强健的定时网络。 Zbl 1272.68216号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;玛哈塔，普里莎 2 2005 树型传感器的基于仿真的迭代。 Zbl 1087.68052号 帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;d）；奥索，朱利安;艾哈迈德·雷兹 1 2005 使用前向可达性分析来验证有损信道系统。 兹比尔1073.68675 帕罗什·阿齐兹·阿卜杜拉;奥罗雷·科伦·安尼奇尼;艾哈迈德·布瓦贾尼;本特·琼森 32 2004 定期模型检查的调查。 Zbl 1099.68055号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;马扬克省萨克塞纳 28 2004 定期检查LTL（MSO）模型。 Zbl 1103.68070号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;d）；奥索，朱利安;马扬克省萨克塞纳 9 2004 时间Petri网的前向可达性分析。 Zbl 1109.68509号 帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 6 2004 SAT解决Petri网的可覆盖性问题。 Zbl 1073.68057号 帕罗什·阿齐兹·阿卜杜拉;S.Purushothaman，Iyer;阿莱塔·奈伦 三 2004 稠密时间Petri网的Zenoness判定性、句法有界性和标记生存性。 Zbl 1117.68445号 帕罗什·阿卜杜拉;普里塔·马哈塔;理查德·迈尔 2 2004 具有许多相同定时进程的系统的模型检查。 Zbl 1018.68046号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森 13 2003 决定单调游戏。 Zbl 1116.68491号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;d）；奥索，朱利安 11 2003 常规模型检查中的算法改进。 Zbl 1278.68150号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;d）；奥索，朱利安 9 2003 验证通信故障的概率系统。 Zbl 1029.68094号 帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇 7 2003 定期树模型检查。 兹比尔1010.68087 帕罗什阿齐兹·阿卜杜拉;本特·琼森;普里塔·马哈塔;d）；奥索，朱利安 12 2002 定期的模型检查变得简单高效。 Zbl 1012.68134号 帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;d）；奥索，朱利安 10 2002 定时Petri网和BQO。 Zbl 0986.68092号 帕罗什阿齐兹·阿卜杜拉;阿莱塔·奈伦 28 2001 有效的有损队列语言。 Zbl 0986.68044号 帕罗什阿齐兹·阿卜杜拉;吕克·博阿松;艾哈迈德·布瓦贾尼 5 2001 确保无限状态系统符号验证方法的完整性。 Zbl 0973.68146号 阿卜杜拉，P.A。;B.琼森。 5 2001 具有良好拟序域的程序的算法分析。 Zbl 1046.68567号 帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;Tsay，Yih-Kuen先生 47 2000 基于SAT求解器的符号可达性分析。 Zbl 0971.68633号 帕罗什·阿齐兹·阿卜杜拉;比杰西，佩尔;尼古拉斯·埃恩 11 2000 概率有损信道系统的推理。 兹比尔0999.68145 帕罗什·阿卜杜拉;拜尔，克里斯特尔;伊耶，普鲁索塔曼;本特·琼森 8 2000 无界Petri网的展开。 Zbl 0974.68528号 帕罗什·阿齐兹·阿卜杜拉;S.Purushothaman，Iyer;阿莱塔·奈伦 2 2000 …还有5个文档 所有引用出版物 前5名被引用出版物 全部的 前5名被739位作者引用 45 帕罗什·阿齐兹·阿卜杜拉 17 汤姆·沃纳 16 阿兰·芬克尔 16 卢卡什·霍利克 15 艾哈迈德·布瓦贾尼 13 穆罕默德·法乌齐（Mohamed Faouzi Atig） 13 菲利普·施诺贝伦 11 乔治·德尔扎诺 10 帕特里夏·鲍耶 10 理查德·梅尔（Richard M.Mayr）。 8 本特·琼森 8 安东尼·库塞拉 8 Ondřej Lengál 8 费尔南多·罗莎·维拉尔多 8 奥利维尔·H·鲁克斯。 8 西尔万·施密茨 8 帕特里克·托茨克 7 洛伦佐·克莱门特 7 西尔维奥·吉拉尔迪 7 彼得·哈贝梅尔 7 彼得·扬查尔 7 莫西·亚亚科夫·瓦尔迪 6 阿克西，S。 6 拜尔，克里斯特尔 6 Nathalie Bertrand 6 陈玉芳 6 康斯坦丁·埃纳 6 彼得·霍夫曼 6 拉杜·奥西夫 6 克里斯·科彻 6 克里希纳，Shankara Narayanan 6 萨沃米尔·拉索塔 6 李勇 6 米凯尔·兰多尔 6 艾哈迈德·雷兹 6 沙龙·肖姆 5 约翰娜·比约克隆德 5 托马斯·布里海耶 5 尚巴特，皮埃尔 5 哈维尔·埃斯帕尔扎 5 保罗·加斯丁 5 迪特里赫·库斯克 5 金·古德斯特兰·拉森 5 兰科·拉齐奇 5 莱姆，迪迪埃 5 艾蒂安·洛兹 5 尼古拉斯·马基 5 M·普拉文。 5 西尔维奥·兰伊斯 5 阿诺德·桑尼尔 5 吉·斯尔巴 5 泰瑟·图利 5 张丽君 4 迈克尔·布隆丁 4 贝内迪克特·博利格 4 马吕斯·博兹加 4 劳拉·博泽利 4 托马斯·布拉兹迪尔 4 克里希南德·查特吉 4 迭戈·菲格拉 4 皮埃尔·甘蒂 4 让·古鲍特·拉雷克 4 洛依茨海露 4 丽莎·卡蒂 4 马丁·兰格 4 罗兰·梅耶 4 安卡·穆斯科尔 4 塞巴斯蒂安·穆斯卡拉 4 雷诺·尼斯卡宁 4 乔尔·欧·瓦克宁。 4 伊戈尔·波塔波夫 4 Jean-François拉斯金 4 米哈伊尔·拉斯金 4 普拉卡什·塞瓦桑 4 Tsay，Yih-Kuen先生 4 托马斯·沃尔 4 海克·卫尔海姆 4 詹姆斯·沃雷尔。 4 吉安路易吉·扎瓦塔罗 三 亨利克·比约克隆德 三 米卡·布莱迪 三 瓦茨拉夫·布罗泽克 三 特夫菲克·布尔坦 三 托马斯·科尔科姆贝特 三 当、哲 三 大卫，弗伦达 三 戴维·德·弗鲁托斯·埃斯克里格 三 斯特凡·德姆里。 三 辛齐亚·迪·朱斯托 三 西蒙·多尔蒂 三 布里杰什·多戈尔 三 迈克尔·埃米 三 法比奥·菲奥拉万蒂 三 塞斯·福格蒂。 三 Forejt、VojtŞch 三 布莱斯·基内斯特 三 谢尔盖·哈达德 三 维萨·哈拉瓦 三 沃伊特·哈夫勒纳 三 海姆，皮尔雷·科里尔 …还有639名作者 全部的 前5名43篇连载文章被引用 45 理论计算机科学 40 信息与计算 21 系统设计中的形式化方法 18 计算机科学中的逻辑方法 14 信息学报 10 国际计算机科学基础杂志 9 计算机与系统科学杂志 8 计算机基础理论 8 程序设计中的逻辑和代数方法杂志 6 自动推理杂志 6 计算的形式方面 5 信息处理信件 5 计算系统理论 5 ACM计算逻辑事务 4 人工智能 三 符号计算杂志 三 离散事件动态系统 2 计算 2 编程和计算机软件 2 计算机程序设计科学 2 控制论与系统分析 2 逻辑与代数程序设计杂志 1 国际通用系统杂志 1 应用数学与计算 1 Automatica公司 1 模糊集与系统 1 信息科学 1 计算机科学与技术杂志 1 运筹学年鉴 1 国际代数与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 分布式计算 1 符号逻辑公报 1 RAIRO公司。理论信息学及其应用 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 伊朗模糊系统杂志 1 理论计算机科学电子笔记 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 ACM计算理论汇刊 1 应用与计算拓扑杂志 全部的 前5名17个字段中引用 467 计算机科学（68至XX） 70 数学逻辑和基础（03-XX） 20 博弈论、经济学、金融和其他社会和行为科学（91-XX） 10 信息与通信理论、电路（94-XX） 7 运筹学、数学规划（90-XX） 7 系统论；控制（93至XX） 6 群论与推广（20-XX） 6 概率论与随机过程（60-XX） 4 组合数学（05-XX） 三 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54至XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 生物学和其他自然科学（92-XX） 1 数学教育（97-XX） 按年份列出的引文