尼古拉·贝内斯
人员信息
优化列表
2020年–今天
2023 [j13] 尼古拉·贝内斯 , 卢博斯·布里姆 , Ondrej Huvar公司 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
布尔网络草图:逻辑模型推理的统一框架。 生物信息。 39 ( 4 ) ( 2023 ) [公元38年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
部分指定布尔网络的表型控制。 CMSB公司 2023 : 18-35 2022 [公元12年] 尼古拉·贝内斯 , 卢博斯·布里姆 , Ondrej Huvar公司 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 , 伊娃·斯米亚科娃 :
py:Python库,用于异步布尔网络中的吸引子分析。 生物信息。 38 ( 21 ) : 4978-4980 ( 2022 ) [公元11年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 雅库布·卡德莱卡 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
探索布尔网络中的吸引子分支。 BMC生物信息。 23 ( 1 ) : 173 ( 2022 ) [公元10年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于BDD的边着色图SCC分解算法。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) 2021 [公元37年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
使用过渡引导归约符号化地计算底部SCC。 CAV(1) 2021 : 505-528 [c36] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
Aeon 2021:布尔网络中的分歧决策树。 CMSB公司 2021 : 230至237 [公元35年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨夫拉内克 :
符号彩色SCC分解。 TACAS(2) 2021 : 64-83 [i8] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨夫拉内克 :
基于BDD的边色图SCC分解算法。 CoRR公司 abs/2108.13113 ( 2021 ) 2020 [公元9年] 尼古拉·贝内斯 , 乌利·法伦伯格 , 扬·克伦斯克 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
逻辑规范与行为规范。 Inf.计算。 271 : 104487 ( 2020 ) [j8] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
互联网拥塞控制协议的数字分叉分析。 国际法学分会。 混乱 30 ( 13 ) : 2030038:1-2030038:18 ( 2020 ) [j7] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
混合CTL的并行参数综合算法。 科学。 计算。 程序。 185 ( 2020 ) [公元34年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 雅库布·卡德莱卡 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
AEON:参数化布尔网络的吸引子分叉分析。 CAV(1) 2020 : 569-581
2010 – 2019
2019 [公元33年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 贾娜·德拉扎诺娃 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于δ-可判定SMT的非线性动力系统的面抽象。 高速列车控制中心 2019 : 99-108 [公元32年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 雅库布·波拉切克 , 大卫·萨法内克 :
参数化布尔网络中定性长期行为的形式化分析。 国际有限元法 2019 : 353-369 [公元31年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·盖利特卡 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
使用半代数约束加速参数综合。 国际单项体育联合会 2019 : 27-45 [公元30年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
TCP动力学的数字分岔分析。 TACAS(2) 2019 : 339-356 [第1页] 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
生物系统分析的模型检验方法。 系统生物学和医学的自动推理 2019 : 3-35 2018 [j6] 彼得·贝兹德克 , 尼古拉·贝内斯 , 伊万娜·塞拉 , 吉里·巴纳特 :
时间自动机的时钟LTL参数综合。 J.日志。 代数方法课程。 99 : 114-142 ( 2018 ) [公元29年] 雅罗斯拉夫·本迪克 , 伊万娜·塞拉 , 尼古拉·贝内斯 :
所有最小不满足子集的递归在线枚举。 ATVA公司 2018 : 143-159 [公元28年] 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 伊万娜·塞拉 :
在版本控制系统下的项目中查找回归。 ICSOFT公司 2018 : 186-197 2017 [公元27年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·登科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
Pithya:分段多仿射动力系统参数综合的并行工具。 CAV(1) 2017 : 591-598 [公元26年] 吉里·巴纳特 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 马特杰·哈纳尔 , 塞缪尔·帕斯特瓦 , 大卫·萨夫拉内克 :
参数不确定生物模型中吸引子的检测。 CMSB公司 2017 : 40-56 [i7] 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 伊万娜·塞尔纳 :
所有最小不可满足子集的递归在线枚举。 CoRR公司 abs/1708.00400 ( 2017 ) [i6] 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 伊万娜·塞尔纳 :
在版本控制系统下的项目中查找回归。 CoRR公司 abs/1708.06623 ( 2017 ) 2016 [j5] 吉里·巴纳特 , 彼得·鲍奇 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 简·贝兰 , 托马斯·克拉托奇维拉 :
分析航空电子系统需求的健全性。 形式方面计算。 28 ( 1 ) : 45-63 ( 2016 ) [公元25年] 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
基于并行SMT的参数综合及其在分段多仿射系统中的应用。 ATVA公司 2016 : 192-208 [公元24年] 马丁·德姆科 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
生物模型的高性能符号参数综合:一个案例研究。 CMSB公司 2016 : 82-97 【c23】 尼古拉·贝内斯 , 卢博斯·布里姆 , 马丁·德姆科 , 塞缪尔·帕斯特瓦 , 大卫·萨法内克 :
离散分歧分析的模型检验方法。 FM公司 2016 : 85-101 [公元22年] 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 伊万娜·塞拉 , 吉里·巴纳特 :
可调在线MUS/MSS枚举。 FSTTCS公司 2016 : 50:1-50:13 【c21】 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 吉里·巴纳特 , 伊万娜·塞拉 :
在有序集合中寻找边界元素及其在安全和需求分析中的应用。 SEFM公司 2016 : 121-136 [公元20年] 彼得·贝兹德克 , 尼古拉·贝内斯 , 吉里·巴纳特 , 伊万娜·塞拉 :
参数时间自动机的LTL参数综合。 SEFM公司 2016 : 172-187 [i5] 雅罗斯拉夫·本迪克 , 尼古拉·贝内斯 , 伊万娜·塞拉 , 吉里·巴纳特 :
可调在线MUS/MSS枚举。 CoRR公司 abs/1606.03289 ( 2016 ) 2015 【j4】 尼古拉·贝内斯 , 扬·克伦斯克 , 金·拉森 , 米凯尔·莫勒 , 所罗门·西克特 , 吉尔·斯尔巴 :
参数模态转换系统的精化检查。 信息学报 52 ( 2-3 ) : 269-297 ( 2015 ) [第19条] 尼古拉·贝内斯 , Przemyslaw Daca公司 , 托马斯·汉津格 , 扬·克伦斯克 , 德扬·尼科维奇 :
IOCO-Testing理论的完备复合算子。 芝加哥证券交易所 2015 : 101-110 [第18条] 尼古拉·贝内斯 , 彼得·贝兹德克 , 金·古德斯特兰·拉森 , 吉尔·斯尔巴 :
连续时间参数时间自动机的语言空洞。 ICALP(二) 2015 : 69-81 [i4] 尼古拉·贝内斯 , 彼得·贝兹德克 , 金·拉森 , 吉尔·斯尔巴 :
连续时间参数时间自动机的语言空洞。 CoRR公司 abs/1504.07838 ( 2015 ) [i3] 吉里·巴纳特 , 彼得·鲍奇 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 简·贝兰 , 托马斯·克拉托奇维拉 :
航空电子系统需求健全性分析(初版)。 CoRR公司 abs/1510.02669 ( 2015 ) 2014 [第17条] 彼得·贝兹德克 , 尼古拉·贝内斯 , Vojtech哈维尔 , 吉里·巴纳特 , 伊万娜·塞拉 :
时间自动机的时钟LTL属性。 ICTAC公司 2014 : 43-60 [i2] 彼得·贝兹德克 , 尼古拉·贝内斯 , Vojtech哈维尔 , 吉里·巴纳特 , 伊万娜·塞拉 :
参数时间自动机的LTL模型检验。 CoRR公司 abs/1409.3696 ( 2014 ) 2013 [第16条] 吉里·巴纳特 , 尼古拉·贝内斯 , 伊万娜·塞拉 , 祖扎娜·佩特鲁乔娃 :
DCCL:用集成验证组件系统。 芝加哥证券交易所 2013 : 43-52 [第15条] 尼古拉·贝内斯 , 贝诺·特·德拉哈耶 , 乌里·法伦伯格 , 扬·克伦斯克 , 阿克塞尔·莱盖 :
具有最大不动点的轩尼诗-米尔纳逻辑作为完整的行为规范理论。 CONCUR公司 2013 : 76至90 [第14条] 吉里·巴纳特 , 尼古拉·贝内斯 , 托马斯·布尔斯 , 伊万娜·塞拉 , 雅罗斯拉夫·科兹尼克尔 , Frantisek Plásil公司 :
面向基于集成的组件系统的验证。 FACS公司 2013 : 41-60 [i1] 尼古拉·贝内斯 , 贝诺·特·德拉哈耶 , 乌里·法伦伯格 , 扬·克伦斯克 , Axel Legay公司 :
具有最大不动点的轩尼诗-米尔纳逻辑作为完整的行为规范理论。 CoRR公司 abs/1306.0741 ( 2013 ) 2012 [j3] 尼古拉·贝内斯 , 扬·克伦斯克 , 金·拉森 , 吉尔·斯尔巴 :
EXPTIME-对模态转换系统进行彻底细化的完整性。 Inf.计算。 218 : 54-68 ( 2012 ) [第13条] 尼古拉·贝内斯 , 巴博拉·布诺娃 , 伊万娜·塞尔纳 , 拉德克·奥斯莱切克 :
通过概率模型检查进行基于组件开发的可靠性分析。 芝加哥证券交易所 2012 : 83-92 [第12条] 尼古拉·贝内斯 , 扬·克伦斯克 :
模态过程重写系统。 ICTAC公司 2012 : 120-135 [第11条] 尼古拉·贝内斯 , 扬·克伦斯克 , 金·古德斯特兰·拉森 , 米凯尔·莫勒 , 吉尔·斯尔巴 :
具有持续时间的双价格模态转换系统。 LPAR公司 2012 : 122-137 [第10条] 尼古拉·贝内斯 , 伊万娜·塞尔纳 , 菲利普·斯特凡纳克 :
组件交互自动机的因子分解。 SOFSEM公司 2012 : 554-565 2011 [注2] 尼古拉·贝内斯 , 卢博斯·布里姆 , 巴博拉·布诺娃 , 伊万娜·塞拉 , 吉里·索科尔 , 巴夫利娜·瓦列科娃 :
应用于组件交互自动机的状态/事件LTL的部分降阶。 科学。 计算。 程序。 76 ( 10 ) : 877-890 ( 2011 ) 【c9】 尼古拉·贝内斯 , 伊万娜·塞拉 , 扬·克伦斯克 :
模态转换系统:组成和LTL模型检查。 ATVA公司 2011 : 228-242 【c8】 尼古拉·贝内斯 , 扬·克伦斯克 , 金·拉森 , 米凯尔·莫勒 , 吉尔·斯尔巴 :
参数化模态转换系统。 ATVA公司 2011 : 275-289 【c7】 尼古拉·贝内斯 , 伊万娜·塞拉 , 米兰·克里瓦内克 :
CoInDiVinE:基于组件系统的并行分布式模型检查器。 PDMC公司 2011 : 63-67 2010 【c6】 尼古拉·贝内斯 , 扬·克伦斯克 :
模态转换系统的过程代数。 MEMICS公司 2010 : 9-18
2000 – 2009
2009 [j1] 尼古拉·贝内斯 , 扬·克伦斯克 , 金·古德斯特兰·拉森 , 吉尔·斯尔巴 :
论模态转换系统中的决定论。 西奥。 计算。 科学。 410 ( 41 ) : 4026-4043 ( 2009 ) 【c5】 尼古拉·贝内斯 , 扬·克伦斯克 , 金·古德斯特兰·拉森 , 吉尔·斯尔巴 :
检查模态转换系统的彻底精化是否完成EXPTIME。 ICTAC公司 2009 : 112-126 【c4】 尼古拉·贝内斯 , 卢博斯·布里姆 , 伊万娜·塞拉 , 吉里·索科尔 , 帕夫利娜·瓦雷科娃 , 巴博拉·齐默洛娃 :
状态/事件LTL的部分订单减少。 国际单项体育联合会 2009 : 307-321 【c3】 尼古拉·贝内斯 , 米兰·克里瓦内克 , 菲利普·斯特凡纳克 :
组件交互自动机的空间有效模型检验。 MEMICS公司 2009 2008 【c2】 尼古拉·贝内斯 , 伊万娜·塞拉 , 吉里·索科尔 , 巴夫利娜·瓦列科娃 , 巴博拉·齐默洛娃 :
基于组件的系统并行验证案例研究。 PDMC@ETAPS(预计到达时间) 2008 : 67-83 2007 【c1】 Barbora Zimmerová , 巴夫利娜·瓦列科娃 , 尼古拉·贝内斯 , 伊万娜·塞拉 , 卢博斯·布里姆 , 吉里·索科尔 :
组件交互自动机方法(CoIn)。 CoCoME公司 2007 : 146-176