编辑配置文件（在新选项卡中打开） 帕罗什·阿齐兹·阿卜杜拉 合著者距离 作者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 Leonardsson，卡尔 4 奥思曼·雷津 4 阿诺德·桑尼尔 4 劳伦特·范·贝京 4 易、王 三 比菲省迪普 三 S.Purushothaman，Iyer 三 桑卡拉·纳拉亚南·克里希纳 三 乔尔·欧·瓦克宁。 三 马扬克省萨克塞纳 三 斯文·桑德伯格 三 聪奎·特里恩 三 詹姆斯·沃雷尔。 2 西里亚克·艾斯瓦里亚 2 克里斯特尔·拜尔 2 Čerāns，卡利斯 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 Stéphane P.德姆里。 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 使用前向可达性分析来验证有损信道系统。 Zbl 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 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 Zbl 1284.68337号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；卢卡什·霍利克；Richard迈尔；汤姆·沃纳 17 2010 在参数化系统验证中处理全局条件。 兹比尔1046.68573 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；本特·琼森；马库斯·尼尔森 16 1999 所有这些都是为了几个（通过视图抽象进行参数化验证）。 Zbl 1426.68160号 帕罗什·阿齐兹·阿卜杜拉；弗雷德里克·哈齐扎；卢卡什·霍利克 16 2013 具有全局条件的无限状态过程的参数化验证。 Zbl 1135.68461号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 15 2007 具有许多相同定时过程的系统的模型检查。 Zbl 1018.68046号 帕罗什·阿齐兹·阿卜杜拉；本特·琼森 13 2003 定期树模型检查。 Zbl 1010.68087号 帕罗什阿齐兹·阿卜杜拉；本特·琼森；普里塔·马哈塔；德奥索，朱利安 12 2002 最优动态部分降阶。 Zbl 1284.68377号 帕罗什·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯 12 2014 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；洛伦佐·克莱门特；卢卡什·霍利克；Chih-Duo洪；Richard迈尔；汤姆·沃纳 12 2011 决定单调游戏。 Zbl 1116.68491号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；德奥索，朱利安 11 2003 单计数器网络的模拟是可判定的（扩展抽象）。 Zbl 0940.68055号 帕罗什·阿齐兹·阿卜杜拉；Čerāns，卡利斯 11 1998 求解整数向量上的奇偶博弈。 Zbl 1390.68452号 帕罗什·阿齐兹·阿卜杜拉；Richard迈尔；阿诺德·桑尼尔；杰里米·斯普洛斯顿 11 2013 基于SAT求解器的符号可达性分析。 Zbl 0971.68633号 帕罗什·阿齐兹·阿卜杜拉；比杰西，佩尔；尼古拉斯·埃恩 11 2000 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；穆罕默德·法乌齐（Mohamed Faouzi Atig）；本特·琼森；Leonardsson，卡尔；康斯坦蒂诺斯·萨戈纳斯 11 2017 决定性马尔可夫链。 Zbl 1131.68060号 帕罗什·A·阿卜杜拉。；努梅内·亨达。；理查德·梅尔（Richard M.Mayr）。 11 2007 在树自动机上计算模拟。减少树自动机的有效技术。 Zbl 1134.68391号 帕罗什·A·阿卜杜拉。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 11 2008 定期模型检查简单高效。 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 1381.68141号 帕罗什·阿齐兹·阿卜杜拉；弗雷德里克·哈齐扎；卢卡什·霍利克；本特·琼森；艾哈迈德·雷兹 9 2013 时间自动机通过通道机器的可决定性和复杂性结果。 Zbl 1085.68078号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；詹姆斯·沃雷尔 9 2005 概率有损信道系统的推理。 Zbl 0999.68145号 帕罗什·阿卜杜拉；克里斯特尔·拜尔；伊耶，普鲁索塔曼；本特·琼森 8 2000 好的（更好的）准序跃迁系统。 Zbl 1207.68219号 帕罗什·阿齐兹·阿卜杜拉 8 2010 殷切的马尔可夫链。 兹比尔1161.68466 帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；Richard迈尔；斯文·桑德伯格 8 2006 验证通信故障的概率系统。 Zbl 1029.68094号 帕罗什·阿齐兹·阿卜杜拉；亚历山大·拉比诺维奇 7 2003 TSO下引导围栏插入的反例。 Zbl 1352.68047号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Leonardsson，卡尔；艾哈迈德·雷兹 7 2012 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；奥思曼·雷津；阿诺德·桑尼尔；里卡多·特拉维索 7 2011 具有动态内存堆的程序的单调抽象。 兹比尔1155.68423 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；乔纳森·塞德伯格；弗雷德里克·哈齐扎；艾哈迈德·雷兹 7 2008 无链字符串约束。 Zbl 1437.68131号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；比菲省迪普；卢卡什·霍利克；彼得·扬克 7 2019 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；彼得·霍夫曼；Richard迈尔；K.Narayan Kumar；帕特里克·托茨克 7 2014 树规则模型检查：一种基于仿真的方法。 Zbl 1101.68055号 帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；德奥索，朱利安；艾哈迈德·雷兹 6 2006 用概率有损信道模拟完美信道。 Zbl 1073.68058号 帕罗什·阿卜杜拉；克里斯特尔·拜尔；S.Purushothaman，Iyer；本特·琼森 6 2005 时间Petri网的前向可达性分析。 Zbl 1109.68509号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；普里塔·马哈塔；阿莱塔·奈伦 6 2004 模型检查参数化系统。 Zbl 1392.68223号 帕罗什·阿齐兹·阿卜杜拉；西斯特拉·A·普拉萨德；穆拉利达尔·塔卢普尔 6 2018 结构良好的转换系统表达能力的分类。 Zbl 1217.68146号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；劳伦特·范·贝京 6 2011 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 帕罗什·A·阿卜杜拉。；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 6 2009 单调抽象：关于参数化系统的有效验证。 Zbl 1186.68272号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；努梅内·本·亨达；艾哈迈德·雷兹 6 2009 单时钟时间自动机的普适性分析。 Zbl 1154.68063号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；卡琳·夸斯；詹姆斯·沃雷尔 6 2008 时间自动机的抽样语义。 Zbl 1214.68195号 帕维尔·克查尔；帕罗什·阿齐兹·阿卜杜拉；易、王 6 2010 比较结构良好的转换系统的表达能力。 Zbl 1179.68065号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；劳伦特·范·贝京 6 2007 密集时间Petri网：检查Zenoness、标记活性和有界性。 Zbl 1128.68057号 帕罗什·A·阿卜杜拉。；普里塔·马哈塔；理查德·梅尔。 6 2007 确保无限状态系统符号验证方法的完整性。 Zbl 0973.68146号 阿卜杜拉，P.A。；B.琼森。 5 2001 有效的有损队列语言。 Zbl 0986.68044号 帕罗什阿齐兹·阿卜杜拉；吕克·博阿松；艾哈迈德·博阿贾尼 5 2001 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；贾里·斯坦曼 5 2012 具有全局条件的无限状态过程的近似参数化验证。 Zbl 1176.68110号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 5 2009 树自动机的互模拟最小化。 Zbl 1143.68428号 帕罗什·阿齐兹·阿卜杜拉；约翰娜·霍格伯格；丽莎·卡蒂 5 2007 R-自动机。 Zbl 1160.68396号 帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 5 2008 处理具有非原子全局条件的参数化系统。 Zbl 1138.68436号 帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；乔治·德尔扎诺；艾哈迈德·雷兹 5 2008 具有大字母的非确定性自动机的最小化。 Zbl 1172.68488号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；丽莎·卡蒂；马库斯·尼尔森 4 2006 定价定时Petri网。 Zbl 1314.68199号 理查德·梅尔（Richard M.Mayr）。；帕罗什·阿齐兹·阿卜杜拉 4 2013 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；奥思曼·雷津；贾里·斯坦曼 4 2014 源集：最优动态部分降阶的基础。 Zbl 1426.68038号 帕罗什·阿齐兹·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯 4 2017 单调和向下封闭游戏。 Zbl 1133.68042号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；朱利安·多尔索 4 2008 有损信道的随机游戏。 Zbl 1138.91336号 帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；卢卡·德·阿尔法罗；Richard迈尔；斯文·桑德伯格 4 2008 带有间隙阶约束的下推自动机。 Zbl 1434.68222号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔治·德尔扎诺；安德烈亚斯·波德尔斯基 4 2013 可用性语言的决定因素是什么？ Zbl 1366.68130号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；罗兰·迈耶；萨利希、梅赫迪·塞耶德 4 2015 SAT解决Petri网的可覆盖性问题。 兹比尔1073.68057 帕罗什·阿齐兹·阿卜杜拉；S.Purushothaman，Iyer；阿莱塔·奈伦 三 2004 通过向后可达性证明活跃性。 Zbl 1151.68498号 帕罗什·阿齐兹·阿卜杜拉；本特·琼森；艾哈迈德·雷兹；马扬克省萨克塞纳 三 2006 树自动机的互模拟最小化。 Zbl 1160.68395号 帕罗什·阿齐兹·阿卜杜拉；丽莎·卡蒂；约翰娜·霍格伯格 三 2006 时间自动机的抽样通用性。 Zbl 1195.68052号 帕罗什·阿齐兹·阿卜杜拉；Krcal，帕维尔；易、王 三 2007 简化中介（最小化交替Büchi自动机）。 Zbl 1248.68280号 帕罗什·A·阿卜杜拉。；陈玉芳；卢卡什·霍利克；汤姆·沃纳 三 2009 TSO和PSO的无状态模型检查。 Zbl 1420.68115号 帕罗什·阿齐兹·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；穆罕默德·法乌齐（Mohamed Faouzi Atig）；本特·琼森；Leonardsson，卡尔；康斯坦蒂诺斯·萨戈纳斯 三 2015 在TSO下验证并发程序的对偶性的好处。 Zbl 1392.68142号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈德·博阿贾尼；Ngo、Tuan Phong 三 2016 基于语言的Petri网扩展的比较（有和无全域操作）。 Zbl 1234.68188号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；劳伦特·范·贝京 三 2009 VASS诱导MDP的定性分析。 兹比尔1475.68199 帕罗什·阿齐兹·阿卜杜拉；拉杜·乔巴努；Richard迈尔；阿诺德·桑尼尔；杰里米·斯普洛斯顿 三 2016 稠密时间Petri网的Zenoness判定性、句法有界性和标记生存性。 Zbl 1117.68445号 帕罗什·阿卜杜拉；普里塔·马哈塔；Richard迈尔 2 2004 无界Petri网的展开。 Zbl 0974.68528号 帕罗什·阿齐兹·阿卜杜拉；S.Purushothaman，Iyer；阿莱塔·奈伦 2 2000 在定价的密集时间下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；贾里·斯坦曼 2 2014 用于构建和分析系统的工具和算法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。 Zbl 1213.68016号 2 2011 封闭、开放和强健的定时网络。 Zbl 1272.68216号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；普里塔·马哈塔 2 2005 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 2 2013 使用SMT-solver分析消息传递程序。 Zbl 1410.68079号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔纳森·塞德伯格 2 2013 作用中的单调抽象。（分布式互斥算法的自动验证）。 兹比尔1161.68612 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 2 2008 树自动机的组合互模拟。 Zbl 1172.68487号 帕罗什·A·阿卜杜拉。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 2 2008 比较源集和持久集以减少部分顺序。 Zbl 1431.68062号 帕罗什·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯 2 2017 用于总存储顺序的加载缓冲语义。 Zbl 1459.68038号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈德·博阿贾尼；Ngo、Tuan Phong 2 2018 定价时间Petri网中的最小成本可达性/覆盖性。 Zbl 1234.68280号 帕罗什·阿齐兹·阿卜杜拉；Richard迈尔 2 2009 定时有损信道系统。 Zbl 1354.68163号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔纳森·塞德伯格 2 2012 完美的时间沟通很难。 兹比尔1514.68152 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；桑卡拉·纳拉亚南·克里希纳 2 2018 通道不可靠的程序存在无法确定的验证问题。 兹比尔1418.68123 帕罗什·阿齐兹·阿卜杜拉；本特·琼森 2 1994 定时Petri网的通用安全是PSPACE完整的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；拉杜·乔巴努；Richard迈尔；帕特里克·托茨克 2 2018 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；阿德瓦伊·戈博莱；克里希纳，S。；维克托·瓦菲阿迪斯 1 2021 把概率带到无限世界。 Zbl 1343.68149号 帕罗什·阿齐兹·阿卜杜拉 1 2011 树自动机的合成互模拟。 兹比尔1176.68098 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 1 2009 基于目录的一致性协议的自动验证。 兹比尔1260.68224 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 1 2009 adhoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；奥思曼·雷津；阿诺德·桑尼尔；里卡多·特拉维索 1 2016 使用前向可达性分析验证定时Petri网。 Zbl 1168.68434号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；普里塔·马哈塔；阿莱塔·奈伦 1 2007 单时钟时间自动机的基于区域的通用性分析。 Zbl 1141.68422号 帕罗什·阿齐兹·阿卜杜拉；约尔·瓦克宁；卡琳·夸斯；詹姆斯·沃雷尔 1 2007 数据多下推自动机。 Zbl 1442.68076号 帕罗什·阿齐兹·阿卜杜拉；艾斯瓦里亚，C。；穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2017 约束单调抽象：用于参数化验证的CEGAR。 Zbl 1287.68117号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；乔治·德尔扎诺；弗雷德里克·哈齐扎；Chih-Duo洪；艾哈迈德·雷兹 1 2010 视图抽象–教程（特邀论文）。 Zbl 1429.68137号 帕罗什·A·阿卜杜拉。；弗雷德里克·哈齐扎；卢卡·霍利克 1 2015 参数化验证中的单调抽象。 Zbl 1337.68164号 帕罗什·阿齐兹·阿卜杜拉 1 2008 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；阿德瓦伊·戈博莱；克里希纳，S。；维克托·瓦菲阿迪斯 1 2021 用平面抽象解决非子串约束。 兹比尔1520.68068 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；比菲省迪普；卢卡什·霍利克；胡登庚；蔡伟伦；吴志林；甄子丹 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）；桑卡拉·纳拉亚南·克里希纳 2 2018 时间Petri网的通用安全性是PSPACE完备的。 Zbl 1520.68085号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；拉杜·乔巴努；Richard迈尔；帕特里克·托茨克 2 2018 TSO和PSO的无状态模型检查。 Zbl 1380.68265号 帕罗什·阿齐兹·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；穆罕默德·法乌齐（Mohamed Faouzi Atig）；本特·琼森；Leonardsson，卡尔；康斯坦蒂诺斯·萨戈纳斯 11 2017 源集：最优动态部分降阶的基础。 Zbl 1426.68038号 帕罗什·阿齐兹·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯 4 2017 比较源集和持久集以减少部分顺序。 Zbl 1431.68062号 帕罗什·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯 2 2017 数据多下推自动机。 Zbl 1442.68076号 帕罗什·阿齐兹·阿卜杜拉；艾斯瓦里亚，C。；穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 2017 在TSO下验证并发程序的对偶性的好处。 Zbl 1392.68142号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈德·博阿贾尼；Ngo、Tuan Phong 三 2016 VASS诱导MDP的定性分析。 兹比尔1475.68199 帕罗什·阿齐兹·阿卜杜拉；拉杜·乔巴努；Richard迈尔；阿诺德·桑尼尔；杰里米·斯普洛斯顿 三 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）；本特·琼森；Leonardsson，卡尔；康斯坦蒂诺斯·萨戈纳斯 三 2015 视图抽象–教程（特邀论文）。 Zbl 1429.68137号 帕罗什·A·阿卜杜拉。；弗雷德里克·哈齐扎；卢卡·霍利克 1 2015 最优动态部分降阶。 Zbl 1284.68377号 帕罗什·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯 12 2014 无限状态能量游戏。 Zbl 1401.68139号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；彼得·霍夫曼；Richard迈尔；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号 帕罗什·阿齐兹·阿卜杜拉；Richard迈尔；阿诺德·桑尼尔；杰里米·斯普洛斯顿 11 2013 一种用于高度并发数据结构的集成规范和验证技术。 Zbl 1381.68141号 帕罗什·阿齐兹·阿卜杜拉；弗雷德里克·哈齐扎；卢卡什·霍利克；本特·琼森；艾哈迈德·雷兹 9 2013 定价定时Petri网。 Zbl 1314.68199号 理查德·梅尔（Richard M.Mayr）。；帕罗什·阿齐兹·阿卜杜拉 4 2013 带有间隙阶约束的下推自动机。 兹比尔1434.68222 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔治·德尔扎诺；安德烈亚斯·波德尔斯基 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）；陈玉芳；Leonardsson，卡尔；艾哈迈德·雷兹 7 2012 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；贾里·斯坦曼 5 2012 定时有损信道系统。 Zbl 1354.68163号 帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔纳森·塞德伯格 2 2012 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；洛伦佐·克莱门特；卢卡什·霍利克；Chih-Duo洪；Richard迈尔；汤姆·沃纳 12 2011 关于定时自组网的验证。 兹伯利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号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；卢卡什·霍利克；Richard迈尔；汤姆·沃纳 17 2010 好的（更好的）准序跃迁系统。 Zbl 1207.68219号 帕罗什·阿齐兹·阿卜杜拉 8 2010 时间自动机的抽样语义。 Zbl 1214.68195号 帕维尔·克查尔；帕罗什·阿齐兹·阿卜杜拉；易、王 6 2010 约束单调抽象：用于参数化验证的CEGAR。 Zbl 1287.68117号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；乔治·德尔扎诺；弗雷德里克·哈齐扎；Chih-Duo洪；艾哈迈德·雷兹 1 2010 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 帕罗什·A·阿卜杜拉。；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 6 2009 单调抽象：关于参数化系统的有效验证。 Zbl 1186.68272号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；努梅内·本·亨达；艾哈迈德·雷兹 6 2009 具有全局条件的无限状态过程的近似参数化验证。 Zbl 1176.68110号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷津 5 2009 简化中介（最小化交替Büchi自动机）。 Zbl 1248.68280号 帕罗什·A·阿卜杜拉。；陈玉芳；卢卡什·霍利克；汤姆·沃纳 三 2009 基于语言的Petri网扩展的比较（有和无全域操作）。 Zbl 1234.68188号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；劳伦特·范·贝京 三 2009 定价时间Petri网中的最小成本可达性/覆盖性。 Zbl 1234.68280号 帕罗什·阿齐兹·阿卜杜拉；Richard迈尔 2 2009 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 1 2009 基于目录的一致性协议的自动验证。 兹比尔1260.68224 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 1 2009 在树自动机上计算模拟。减少树自动机的有效技术。 Zbl 1134.68391号 帕罗什·A·阿卜杜拉。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 11 2008 具有动态内存堆的程序的单调抽象。 兹比尔1155.68423 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；乔纳森·塞德伯格；弗雷德里克·哈齐扎；艾哈迈德·雷兹 7 2008 单时钟时间自动机的普适性分析。 Zbl 1154.68063号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；卡琳·夸斯；詹姆斯·沃雷尔 6 2008 R-自动机。 Zbl 1160.68396号 帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 5 2008 处理具有非原子全局条件的参数化系统。 Zbl 1138.68436号 帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；乔治·德尔扎诺；艾哈迈德·雷兹 5 2008 单调和向下的封闭游戏。 Zbl 1133.68042号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；D&rsquo；奥索，朱利安 4 2008 有损信道的随机游戏。 Zbl 1138.91336号 帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；卢卡·德·阿尔法罗；Richard迈尔；斯文·桑德伯格 4 2008 作用中的单调抽象。（分布式互斥算法的自动验证）。 兹比尔1161.68612 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 2 2008 树自动机的合成互模拟。 Zbl 1172.68487号 帕罗什·A·阿卜杜拉。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 2 2008 参数化验证中的单调抽象。 Zbl 1337.68164号 帕罗什·阿齐兹·阿卜杜拉 1 2008 无传感器的定期模型检查（参数化系统的有效验证）。 Zbl 1186.68312号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；努梅内·本·亨达；艾哈迈德·雷兹 20 2007 具有全局条件的无限状态过程的参数化验证。 Zbl 1135.68461号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹 15 2007 决定性马尔可夫链。 Zbl 1131.68060号 帕罗什·A·阿卜杜拉。；努梅内·亨达。；理查德·梅尔（Richard M.Mayr）。 11 2007 比较结构良好的转换系统的表达能力。 Zbl 1179.68065号 帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；劳伦特·范·贝京 6 2007 密集定时Petri网：检查Zenones、令牌生存性和有界性。 Zbl 1128.68057号 帕罗什·A·阿卜杜拉。；普里塔·马哈塔；理查德·梅尔（Richard M.Mayr）。 6 2007 树自动机的互模拟最小化。 Zbl 1143.68428号 帕罗什·阿齐兹·阿卜杜拉；约翰娜·霍格伯格；丽莎·卡蒂 5 2007 时间自动机的抽样通用性。 Zbl 1195.68052号 帕罗什·阿齐兹·阿卜杜拉；Krcal，帕维尔；易、王 三 2007 使用前向可达性分析验证定时Petri网。 Zbl 1168.68434号 帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；普里塔·马哈塔；阿莱塔·奈伦 1 2007 单时钟时间自动机的基于区域的通用性分析。 Zbl 1141.68422号 帕罗什·阿齐兹·阿卜杜拉；约尔·瓦克宁；卡琳·夸斯；詹姆斯·沃雷尔 1 2007 贪婪的马尔可夫链。 Zbl 1161.68466号 帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；Richard迈尔；斯文·桑德伯格 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 使用前向可达性分析来验证有损信道系统。 Zbl 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号 帕罗什·阿卜杜拉；普里塔·马哈塔；Richard迈尔 2 2004 具有许多相同定时过程的系统的模型检查。 Zbl 1018.68046号 帕罗什·阿齐兹·阿卜杜拉；本特·琼森 13 2003 决定单调游戏。 Zbl 1116.68491号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；d）；奥索，朱利安 11 2003 常规模型检查中的算法改进。 Zbl 1278.68150号 帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；d）；奥索，朱利安 9 2003 具有故障通信的概率系统的验证。 Zbl 1029.68094号 帕罗什·阿齐兹·阿卜杜拉；亚历山大·拉比诺维奇 7 2003 定期树模型检查。 Zbl 1010.68087号 帕罗什阿齐兹·阿卜杜拉；本特·琼森；普里塔·马哈塔；d）；奥索，朱利安 12 2002 定期模型检查简单高效。 Zbl 1012.68134号 帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；d）；奥索，朱利安 10 2002 定时Petri网和BQO。 Zbl 0986.68092号 帕罗什阿齐兹·阿卜杜拉；阿莱塔·奈伦 28 2001 确保无限状态系统符号验证方法的完整性。 Zbl 0973.68146号 阿卜杜拉，P.A。；B.琼森。 5 2001 有效的有损队列语言。 Zbl 0986.68044号 帕罗什阿齐兹·阿卜杜拉；吕克·博阿松；艾哈迈德·博阿贾尼 5 2001 具有良好拟序域的程序的算法分析。 Zbl 1046.68567号 帕罗什·阿齐兹·阿卜杜拉；采拉人、库尔利斯人；本特·琼森；Tsay，Yih-Kuen先生 47 2000 基于SAT求解器的符号可达性分析。 Zbl 0971.68633号 帕罗什·阿齐兹·阿卜杜拉；比杰西，佩尔；尼古拉斯·埃恩 11 2000 概率有损信道系统的推理。 Zbl 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 桑卡拉·纳拉亚南·克里希纳 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 洛伊奇，Hélouët 4 丽莎·卡蒂 4 马丁·兰格 4 罗兰·迈耶 4 安卡·穆斯科尔 4 塞巴斯蒂安·马斯卡拉 4 雷诺·尼斯卡宁 4 乔尔·欧·瓦克宁。 4 伊戈尔·波塔波夫 4 Jean-François拉斯金 4 米哈伊尔·拉斯金 4 普拉卡什·塞瓦桑 4 Tsay，Yih-Kuen先生 4 托马斯·沃尔 4 海克·卫尔海姆 4 詹姆斯·沃雷尔。 4 吉安路易吉·扎瓦塔罗 三 亨利克·比约克隆德 三 米卡·布莱迪 三 瓦茨拉夫·布罗泽克 三 特夫菲克·布尔坦 三 托马斯·科尔科姆贝特 三 当、哲 三 维伦达·戴夫 三 戴维·德·弗鲁托斯·埃斯克里格 三 Stéphane P.德姆里。 三 辛齐亚·迪·朱斯托 三 西蒙·多尔蒂 三 布里杰什·多戈尔 三 迈克尔·埃米 三 法比奥·菲奥拉万蒂 三 塞斯·福格蒂。 三 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） 71 数学逻辑和基础（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） 按年份列出的引文