编辑配置文件(在新选项卡中打开) 本杰明·阿米诺夫 合著者距离 作者ID: 氨基丁酸 发布日期: 本杰明·阿米诺夫 编入索引的文档: 24出版物自2005年以来 合著者: 18位合著者具有24联合出版物 608合著作者 全部的 前5名合著者 0 单作者的 13 萨沙·鲁宾 9 奥尔纳·库普弗曼 8 阿尼埃洛·穆拉诺 4 罗比·兰伯特 4 弗洛里安·祖勒格 三 弗朗西斯科·斯佩尼 2 托默·科特克 2 莫西·亚亚科夫·瓦尔迪 2 赫尔穆特·维思 1 鲍尔,托马斯 1 瑞典雅各布斯 1 阿伊拉特·哈利莫夫 1 Legay、Axel 1 奥马尔·列夫 1 瓦迪姆·马尔文 1 奥利维尔·塞雷 1 伊利娜·斯托尔科夫斯卡 1 约瑟夫·威德 系列 5 信息与计算 1 人工智能 1 理论计算机科学 1 分布式计算 1 ACM算法事务 领域 24 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用124中的次91文件 引用人▼ 年份▼ 令牌传递系统的参数化模型检查。 兹比尔1428.68180 本杰明·阿米诺夫;瑞典雅各布斯;阿伊拉特·哈利莫夫;萨沙·鲁宾 14 2014 第一周期游戏。 Zbl 1371.91019号 本杰明·阿米诺夫;萨沙·鲁宾 12 2017 用加权自动机推理在线算法。 Zbl 1300.68071号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 12 2010 交会系统的参数化模型检查。 Zbl 1417.68112号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 10 2014 战略逻辑中的分级模式。 Zbl 1395.68254号 本杰明·阿米诺夫;瓦迪姆·马尔文;阿尼埃洛·穆拉诺;萨沙·鲁宾 10 2018 改进了分层系统的模型检查。 Zbl 1277.68130号 本杰明·阿米诺夫;奥尔纳·库普弗曼;阿尼埃洛·穆拉诺 9 2012 参数化定时网络的活性。 兹比尔1440.68170 本杰明·阿米诺夫;萨沙·鲁宾;弗洛里安·祖勒格;弗朗西斯科·斯佩尼 8 2015 加权自动机的严格近似确定。 Zbl 1291.68224号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 6 2013 交会系统的参数化模型检查。 Zbl 1451.68165号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 6 2018 用不完善的信息检查下推模块。 Zbl 1282.68166号 本杰明·阿米诺夫;Legay、Axel;阿尼埃洛·穆拉诺;奥利维尔·塞雷;莫舍·瓦尔迪。 6 2013 通过抽象对同步分布式算法进行参数化模型检查。 Zbl 1446.68086号 本杰明·阿米诺夫;萨沙·鲁宾;伊利娜·斯托尔科夫斯卡;约瑟夫·威德;弗洛里安·祖勒格 5 2018 在线算法的形式化分析。 Zbl 1348.68298号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 4 2011 关于参数化系统中通信原语的表达能力。 Zbl 1471.68160号 本杰明·阿米诺夫;萨沙·鲁宾;弗洛里安·祖勒格 4 2015 关于具有过渡公平性的系统的推理。 Zbl 1108.68486号 本杰明·阿米诺夫;鲍尔,托马斯;奥尔纳·库普弗曼 三 2005 通过组合方法对参数化多令牌系统进行模型检查。 Zbl 1476.68144号 本杰明·阿米诺夫;萨沙·鲁宾 三 2016 在CTL*上使用分级路径模式。 Zbl 1471.68126号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 三 2015 使用分级路径模式的CTL(^\ast)。 Zbl 1407.03028号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 2 2018 第一轮自行车比赛。 Zbl 1464.91023号 本杰明·阿米诺夫;萨沙·鲁宾 2 2014 用加权自动机推理在线算法。 Zbl 1422.68318号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 2 2009 非确定Büchi和co-Büchi-词自动机的相对简洁性。 Zbl 1182.68098号 本杰明·阿米诺夫;奥尔纳·库普弗曼;奥马尔·列夫 1 2008 使用不完善的信息进行下推模块检查。 Zbl 1151.68468号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 1 2007 关于不确定性的简洁性。 Zbl 1161.68508号 本杰明·阿米诺夫;奥尔纳·库普弗曼 1 2006 战略逻辑中的分级模式。 Zbl 1395.68254号 本杰明·阿米诺夫;瓦迪姆·马尔文;阿尼埃洛·穆拉诺;萨沙·鲁宾 10 2018 交会系统的参数化模型检查。 Zbl 1451.68165号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 6 2018 通过抽象对同步分布式算法进行参数化模型检查。 Zbl 1446.68086号 本杰明·阿米诺夫;萨沙·鲁宾;伊利娜·斯托尔科夫斯卡;约瑟夫·威德;弗洛里安·祖勒格 5 2018 具有分级路径模式的CTL\(^\ast\)。 Zbl 1407.03028号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 2 2018 第一周期游戏。 Zbl 1371.91019号 本杰明·阿米诺夫;萨沙·鲁宾 12 2017 通过组合方法对参数化多令牌系统进行模型检查。 Zbl 1476.68144号 本杰明·阿米诺夫;萨沙·鲁宾 三 2016 参数化定时网络的活性。 Zbl 1440.68170号 本杰明·阿米诺夫;萨沙·鲁宾;弗洛里安·祖勒格;弗朗西斯科·斯佩尼 8 2015 关于参数化系统中通信原语的表达能力。 Zbl 1471.68160号 本杰明·阿米诺夫;萨沙·鲁宾;弗洛里安·祖勒格 4 2015 在CTL*上使用分级路径模式。 Zbl 1471.68126号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 三 2015 令牌传递系统的参数化模型检查。 Zbl 1428.68180号 本杰明·阿米诺夫;瑞典雅各布斯;阿伊拉特·哈利莫夫;萨沙·鲁宾 14 2014 交会系统的参数化模型检查。 Zbl 1417.68112号 本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 10 2014 第一轮自行车比赛。 Zbl 1464.91023号 本杰明·阿米诺夫;萨沙·鲁宾 2 2014 加权自动机的严格近似确定。 Zbl 1291.68224号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 6 2013 用不完善的信息检查下推模块。 Zbl 1282.68166号 本杰明·阿米诺夫;Legay、Axel;阿尼埃洛·穆拉诺;奥利维尔·塞雷;莫舍·瓦尔迪。 6 2013 改进了分层系统的模型检查。 Zbl 1277.68130号 本杰明·阿米诺夫;奥尔纳·库普弗曼;阿尼埃洛·穆拉诺 9 2012 在线算法的形式化分析。 Zbl 1348.68298号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 4 2011 用加权自动机推理在线算法。 Zbl 1300.68071号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 12 2010 用加权自动机推理在线算法。 兹比尔1422.68318 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 2 2009 非确定Büchi和co-Büchi-词自动机的相对简洁性。 Zbl 1182.68098号 本杰明·阿米诺夫;奥尔纳·库普弗曼;奥马尔·列夫 1 2008 用不完善的信息检查下推模块。 Zbl 1151.68468号 本杰明·阿米诺夫;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 1 2007 关于不确定性的简洁性。 Zbl 1161.68508号 本杰明·阿米诺夫;奥尔纳·库普弗曼 1 2006 推理具有过渡公平性的系统。 Zbl 1108.68486号 本杰明·阿米诺夫;鲍尔,托马斯;奥尔纳·库普弗曼 三 2005 所有引用出版物 前5名被引用出版物 全部的 前5名157位作者引用 15 阿尼埃洛·穆拉诺 10 奥尔纳·库普弗曼 9 萨沙·鲁宾 8 本杰明·阿米诺夫 8 帕特里夏·鲍耶 5 乌迪·博克 5 尼古拉斯·马基 5 米凯尔·兰多尔 4 尤索夫·乌阿尔哈德 4 朱塞佩·佩雷利 4 洛雷达纳·索伦蒂诺 4 弗朗西斯科·斯佩尼 4 弗洛里安·祖勒格 三 阿夫尼,盖伊 三 劳拉·博泽利 三 保罗·加斯丁 三 伊戈尔·康诺夫(Igor V.Konnov)。 三 瓦迪姆·马尔文 三 皮埃尔·范登霍夫 三 莫西·亚亚科夫·瓦尔迪 三 约瑟夫·威德 2 帕罗什·阿齐兹·阿卜杜拉 2 米拉德·阿加乔哈里 2 博尔贾·巴勒 2 弗朗西斯科·贝拉迪内利 2 贝内迪克特·博利格 2 马吕斯·博兹加 2 安东尼奥·迪·斯塔西奥 2 哈维尔·埃斯帕尔扎 2 劳里·T·海拉。 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 拉杜·奥西夫 2 丹尼斯·库珀伯格 2 安蒂·库西斯托 2 金·古德斯特兰·拉森 2 西蒙·劳尔森 2 卡罗琳娜·莱赫蒂宁 2 圣埃芬·勒鲁 2 阿尼尔班·马朱姆达尔 2 贾库布·米查利辛 2 法比奥·莫加维罗 2 梅赫里亚·莫赫里 2 帕维尔·G·瑙莫夫。 2 奥托普,简 2 吉列尔莫·A·佩雷斯。 2 阿德里亚诺·佩隆 2 Jean-François拉斯金 2 雷恩·Rönnholm 2 阿诺德·桑尼尔 2 约瑟夫·西法基斯 2 卢卡·斯帕拉齐 2 凯文·斯蒂尔 2 塔米尔、塔米 1 福阿德·阿布贾拉德 1 Nazareno M.阿吉雷。 1 西里亚克·艾斯瓦里亚 1 沙乌尔·阿尔马戈 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 保罗·C·阿蒂。 1 Balasubramanian,A.R。 1 贝拉德,贝特里奇 1 Jean-Louis Boimond 1 托马斯·布拉兹迪尔 1 达里奥·卡洛特努托 1 巴勃罗·卡斯特罗。 1 克里希南德·查特吉 1 拉杜·乔巴努 1 威廉·L·科克。 1 罗德卡·孔杜拉克 1 乔治·德尔扎诺 1 拉米罗·德马西 1 卡亚·德乌瑟 1 克莱尔·狄克逊 1 弗雷德里克·德班德 1 弗雷德里克·多塞特 1 安托万杜兰·加塞林 1 塞巴斯蒂安·恩奎斯特 1 马可·费拉 1 瑞秋·法拉 1 托马斯·费勒 1 安吉洛·费兰多 1 艾曼纽·菲利奥特 1 玛丽·何塞·福廷 1 法语,蒂姆 1 皮埃尔·甘蒂 1 帕特里克·加迪 1 奥利维·高文 1 瓦伦丁·F·戈兰科。 1 霍恩,弗洛里安 1 保罗·亨特 1 曼弗雷德·贾格尔 1 沃伊切赫·贾姆罗加 1 季一丁 1 简·科门达 1 Konikowska,比塔 1 托默·科特克 1 帕纳吉奥蒂斯·库瓦罗斯 1 简·Křetínsk 1 安东尼·库塞拉 1 朱尔·库科维奇 …还有57位作者 全部的 前5名18篇连载文章中引用 11 信息与计算 9 理论计算机科学 7 人工智能 6 计算机科学中的逻辑方法 三 系统设计中的形式化方法 三 ACM计算逻辑事务 2 信息学报 2 Automatica公司 2 国际计算机科学基础杂志 2 分布式计算 2 程序设计中的逻辑和代数方法杂志 1 计算机与系统科学杂志 1 计算的形式方面 1 离散事件动态系统 1 数学与人工智能年鉴 1 计算系统理论 1 计算机基础理论 1 算法 全部的 前5名在8个字段中引用 86 计算机科学(68至XX) 19 博弈论、经济学、金融和其他社会和行为科学(91-XX) 18 数学逻辑和基础(03-XX) 三 系统论;控制(93至XX) 2 组合数学(05-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文