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

伯纳德·伯托米厄

合著者距离
作者ID： 伯托米厄·伯纳德“Berthomieu，Bernard”最近发表的zbMATH文章
发布日期： 伯纳德·伯托米厄;伯托米厄（B.Berthomieu）。
已编制索引的文档： 14出版物自2002年以来
合著者： 11位合著者具有14联合出版物
104位合作作者
全部的 前5名

合著者

0 单作者的
8 弗朗索瓦·沃纳达特。
6 达尔·齐利奥（Dal Zilio，Silvano）
3 弗洛伦特·佩雷斯
2 尼古拉斯·阿马特
2 皮埃尔·奥利维尔·里贝特
1 弗龙克，乌卡斯
1 迪迪埃·勒·波特兰
1 莱姆，迪迪埃
1 奥利维尔·鲁克斯。
1 罗德里戈·T·萨阿德。
1 Dmitry A.扎伊采夫。

系列

2 离散事件动态系统
1 理论计算机科学
1 国际生产研究杂志
1 计算机基础理论

领域

13 计算机科学（68至XX）
1 系统论；控制（93至XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

7出版物有被引用94中的次72文件 引用人▼ 年份▼
工具TINA–为Petri网和时间Petri网构建抽象状态空间。 Zbl 1060.68695号
伯托米厄（B.Berthomieu）。;P.-O.里贝特。;弗纳达特。
37
2004
时间Petri网分支分析的状态类构造。 Zbl 1031.68082号
伯纳德·伯托米厄;弗朗索瓦·沃纳达特
23
2003
带秒表的时间Petri网的可达性问题和抽象状态空间。 Zbl 1134.93369号
伯纳德·伯托米厄;莱姆，迪迪埃;奥利维尔·鲁克斯。;弗朗索瓦·沃纳达特
16
2007
架起时间自动机和有界时间Petri网之间的桥梁。 Zbl 1141.68426号
伯纳德·伯托米厄;弗洛伦特·佩雷斯;弗朗索瓦·沃纳达特
11
2006
模型检查有界优先时间Petri网。 Zbl 1141.68451号
伯纳德·伯托米厄;弗洛伦特·佩雷斯;弗朗索瓦·沃纳达特
3
2007
计数标记的Petri网减少。 Zbl 1508.68240号
伯纳德·伯托米厄;迪迪埃·勒·波特兰;达尔·齐利奥，西尔瓦诺
3
2018
结合多面体抽象和基于SMT的Petri网模型检查。 Zbl 1489.68150号
尼古拉斯·阿马特;伯纳德·伯托米厄;达尔·齐利奥（Dal Zilio，Silvano）
1
2021
关于多面体抽象和基于SMT的Petri网模型检查的结合。 兹比尔1489.68150
尼古拉斯·阿马特;伯纳德·伯托米厄;达尔·齐利奥（Dal Zilio，Silvano）
1
2021
计数标记的Petri网减少。 Zbl 1508.68240号
伯纳德·伯托米厄;迪迪埃·勒·波特兰;达尔·齐利奥（Dal Zilio，Silvano）
3
2018
带秒表的时间Petri网的可达性问题和抽象状态空间。 Zbl 1134.93369号
伯纳德·伯托米厄;莱姆，迪迪埃;奥利维尔·鲁克斯。;弗朗索瓦·沃纳达特
16
2007
模型检查有界优先时间Petri网。 Zbl 1141.68451号
伯纳德·伯托米厄;弗洛伦特·佩雷斯;弗朗索瓦·沃纳达特
3
2007
架起时间自动机和有界时间Petri网之间的桥梁。 Zbl 1141.68426号
伯纳德·伯托米厄;弗洛伦特·佩雷斯;弗朗索瓦·沃纳达特
11
2006
工具TINA–为Petri网和时间Petri网构建抽象状态空间。 Zbl 1060.68695号
伯托米厄（B.Berthomieu）。;P.-O.里贝特。;弗纳达特。
37
2004
时间Petri网分支分析的状态类构造。 Zbl 1031.68082号
伯纳德·伯托米厄;弗朗索瓦·沃纳达特
23
2003
所有引用出版物 前5名被引用出版物
全部的 前5名

127位作者引用

10 莱姆，迪迪埃
10 奥利维尔·鲁克斯。
8 哈尼法布切尼布
6 伯纳德·伯托米厄
6 Dmitry A.扎伊采夫。
5 卡梅尔·巴考伊
5 吉·斯尔巴
3 达尔·齐利奥（Dal Zilio，Silvano）
3 洛依茨海露
3 弗朗索瓦·沃纳达特。
2 阿格拉瓦尔，普拉奈
2 尼古拉斯·阿马特
2 亚历山大·比尔格拉姆
2 休伯特·加拉维
2 拉希德·哈吉杰
2 雅各布森，拉塞
2 雅各布森，莫顿
2 彼得·格约尔·詹森
2 迪迪埃·勒·波特兰
2 迪米特里·列斐伏尔
2 米凯尔·哈克杰·默勒
2 弗洛伦特·佩雷斯
2 法兰克·波默罗
2 Peter H.Taankvist。
2 路易斯·马里·特劳努埃兹
2 周梦初
1 阿卜杜勒克里姆·阿卜杜利
1 阿克西，S。
1 阿卜杜拉赫曼·M·阿尔·阿赫马里。
1 哈萨内·阿拉
1 阿迪布·阿拉哈姆
1 泽维尔·阿拉米吉恩
1 Elvio Gilberto Amparore公司
1 大卫·安德烈
1 阿西尔，约翰
1 穆罕默德·阿卜杜拉希·阿兹戈米
1 桑迪·巴拉格
1 卢西亚诺·巴雷西
1 弗朗西斯科·巴西利
1 杰恩·卢克·贝切内克
1 Bérenguier，D。
1 Boel，RenéK。
1 维亚尼·伯夫
1 马克·博伊尔
1 伯顿，罗伯特·M·琼。
1 约阿金·比格
1 卡瓦略、莉莲·卡瓦卡米
1 克劳迪娜·朝义亚
1 托马斯·查泰恩
1 陈玉峰
1 程文超
1 弗朗科·西西雷利
1 丛、徐亚
1 Jean-Pierre科蒂亚特
1 安东尼奥·库尼亚
1 皮埃尔·德·萨奎·桑奈斯
1 吉安马利亚·德·托马西
1 埃里克·P·德文克。
1 贝诺·德拉哈耶
1 雷蒙德·魔鬼队
1 皮埃尔·迪索
1 苏珊娜·多纳泰利
1 段振华
1 伊尔万埃姆齐瓦特
1 安吉洛·富法罗
1 斯特凡诺·加拉托洛
1 弗朗西斯科·加拉
1 圣埃芬·高伯特
1 塞德里克·高切雷尔
1 布莱斯·基内斯特
1 穆罕默德·加泽尔
1 凯伦·戈达里·德杰恩
1 龚华军
1 Gougam，侯萨姆·艾丁
1 顾、赵
1 斯特凡·哈尔
1 乌萨马·哈扬
1 帕里萨·海达里
1 克洛德·贾德
1 乔治·吉罗维亚努
1 约根森、肯尼思·伊尔克
1 阿列克桑德拉·乔瓦诺维奇。
1 凯斯·克莱
1 汉娜·克劳代尔
1 纳塔莉亚·科卡什
1 克里斯蒂安·克劳斯
1 弗雷德里克·朗
1 杰罗姆·罗格朗
1 赫莱内·勒鲁
1 李冰
1 李志武
1 刘磊
1 摩根·马根
1 曼内尔，丽莎·路易斯
1 克劳德·马丁内斯
1 汤姆·迈耶罗维奇
1 佩德罗·蒙泰罗。
1 哈桑·莫塔列比
1 卡洛·莫塔
1 奥雷连·纳尔迪
…还有27位作者
全部的 前5名

引用于23个系列

11 离散事件动态系统
4 信息科学
4 理论计算机科学
4 计算机基础理论
3 实时系统
2 国际控制杂志
2 系统设计中的形式化方法
2 混乱
2 程序设计中的逻辑和代数方法杂志
1 统计物理杂志
1 应用数学与计算
1 Automatica公司
1 数学发明
1 遍历理论和动力系统
1 计算机科学与技术杂志
1 信息与计算
1 计算的形式方面
1 国际计算机数学杂志
1 控制论与系统分析
1 欧洲控制杂志
1 动力系统
1 非线性分析。混合动力系统
1 亚洲控制杂志
全部的 前5名

13个领域引用

54 计算机科学（68至XX）
17 系统论；控制（93至XX）
7 运筹学、数学规划（90-XX）
6 动力系统和遍历理论（37至XX）
3 组合数学（05-XX）
3 生物学和其他自然科学（92-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
2 信息与通信理论、电路（94-XX）
1 数学逻辑和基础（03-XX）
1 测量和集成（28-XX）
1 一般拓扑结构（54至XX）
1 概率论与随机过程（60-XX）
1 流体力学（76-XX）

按年份列出的引文