编辑配置文件（在新选项卡中打开） 阿诺德·桑尼尔 合著者距离 作者ID： 桑尼尔·阿尔诺 发布日期： 阿诺德·桑尼尔 已编制索引的文档： 36出版物自2007年起 合著者： 38位合著者具有36份联合出版物 777合著作者 全部的 前5名合著者 0 单作者的 8 乔治·德尔扎诺 8 Stéphane P.德姆里。 5 阿米特·库马尔·达尔 5 里卡多·特拉维索 4 帕罗什·阿齐兹·阿卜杜拉 4 贝内迪克特·博利格 4 阿兰·芬克尔 三 Nathalie Bertrand 三 杰里米·斯普洛斯顿 三 吉安路易吉·扎瓦塔罗 2 波林·福尼尔 2 兰科·拉齐奇 2 尼古拉斯·马基 2 理查德·梅尔（Richard M.Mayr）。 2 卡琳·夸斯 2 奥思曼·雷津 2 奥利维尔·斯蒂特尔 1 佛罗伦萨Bouchy 1 帕特里夏·鲍耶 1 拉杜·乔巴努 1 达维德·达普利 1 诺曼·戴克 1 苏珊娜·多纳泰利 1 彼得·哈贝梅尔 1 霍恩，弗洛里安 1 拉杜·奥西夫 1 巴巴拉·科尼格 1 弗朗索瓦·拉鲁西尼 1 马丁·勒克 1 艾蒂安·洛兹 1 波托普·布图卡鲁，玛丽亚·格拉迪纳利 1 米凯尔·兰多尔 1 皮埃尔·阿莱·雷尼尔 1 斯坦，丹尼尔 1 一月，Stückrath 1 纳塔利·斯兹纳杰德 1 丹尼尔·托马 1 塞巴斯蒂安·蒂谢尔 系列 三 理论计算机科学 1 信息与计算 1 系统设计中的形式化方法 1 计算机基础理论 1 计算机科学中的逻辑方法 领域 36 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 35出版物有被引用175中的次103文件 引用人▼ 年份▼ 特设网络的参数化验证。 Zbl 1287.68106号 乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗 17 2010 论派系在adhoc网络参数化验证中的作用。 Zbl 1326.68040号 乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗 11 2011 可重构广播网络中参数化可达性的复杂性。 Zbl 1354.68014号 乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索;吉安路易吉·扎瓦塔罗 11 2012 求解整数向量上的奇偶校验对策。 Zbl 1390.68452号 帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 11 2013 注册自动机广播网络的参数化验证。 Zbl 1355.68175号 乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索 9 2013 弱时间Petri网反击！ Zbl 1254.68180号 皮埃尔·阿莱·雷尼尔;阿诺德·桑尼尔 8 2009 关于图变换系统中可达性和覆盖性的可判定状态。 Zbl 1437.68077号 Nathalie Bertrand;乔治·德尔扎诺;巴巴拉·科尼格;阿诺德·桑尼尔;一月，Stückrath 8 2012 在可重构广播网络中玩概率游戏。 Zbl 1405.68179号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 8 2014 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 7 2011 重新访问反向边界计数器。 Zbl 1173.68562号 阿兰·芬克尔;阿诺德·桑尼尔 7 2008 当模型检查冻结时，柜台上的LTL机器变得可判定。 Zbl 1284.68394号 斯特凡·德姆里;阿诺德·桑尼尔 6 2010 验证具有有限幺半群性质的平面仿射计数器系统有多难？ Zbl 1398.68311号 拉杜·奥西夫;阿诺德·桑尼尔 5 2016 单计数器自动机上的模型检查记忆线性时间逻辑。 Zbl 1334.68131号 斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 5 2010 模型检查通过单计数器自动机冻结LTL。 Zbl 1139.68038号 斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 5 2008 驯服过去的LTL和扁平计数器系统。 Zbl 1358.68186号 斯特凡·德姆里;阿米特·库马尔;阿诺德·桑尼尔 5 2012 驯服过去的LTL和扁平计数器系统。 Zbl 1378.68112号 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 5 2015 关于验证平面计数器系统正则性的复杂性。 Zbl 1334.68130号 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 5 2013 混合覆盖性和可达性，用一个零测试分析VASS。 兹比尔1274.68230 阿兰·芬克尔;阿诺德·桑尼尔 4 2010 模型检查计算平面结构上的时序逻辑。 Zbl 1442.68105号 诺曼·戴克;彼得·哈贝梅尔;马丁·勒克;阿诺德·桑尼尔;丹尼尔·托马 4 2017 随机调度器下注册协议在网络中的可达性。 Zbl 1388.68195号 帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;阿诺德·桑尼尔;斯坦，丹尼尔 4 2016 模型检查平面计数器系统和Presburger算法之间的等效性。 Zbl 1393.68101号 斯特凡·德姆里;阿米特·达尔;阿诺德·桑尼尔 4 2014 面向带有列表的模型检查程序。 Zbl 1258.68094号 阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔 三 2009 VASS诱导MDP的定性分析。 Zbl 1475.68199号 帕罗什·阿齐兹·阿卜杜拉;拉杜·乔巴努;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 三 2016 广播网络中的分布式本地策略。 Zbl 1374.68062号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 三 2015 确定参数化rendez-vous网络中截断的存在性。 Zbl 07559502号 霍恩，弗洛里安;阿诺德·桑尼尔 三 2020 环形机器人遗忘算法的参数化验证。 Zbl 1506.68058号 阿诺德·桑尼尔;纳塔利·斯兹纳杰德;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 2 2020 \（\mathsf{ATL}_\mathit{sc}\），部分观察。 Zbl 1476.68151号 弗朗索瓦·拉鲁西尼;尼古拉斯·马基;阿诺德·桑尼尔 2 2015 平冻LTL的复杂性。 Zbl 1442.68102号 贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔 2 2017 从时间Petri网到时间自动机：一种不计时的方法。 Zbl 1186.68252号 达维德·达普利;苏珊娜·多纳泰利;阿诺德·桑尼尔;杰里米·斯普洛斯顿 2 2007 模型检查平面计数器系统和Presburger算法之间的等效性。 Zbl 1393.68100号 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 1 2018 adhoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 1 2016 平冻LTL的复杂性。 Zbl 1442.68101号 贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔 1 2019 通过广播向参数化网络添加数据寄存器。 Zbl 1357.68111号 乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索 1 2016 定时计数器系统的可达性。 Zbl 1347.68255号 佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔 1 2009 具有两个数据值的本地一阶逻辑。 Zbl 07799617号 贝内迪克特·博利格;阿诺德·桑尼尔;奥利维尔·斯蒂特尔 1 2021 具有两个数据值的本地一阶逻辑。 Zbl 07799617号 贝内迪克特·博利格;阿诺德·桑尼尔;奥利维尔·斯蒂特尔 1 2021 确定参数化rendez-vous网络中截断的存在性。 Zbl 07559502号 霍恩，弗洛里安;阿诺德·桑尼尔 三 2020 环形机器人遗忘算法的参数化验证。 Zbl 1506.68058号 阿诺德·桑尼尔;纳塔利·斯兹纳杰德;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 2 2020 平冻LTL的复杂性。 Zbl 1442.68101号 贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔 1 2019 模型检查平面计数器系统和Presburger算法之间的等效性。 Zbl 1393.68100号 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 1 2018 模型检查计算平面结构上的时序逻辑。 Zbl 1442.68105号 诺曼·戴克;彼得·哈贝梅尔;马丁·勒克;阿诺德·桑尼尔;丹尼尔·托马 4 2017 平冻LTL的复杂性。 Zbl 1442.68102号 贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔 2 2017 验证具有有限幺半群性质的平面仿射计数器系统有多难？ Zbl 1398.68311号 拉杜·奥西夫;阿诺德·桑尼尔 5 2016 随机调度器下注册协议在网络中的可达性。 Zbl 1388.68195号 帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;阿诺德·桑尼尔;斯坦，丹尼尔 4 2016 VASS诱导的MDPs的定性分析。 Zbl 1475.68199号 帕罗什·阿齐兹·阿卜杜拉;拉杜·乔巴努;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 三 2016 adhoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 1 2016 通过广播向参数化网络添加数据寄存器。 Zbl 1357.68111号 乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索 1 2016 驯服过去的LTL和扁平计数器系统。 Zbl 1378.68112号 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 5 2015 广播网络中的分布式本地策略。 Zbl 1374.68062号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 三 2015 \（\mathsf｛ATL｝_\mathit{sc}\），部分观察。 Zbl 1476.68151号 弗朗索瓦·拉鲁西尼;尼古拉斯·马基;阿诺德·桑尼尔 2 2015 在可重构广播网络中玩概率游戏。 Zbl 1405.68179号 Nathalie Bertrand;波林·福尼尔;阿诺德·桑尼尔 8 2014 模型检查平面计数器系统和Presburger算法之间的等效性。 Zbl 1393.68101号 斯特凡·德姆里;阿米特·达尔;阿诺德·桑尼尔 4 2014 求解整数向量上的奇偶博弈。 Zbl 1390.68452号 帕罗什·阿齐兹·阿卜杜拉;理查德·迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 11 2013 注册自动机广播网络的参数化验证。 Zbl 1355.68175号 乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索 9 2013 关于验证平面计数器系统正则性的复杂性。 兹比尔1334.68130 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 5 2013 可重构广播网络中参数化可达性的复杂性。 Zbl 1354.68014号 乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉维索;吉安路易吉·扎瓦塔罗 11 2012 关于图变换系统中可达性和覆盖性的可判定状态。 Zbl 1437.68077号 Nathalie Bertrand;乔治·德尔扎诺;巴巴拉·科尼格;阿诺德·桑尼尔;Stückrath，简 8 2012 驯服过去的LTL和扁平计数器系统。 Zbl 1358.68186号 斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 5 2012 论派系在adhoc网络参数化验证中的作用。 Zbl 1326.68040号 乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗 11 2011 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 7 2011 特设网络的参数化验证。 Zbl 1287.68106号 乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗 17 2010 当模型检查冻结时，柜台上的LTL机器变得可判定。 Zbl 1284.68394号 斯特凡·德姆里;阿诺德·桑尼尔 6 2010 在一个计数器自动机上对有记忆的线性时间逻辑进行模型检查。 Zbl 1334.68131号 斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 5 2010 混合覆盖性和可达性，用一个零测试分析VASS。 Zbl 1274.68230号 阿兰·芬克尔;阿诺德·桑尼尔 4 2010 弱时间Petri网反击！ Zbl 1254.68180号 皮埃尔·阿莱·雷尼尔;阿诺德·桑尼尔 8 2009 面向带有列表的模型检查程序。 Zbl 1258.68094号 阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔 三 2009 定时计数器系统的可达性。 Zbl 1347.68255号 佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔 1 2009 重新访问反向边界计数器。 Zbl 1173.68562号 阿兰·芬克尔;阿诺德·桑尼尔 7 2008 模型检查在一个计数器自动机上冻结LTL。 Zbl 1139.68038号 斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 5 2008 从时间Petri网到时间自动机：一种不定时的方法。 Zbl 1186.68252号 D&rsquo；戴维德·阿普里尔;苏珊娜·多纳泰利;阿诺德·桑尼尔;杰里米·斯普洛斯顿 2 2007 所有引用出版物 前5名被引用出版物 全部的 前5名186位作者引用 14 阿诺德·桑尼尔 10 Stéphane P.德姆里。 9 阿兰·芬克尔 6 Balasubramanian，A.R。 5 帕罗什·阿齐兹·阿卜杜拉 5 迈克尔·布隆丁 5 米哈伊尔·拉斯金 4 贝内迪克特·博利格 4 哈维尔·埃斯帕尔扎 4 洛依茨海露 4 理查德·梅尔（Richard M.Mayr）。 4 菲利普·马佐维耶基 4 M·普拉文。 三 阿克沙伊，S。 三 本杰明·阿米诺夫 三 乔治·德尔扎诺 三 阿米特·库马尔 三 奥尔纳·库普弗曼 三 兰科·拉齐奇 三 卡琳·夸斯 三 奥思曼·雷津 三 萨沙·鲁宾 三 西尔万·施密茨 2 普拉奈阿格拉瓦尔 2 娜塔莎·亚历奇纳 2 Nathalie Bertrand 2 博克，乌迪 2 佛罗伦萨Bouchy 2 帕特里夏·鲍耶 2 克里斯蒂安·乔夫鲁特 2 雷娜·迪米特洛娃 2 保罗·加斯丁 2 布莱斯·基内斯特 2 谢尔盖·格里戈里夫 2 克里斯托夫·哈斯 2 奥斯卡·H·伊巴拉。 2 彼得·扬查尔 2 阿伊拉特·哈利莫夫 2 杰罗姆·勒鲁 2 洛根，布莱恩 2 阿尼尔班·马朱姆达尔 2 鲁帕克·马朱姆达尔 2 伊恩·麦克奎伦 2 罗兰·梅耶 2 吉列尔莫·A·佩雷斯。 2 普拉卡什·塞瓦桑 2 弗朗西斯科·斯佩尼 2 里卡多·特拉维索 2 查纳·韦尔·肯尼迪 2 詹姆斯·沃雷尔。 1 沙乌尔·阿尔马戈 1 大卫·安德烈 1 克劳迪奥·安吉奥内 1 布莱尔·阿奇博尔德 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 蒂鲍特·巴拉邦斯基 1 鲍曼，帕斯卡 1 巴托斯·贝德纳西克 1 弗朗西斯科·贝拉迪内利 1 马尔塞洛·玛丽亚·贝尔萨尼 1 阿什温·巴斯卡 1 斯坦尼斯拉夫·博姆 1 雷米·布罗赫宁 1 维罗尼克·布鲁埃 1 牛，尼尔斯 1 卡拉披萨，G。 1 查克拉波蒂，苏普拉特克 1 尚巴特，皮埃尔 1 Chane-Yack-Fa，拉斐尔 1 克里希南德·查特吉 1 彼得·奇尼 1 拉杜·乔巴努 1 内森·科恩 1 Sylvain Conchon公司 1 科斯坦萨，J。 1 菲利普·泽纳 1 沃伊切赫，切尔文斯基 1 弗拉维奥·达莱桑德罗 1 达斯，安库什 1 De Oliveira奥利维拉，马特乌斯 1 诺曼·戴克 1 贝诺·德拉哈耶 1 阿梅利·德尔加 1 米希尔·德瓦斯卡 1 莱奥·埃克巴德 1 瑞秋·法拉 1 保罗·费利 1 冯世光 1 安吉洛·费兰多 1 迭戈·菲格拉 1 艾曼纽·菲利奥特 1 玛丽·何塞·福廷 1 马克·弗拉皮耶 1 摩西·加纳迪 1 皮埃尔·甘蒂 1 法特梅·加塞米 1 雨果·金伯特 1 凯伦·戈达里·德杰恩 1 斯特凡·格勒 1 瓦伦丁·F·戈兰科。 …还有86位作者 全部的 前5名19篇连载文章中引用 11 计算机科学中的逻辑方法 10 信息与计算 8 理论计算机科学 4 计算机与系统科学杂志 三 计算的形式方面 三 分布式计算 三 系统设计中的形式化方法 三 ACM计算逻辑事务 2 计算机基础理论 1 信息学报 1 人工智能 1 计算 1 编程和计算机软件 1 纯逻辑与应用逻辑年鉴 1 离散事件动态系统 1 应用非经典逻辑杂志 1 数学科学杂志（纽约） 1 计算系统理论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 100 计算机科学（68至XX） 30 数学逻辑和基础（03-XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 生物学和其他自然科学（92-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文