×
编辑配置文件（在新选项卡中打开）

JiříBarnat

合著者距离
作者ID： 巴纳特·吉里“Barnat，Jiří”最近发表的zbMATH文章
发布日期： JiříBarnat;J.巴纳特。;吉里·巴纳特;吉尔·巴纳特
已编制索引的文档： 24出版物自2001年起
合著者： 32位合著者具有23联合出版物
338合著作者
全部的 前5名

合著者

1 单作者的
12 伊万娜·乔纳
9 卢博什·布里姆
7 尼古拉·贝内什
三 彼得·贝兹克
三 萨夫拉内克，大卫
三 贾纳·Tůmová
2 Calin A.Belta。
2 雅罗斯拉夫·本迪克
2 查洛普卡，雅库布
2 斯文·德拉赞
2 彼得·罗奇凯
2 西蒙切克，帕维尔
2 范德波尔，扬·科内利斯
2 博扬·约丹诺夫
1 斯特凡诺·阿尔德盖里
1 彼得·鲍赫
1 简·伯兰
1 邦比耶里，尼古拉
1 费德里科·布萨托
1 科什卡，米兰
1 马丁·德姆科
1 斯特凡·爱德坎普
1 贾纳·法布里科娃
1 马特杰·哈伊纳尔
1 沃伊特·哈维尔
1 托马斯·克拉托奇维拉
1 亨利克·劳科
1 塞缪尔·帕斯特瓦
1 什蒂尔，弗拉迪米尔
1 斯特里布纳，吉特卡
1 达米安·苏鲁夫斯基
1 迈克尔·韦伯。
全部的 前5名

系列

2 计算机程序设计科学
1 Automatica公司
1 IEEE自动控制汇刊
1 理论计算机科学
1 计算的形式方面
1 逻辑与计算杂志
1 系统设计中的形式化方法
1 计算与信息学
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

领域

22 计算机科学（68至XX）
4 数学逻辑和基础（03-XX）
4 生物学和其他自然科学（92-XX）
三 组合数学（05-XX）
三 系统论；控制（93至XX）
1 运筹学、数学规划（90-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

17出版物有被引用68次52文件 引用人▼ 年份▼
离散时间分段仿射系统的时序逻辑控制。 Zbl 1369.93355号
约达诺夫，博扬;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔
12
2012
SPIN中的分布式LTL模型检查。 Zbl 0985.68519号
吉里·巴纳特;布里姆，卢博斯;圣布尔纳，吉特卡
8
2001
参数时间自动机的LTL参数综合。 兹比尔1390.68422
彼得·贝兹克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳
7
2016
通过公式引导精化对分段仿射系统进行形式化分析。 Zbl 1257.93030号
博扬·约丹诺夫;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔
6
2013
SCC分解的分布式算法。 Zbl 1210.68131号
JiříBarnat;查洛普卡，雅库布;范德波尔（Jaco van de Pol）
6
2011
使用DiVinE检查大规模基因调控网络的并行模型。 Zbl 1279.68194号
J.巴纳特。;布里姆·L。;乔纳，I。;德拉赞，S。;萨夫拉内克，D。
4
2008
修改电阻可加快I/O效率LTL模型检查。 Zbl 1134.68397号
J.巴纳特。;布里姆·L。;西蒙切克，P。;韦伯，M。
4
2008
在参数不确定的生物模型中检测吸引子。 Zbl 1416.92068号
JiříBarnat;尼古拉·贝内什;卢博什·布里姆;马丁·德姆科;马特杰·哈伊纳尔;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
4
2017
分析航空电子系统需求的健全性。 Zbl 1335.68131号
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉
4
2016
可调在线MUS/MSS枚举。 Zbl 1391.68099号
雅罗斯拉夫·本迪克;尼古拉·贝内斯;伊万娜·塞尔纳;吉里巴纳特
三
2016
定时自动机的时钟软件LTL属性。 Zbl 1432.68256号
彼得·贝兹克;尼古拉·贝内什;沃伊特·哈维尔;JiříBarnat;伊万娜·乔纳
2
2014
大型系统的基于集群的LTL模型检查。 Zbl 1196.68124号
JiříBarnat;卢博什·布里姆;伊万娜·乔纳
2
2006
时间自动机的时钟LTL参数综合。 Zbl 1395.68164号
彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat
2
2018
闪存高效LTL模型检查。 Zbl 1213.68372号
爱德坎普，S。;Sulewski博士。;J.巴纳特。;布里姆·L。;西蒙切克，P。
1
2011
最适合验证弱LTL属性的即时并行模型检查算法。 Zbl 1264.68052号
JiříBarnat;卢博什·布里姆;彼得·罗奇凯
1
2012
分布式宽度第一搜索LTL模型检查。 Zbl 1102.68503号
JiříBarnat;伊万娜·乔纳
1
2006
通过程序转换进行符号计算。 Zbl 1518.68055号
亨利克·劳科;彼得·罗奇凯;JiříBarnat
1
2018
时间自动机的时钟LTL参数综合。 Zbl 1395.68164号
彼得·贝兹德克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat
2
2018
通过程序转换进行符号计算。 Zbl 1518.68055号
亨利克·劳科;彼得·罗奇凯;JiříBarnat
1
2018
在参数不确定的生物模型中检测吸引子。 兹比尔1416.92068
JiříBarnat;尼古拉·贝内什;卢博什·布里姆;马丁·德姆科;马特杰·哈伊纳尔;塞缪尔·帕斯特瓦;萨夫拉内克，大卫
4
2017
参数时间自动机的LTL参数综合。 Zbl 1390.68422号
彼得·贝兹克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳
7
2016
分析航空电子系统需求的健全性。 Zbl 1335.68131号
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;克拉托奇维拉，托马什
4
2016
可调在线MUS/MSS枚举。 Zbl 1391.68099号
雅罗斯拉夫·本迪克;尼古拉·贝内斯;伊万娜·塞尔纳;吉尔·巴纳特
三
2016
定时自动机的时钟软件LTL属性。 Zbl 1432.68256号
彼得·贝兹克;尼古拉·贝内什;沃伊特·哈维尔;JiříBarnat;伊万娜·乔纳
2
2014
通过公式引导精化对分段仿射系统进行形式化分析。 Zbl 1257.93030号
博扬·约丹诺夫;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔
6
2013
离散时间分段仿射系统的时序逻辑控制。 兹比尔1369.93355
博扬·约丹诺夫;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔
12
2012
最适合验证弱LTL属性的即时并行模型检查算法。 Zbl 1264.68052号
JiříBarnat;卢博什·布里姆;彼得·罗奇凯
1
2012
SCC分解的分布式算法。 兹比尔1210.68131
JiříBarnat;查洛普卡，雅库布;范德波尔（Jaco van de Pol）
6
2011
闪存高效LTL模型检查。 Zbl 1213.68372号
爱德坎普，S。;D.苏鲁斯基。;J.巴纳特。;布里姆·L。;西蒙切克，P。
1
2011
使用DiVinE检查大规模基因调控网络的并行模型。 Zbl 1279.68194号
J.巴纳特。;布里姆·L。;乔纳，I。;德拉赞，S。;萨夫拉内克，D。
4
2008
重新查看电阻可以加快I/O效率LTL模型检查。 兹比尔1134.68397
J.巴纳特。;布里姆·L。;西蒙切克，P。;韦伯，M。
4
2008
大型系统的基于集群的LTL模型检查。 Zbl 1196.68124号
JiříBarnat;卢博什·布里姆;伊万娜·乔纳
2
2006
分布式宽度第一搜索LTL模型检查。 Zbl 1102.68503号
JiříBarnat;伊万娜·乔纳
1
2006
SPIN中的分布式LTL模型检查。 Zbl 0985.68519号
吉里·巴纳特;布里姆，卢博斯;圣布尔纳，吉特卡
8
2001
所有引用出版物 前5名被引用出版物
全部的 前5名

115位作者引用

8 卢博什·布里姆
8 伊万娜·乔纳
7 JiříBarnat
6 尼古拉·贝内什
5 萨夫拉内克，大卫
4 艾丁·戈尔（Ebru Aydin Gol）
4 雅罗斯拉夫·本迪克
4 斯特凡·爱德坎普
4 范德波尔，扬·科内利斯
三 Calin A.Belta。
三 佩德罗·蒙泰罗。
三 塞缪尔·帕斯特瓦
三 劳雷·佩特鲁奇
2 埃蒂安·安德烈
2 街机，壁画
2 彼得·贝兹克
2 克里希南德·查特吉
2 塞缪尔·库根
2 Hidde德容
2 埃斯特尔·杜马斯
2 拉杜·马特埃斯库
2 艾哈迈特·塞肯
2 西蒙切克，帕维尔
2 达米安·苏鲁夫斯基
1 亚历山德罗·阿巴特
1 迪基·阿兹基亚
1 侯赛因·阿贾扎尔
1 达拉·阿拉杰
1 詹姆·阿里亚斯
1 阿伊萨巴尔干
1 霍华德·巴林格
1 Bérenguier，D。
1 约汉·比约恩松
1 斯特凡·布隆
1 亚历山德罗·博里
1 博什纳奇·德拉甘
1 维克托·布拉伯曼
1 大卫·贾科莫
1 科什卡，米兰
1 克劳迪娜·朝义亚
1 马丁·奇梅利克
1 基特卡·克霍娃
1 乔纳森·德卡斯特罗。
1 迪·贝内代托，玛丽亚·多梅尼卡
1 迪马罗戈纳斯，迪莫斯五世。
1 斯文·德拉赞
1 马克森·杜特雷克斯
1 吕迪格·埃勒斯
1 贾纳·法布里科娃
1 安斯加·芬克
1 彼得·吉斯尔
1 安托万·吉拉德
1 安德拉斯·吉尔吉
1 Sigurður Freyr哈夫斯坦
1 韩飞
1 奥斯曼·哈桑
1 杰拉德·J·霍尔兹曼。
1 啊，Jeongmin
1 玛丽克·赫斯曼
1 科妮莉亚·英格斯。
1 沙希德·贾巴尔
1 库尔特·延森
1 安东尼奥·吉梅内斯·帕斯特
1 马纳斯·R·约格勒卡尔。
1 Joosten，Sebastian J.C。
1 乔丹、迈克尔·欧文
1 克里斯托弗·凯莱特（Christopher M.Kellett）。
1 穆罕默德·汉南·汗
1 沙希德·阿里·汗
1 埃里克·S·金。
1 Kress-Gazit，哈达斯
1 简·Křetínsk
1 克里斯滕森，拉尔斯·迈克尔
1 米尔恰·拉扎尔
1 亚历山大·勒吉扎蒙·罗巴约
1 约翰·莱思
1 李、王燕
1 刘军
1 托马斯·梅隆德
1 曼尼亚，荷里亚
1 玛丽奥、迪伦
1 Kuldeep S.梅尔。
1 皮尔雷·梅耶（Pierre-Jean Meyer）
1 奥雷连·纳尔迪
1 彼得·尼尔森
1 阿尔弗雷多·奥利维罗
1 Wytse Oortwijn公司
1 西蒙娜·奥尔赞
1 内克米耶·奥扎伊
1 佐丹奴·波罗
1 莫妮卡·劳赫·亨津格
1 本杰明·雷赫特
1 伊丽莎白·雷米
1 马蒂亚斯·伦格
1 彼得·桑德斯
1 阿德纳·索乌德
1 费尔南多·沙帕奇尼克
1 维克多·舒潘
1 桑吉特·阿伦库马尔·塞希亚
1 尼萨尔·沙阿
…还有15位作者
全部的 前5名

14篇连载文章中引用

5 非线性分析。混合动力系统
4 Automatica公司
4 系统设计中的形式化方法
三 理论计算机科学
三 离散事件动态系统
2 计算机科学中的逻辑方法
1 富兰克林学院学报
1 计算机程序设计科学
1 国际应用科学与工程分叉与混沌杂志
1 离散和连续动力系统
1 混乱
1 国际应用数学与计算机科学杂志
1 机器学习研究杂志（JMLR）
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

11个领域引用

35 计算机科学（68至XX）
16 系统论；控制（93至XX）
8 数学逻辑和基础（03-XX）
8 生物学和其他自然科学（92-XX）
6 运筹学、数学规划（90-XX）
三 组合数学（05-XX）
2 常微分方程（34-XX）
2 动力系统和遍历理论（37至XX）
1 测量和集成（28-XX）
1 变分法与最优控制；最优化（49-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文