编辑配置文件（在新选项卡中打开） 尼古拉·贝内什 合著者距离 作者ID： 贝内斯·尼科拉 发布日期： 尼古拉·贝内什；北卡罗来纳州贝内什。；尼古拉·贝内斯；北卡罗来纳州贝内斯。 更多。。。较少的 已编制索引的文档： 35出版物自2006年起 合著者： 31位合著者具有34联合出版物 491位联合作者 全部的 前5名合著者 0 单作者的 14 卢博什·布里姆 11 简·Křetínsk 11 塞缪尔·帕斯特瓦 11 萨夫拉内克，大卫 10 伊万娜·乔纳 7 JiříBarnat 7 金·古德斯特兰·拉森 7 吉·斯尔巴 4 彼得·贝兹克 三 雅罗斯拉夫·本迪克 三 米凯尔·哈克杰·默勒 2 马丁·德姆科 2 乌里·法伦贝格 2 Legay、Axel 2 吉里·索科尔 2 Štefaňák，Filip 2 瓦埃科娃，帕夫利纳 1 彼得·鲍赫 1 简·伯兰 1 布诺娃，B。 1 贝诺·德拉哈耶 1 贾纳，德拉日阿诺娃 1 马特杰·哈伊纳尔 1 沃伊特·哈维尔 1 贾库布·卡德莱卡 1 托马斯·克拉托奇维拉 1 科瓦内克，米兰 1 所罗门·西克特 1 伊娃·什米亚科娃 1 路易斯·马里·特劳努埃兹 1 巴博拉·齐默洛娃 全部的 前5名系列 2 信息与计算 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 1 国际应用科学与工程分叉与混沌杂志 1 非线性科学杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 31 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 5 生物学和其他自然科学（92-XX） 4 动力系统和遍历理论（37至XX） 4 系统论；控制（93至XX） 2 组合数学（05-XX） 1 偏微分方程（35-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用145中的次84文件 引用人▼ 年份▼ 连续时间参数时间自动机的语言空虚性。 Zbl 1440.68150号 尼古拉·贝内什；彼得·贝兹克；Larsen，Kim G。；吉·斯尔巴 15 2015 关于KdV 2-孤子的分解。 Zbl 1106.35075号 北卡罗来纳州贝内斯。；A.卡斯曼。；Young，K。 14 2006 模态转换系统：组成和LTL模型检查。 Zbl 1348.68119号 尼古拉·贝内什；伊万娜·乔纳；简·Křetínsk 13 2011 论模态转换系统中的决定论。 Zbl 1186.68314号 北卡罗来纳州贝内什。；Křetínsk \345]，J。；拉森，K.G。；斯尔巴，J。 13 2009 完成EXPTIME-检查模态转换系统的彻底细化。 兹比尔1250.68117 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；吉·斯尔巴 9 2009 AEON：参数化布尔网络的吸引子分岔分析。 Zbl 1478.68085号 尼古拉·贝内什；卢博什·布里姆；Jakub Kadlecaj；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 9 2020 具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 兹比尔1271.68131 尼古拉·贝内什；贝诺·德拉哈耶；乌里·法伦贝格；简·Křetínsk；Legay、Axel 8 2013 参数模态转换系统。 Zbl 1348.68120号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；Møller，Mikael H。；吉·斯尔巴 8 2011 参数时间自动机的LTL参数综合。 Zbl 1390.68422号 彼得·贝兹克；尼古拉·贝内什；JiříBarnat；伊万娜·乔纳 7 2016 EXPTIME-对模态转换系统进行彻底细化的完整性。 Zbl 1282.68118号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；吉·斯尔巴 4 2012 基于可判定SMT的非线性动力系统的面抽象。 Zbl 07120145号 尼古拉·贝内什；卢博什·布里姆；贾纳，德拉日阿诺娃；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 4 2019 分析航空电子系统需求的健全性。 Zbl 1335.68131号 JiříBarnat；彼得·鲍赫；尼古拉·贝内什；卢博什·布里姆；简·伯兰；托马斯·克拉托奇维拉 4 2016 在参数不确定的生物模型中检测吸引子。 Zbl 1416.92068号 JiříBarnat；尼古拉·贝内什；卢博什·布里姆；马丁·德姆科；马特杰·哈伊纳尔；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 4 2017 所有最小不可满足子集的递归在线枚举。 Zbl 1517.68265号 雅罗斯拉夫·本迪克；伊万娜·乔纳；尼古拉·贝内什 三 2018 模态转换系统的过程代数。 Zbl 1247.68183号 尼古拉·贝内什；简·Křetínsk 三 2011 具有持续时间的双价格模式转换系统。 兹比尔1352.68144 尼古拉·贝内什；简·Křetínsk；金·古德斯特兰·拉森；Møller，Mikael H。；吉·斯尔巴 三 2012 参数模态转换系统的精化检查。 Zbl 1309.68130号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；Møller，Mikael H。；所罗门·西克特；吉·斯尔巴 三 2015 状态/事件LTL的部分订单减少。 Zbl 1211.68244号 尼古拉·贝内什；布里姆，卢博斯；伊万娜·乔纳；吉里·索科尔；瓦埃科娃，帕夫利纳；巴博拉·齐默洛娃 三 2009 离散分岔分析的模型检验方法。 Zbl 1427.68159号 尼古拉·贝内什；卢博什·布里姆；马丁·德姆科；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 三 2016 可调在线MUS/MSS枚举。 兹比尔1391.68099 雅罗斯拉夫·本迪克；尼古拉·贝内斯；伊万娜·塞尔纳；吉尔·巴纳特 三 2016 符号彩色SCC分解。 Zbl 1474.68210号 尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 2 2021 使用过渡引导约简符号计算底部SCC。 兹比尔1493.68240 尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 2 2021 时间自动机的时钟LTL参数综合。 Zbl 1395.68164号 彼得·贝兹克；尼古拉·贝内什；伊万娜·乔纳；JiříBarnat 2 2018 定时自动机的时钟软件LTL属性。 Zbl 1432.68256号 彼得·贝兹克；尼古拉·贝内什；沃伊特·哈维尔；JiříBarnat；伊万娜·乔纳 2 2014 组件交互自动机的空间有效模型检查。 Zbl 1247.68159号 尼古拉·贝内什；科瓦内克，米兰；Štefaňák，Filip 1 2009 状态/事件LTL的部分降阶及其在组件交互自动机中的应用。 Zbl 1220.68048号 北卡罗来纳州贝内什。；布里姆·L。；布诺娃，B。；乔纳，I。；J·索科尔。；瓦·埃科娃，P。 1 2011 逻辑规范与行为规范。 Zbl 1435.68189号 尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 1 2020 基于BDD的边色图SCC分解算法。 Zbl 07566051号 尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 1 2022 基于BDD的边色图SCC分解算法。 Zbl 07566051号 尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 1 2022 符号彩色SCC分解。 Zbl 1474.68210号 尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 2 2021 使用过渡引导约简符号计算底部SCC。 Zbl 1493.68240号 尼古拉·贝内什；卢博什·布里姆；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 2 2021 AEON：参数化布尔网络的吸引子分岔分析。 Zbl 1478.68085号 尼古拉·贝内什；卢博什·布里姆；贾库布·卡德莱卡；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 9 2020 逻辑规范与行为规范。 Zbl 1435.68189号 尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 1 2020 基于可判定SMT的非线性动力系统的面抽象。 Zbl 07120145号 尼古拉·贝内什；卢博什·布里姆；贾纳，德拉日阿诺娃；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 4 2019 所有最小不可满足子集的递归在线枚举。 Zbl 1517.68265号 雅罗斯拉夫·本迪克；伊万娜·乔纳；尼古拉·贝内什 三 2018 时间自动机的时钟LTL参数综合。 Zbl 1395.68164号 彼得·贝兹克；尼古拉·贝内什；伊万娜·乔纳；JiříBarnat 2 2018 在参数不确定的生物模型中检测吸引子。 Zbl 1416.92068号 JiříBarnat；尼古拉·贝内什；卢博什·布里姆；马丁·德姆科；马特杰·哈伊纳尔；塞缪尔·帕斯特瓦；萨夫拉内克，大卫 4 2017 参数时间自动机的LTL参数综合。 Zbl 1390.68422号 彼得·贝兹克；尼古拉·贝内什；JiříBarnat；伊万娜·乔纳 7 2016 分析航空电子系统需求的健全性。 Zbl 1335.68131号 JiříBarnat；彼得·鲍赫；尼古拉·贝内什；卢博什·布里姆；简·伯兰；托马斯·克拉托奇维拉 4 2016 离散分岔分析的模型检验方法。 Zbl 1427.68159号 尼古拉·贝内什；卢博什·布里姆；马丁·德姆科；塞缪尔·帕斯特瓦；Šafránek，大卫 三 2016 可调在线MUS/MSS枚举。 兹比尔1391.68099 雅罗斯拉夫·本迪克；尼古拉·贝内斯；伊万娜·塞尔纳；吉尔·巴纳特 三 2016 连续时间参数时间自动机的语言空虚性。 Zbl 1440.68150号 尼古拉·贝内什；彼得·贝兹克；Larsen，Kim G。；吉·斯尔巴 15 2015 参数模态转换系统的精化检查。 Zbl 1309.68130号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；Møller，Mikael H。；所罗门·西克特；吉·斯尔巴 三 2015 定时自动机的时钟软件LTL属性。 Zbl 1432.68256号 彼得·贝兹克；尼古拉·贝内什；沃伊特·哈维尔；JiříBarnat；伊万娜·乔纳 2 2014 具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 Zbl 1271.68131号 尼古拉·贝内什；贝诺·德拉哈耶；乌里·法伦贝格；简·Křetínsk；Legay、Axel 8 2013 EXPTIME-对模态转换系统进行彻底细化的完整性。 Zbl 1282.68118号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；吉·斯尔巴 4 2012 具有持续时间的双价格模式转换系统。 兹比尔1352.68144 尼古拉·贝内什；简·Křetínsk；金·古德斯特兰·拉森；Møller，Mikael H。；吉·斯尔巴 三 2012 模态转换系统：组成和LTL模型检查。 Zbl 1348.68119号 尼古拉·贝内什；伊万娜·乔纳；简·Křetínsk 13 2011 参数模态转换系统。 Zbl 1348.68120号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；Møller，Mikael H。；吉·斯尔巴 8 2011 模态转换系统的过程代数。 Zbl 1247.68183号 尼古拉·贝内什；简·Křetínsk 三 2011 应用于组件交互自动机的状态/事件LTL的部分降阶。 Zbl 1220.68048号 北卡罗来纳州贝内什。；布里姆·L。；布诺娃，B。；乔纳，I。；J·索科尔。；瓦·埃科娃，P。 1 2011 论模态转换系统中的决定论。 Zbl 1186.68314号 北卡罗来纳州贝内什。；Křetínsk \345]，J。；拉森，K.G。；斯尔巴，J。 13 2009 完成EXPTIME-检查模态转换系统的彻底细化。 Zbl 1250.68117号 尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；吉·斯尔巴 9 2009 状态/事件LTL的部分订单减少。 Zbl 1211.68244号 尼古拉·贝内什；布里姆，卢博斯；伊万娜·乔纳；吉里·索科尔；瓦埃科娃，帕夫利纳；巴博拉·齐默洛娃 三 2009 组件交互自动机的空间有效模型检查。 Zbl 1247.68159号 尼古拉·贝内什；科瓦内克，米兰；Štefaňák，Filip 1 2009 关于KdV2-孤子的分解。 Zbl 1106.35075号 北卡罗来纳州贝内斯。；卡斯曼，A。；Young，K。 14 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名155位作者引用 15 尼古拉·贝内什 13 金·古德斯特兰·拉森 12 Legay、Axel 10 埃蒂安·安德烈 8 卢博什·布里姆 7 伊万娜·乔纳 7 乌里·法伦贝格 7 塞缪尔·帕斯特瓦 6 萨夫拉内克，大卫 6 吉·斯尔巴 5 贝诺·德拉哈耶 5 安德烈·索夫斯基 4 雅罗斯拉夫·本迪克 4 简·Křetínsk 4 杰拉尔德·吕特根 4 米克尔·莱克·佩德森 4 劳蕾·佩特鲁奇 4 沃尔特·福格勒 三 JiříBarnat 三 塞巴斯蒂安·鲍尔。 三 彼得·贝兹克 三 芬德里奇、萨沙 三 格内西、斯特凡尼亚 三 Juhl，Line公司 三 Joost-Pieter卡托恩 三 莫里斯·比克。 三 路易斯·马里·特劳努埃兹 三 范德波尔，扬·科内利斯 2 艾丁·戈尔，埃布鲁 2 费伦茨·巴伊托 2 亚历山德罗·范特奇 2 高益田 2 亚历克斯·卡斯曼 2 弗朗科·马扎蒂 2 洛伊奇·波列维 2 艾哈迈特·塞肯 2 福尔克·谢尔 2 吉里·索科尔 2 安德烈·范丁 2 瓦埃科娃，帕夫利纳 2 维塞林·瓦切夫 2 左、大为 1 达拉·阿拉杰 1 布雷特·奥尔特舒尔 1 斯蒂芬·安科（Stephen C.Anco）。 1 亚当·安东尼 1 詹姆·阿里亚斯 1 大卫·巴兹勒 1 阿隆娜·本·塔尔 1 贝内迪克特·博利格 1 劳拉·博泽利 1 布诺娃，B。 1 贝诺·凯劳德 1 戴维德·贾科莫·卡维扎 1 科什卡，米兰 1 陈素素 1 克里斯托·伊万诺夫 1 约翰·科布 1 赫莱内·科拉维扎 1 Jean-Paul彗星 1 艾曼纽尔·科夸德 1 艾维洛·多布里科夫 1 杜夏霞 1 El，Gennady A。 1 斯特凡·埃尔马瑟勒 1 冯玉洁 1 波林·福尼尔 1 劳伦·弗里堡 1 莎拉·爱丽丝·加格尔 1 莱蒂蒂亚·吉巴特 1 罗杰·汉密尔顿·詹姆斯·格里姆肖 1 安德拉斯·吉尔吉 1 罗尔夫·亨尼克 1 克里斯蒂安·亨塞尔 1 贾斯汀·霍尔默 1 迈克尔·R·A·胡特。 1 杰瑞，贾维尔 1 Jiménez Pastor，安东尼奥 1 塞巴斯蒂安·荣格斯 1 乔治·埃姆·卡尼亚达基斯 1 圣菲拉福顿 1 Jean-Marie拉格尼茨 1 亚历山大·勒吉扎蒙·罗巴约 1 玛丽亚·康塞桑·莱特。 1 戴维·莱森斯 1 Michael Leuschel先生 1 李，何 1 莱姆，迪迪埃 1 马耳他州洛豪 1 拉斯·鲁特曼 1 马加尼亚·洛佩兹，古斯塔沃 1 莱昂纳多·曼格鲁卡 1 玛丽奥、迪伦 1 尼古拉斯·马基 1 Kuldeep S.梅尔。 1 孟高清 1 徐汇孟 1 保罗·摩尔 1 米凯尔·哈克杰·默勒 1 阿尼埃洛·穆拉诺 …还有55位作者 全部的 前5名25篇连载文章中引用 8 理论计算机科学 6 程序设计中的逻辑和代数方法杂志 4 信息学报 4 信息与计算 三 计算机科学中的逻辑方法 2 波浪运动 2 混沌、孤子和分形 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 2 非线性数学物理杂志 2 逻辑与代数程序设计杂志 1 数学物理中的通信 1 数学分析与应用杂志 1 数学物理杂志 1 《物理快报》。A类 1 计算机程序设计科学 1 物理D 1 SIAM审查 1 国际应用科学与工程分叉与混沌杂志 1 差分方程与应用杂志 1 非线性动力学 1 软计算 1 计算机基础理论 1 统计力学杂志：理论与实验 全部的 前5名在20个字段中引用 61 计算机科学（68至XX） 15 数理逻辑与基础（03-XX） 12 偏微分方程（35-XX） 9 生物学和其他自然科学（92-XX） 6 动力系统和遍历理论（37至XX） 4 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 2 差分和函数方程（39至XX） 2 流体力学（76-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 常微分方程（34-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文