编辑配置文件(在新选项卡中打开) 贝诺·凯劳德 合著者距离 作者ID: 凯劳德·比诺伊特 发布日期: 贝努伊特Caillaud;贝诺特·凯劳德;凯劳德,B。 更多。。。较少的 已编制索引的文档: 28出版物自1992年起 2作为编辑的贡献 合著者: 41位合著者具有28联合出版物 807合著作者 全部的 前5名合著者 1 单作者的 13 阿尔伯特·本文尼斯特 5 马克·普泽特 4 菲利普·达伦多 三 埃里克·巴杜埃尔 三 蒂莫西·布鲁克 三 Legay、Axel 2 马雷克·贝德纳奇克(Marek A.Bednarczyk)。 2 贝诺·德拉哈耶 2 埃尔姆奎斯特,希尔丁 2 哈利勒·戈尔巴尔 2 洛依茨海露 2 克洛德·贾德 2 保罗·勒格尔尼克 2 马蒂亚斯·马兰丹 2 马丁·奥特 2 布鲁诺·帕加诺 2 罗伯托·帕塞罗内 2 杜米特鲁·波托普·布图卡鲁 2 Jean-Baptiste Raclet女士 1 巴里奥,西里尔 1 卢卡·伯纳迪内洛 1 Andrzej M.Borzyszkowski。 1 卢卡·卡洛尼(Luca P.Carloni)。 1 保罗·卡斯皮 1 阿尔贝托·法拉利 1 约翰内斯·科斯特迈尔 1 罗杰·盖斯内里 1 金·古德斯特兰·拉森 1 卢西亚诺·拉瓦尼奥 1 莱斯文特斯,吉尔 1 莱昂纳多·曼格鲁卡 1 安卡·穆斯科尔 1 Pawłowski、Wies \322»aw 1 米克尔·莱克·佩德森 1 露西娅·波梅尔 1 劳丽·瑞克 1 Alberto L.Sangiovanni-Vincentelli。 1 克里斯托斯·索夫罗尼斯 1 琼·蒂鲍特 1 雷内·索拉瓦尔 1 安德烈·索夫斯基 1 谢晓兰 全部的 前5名系列 2 系统设计中的形式化方法 2 计算机基础理论 1 机械学报 1 Automatica公司 1 计算机与系统科学杂志 1 经济研究综述 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 理论计算机科学电子笔记 1 非线性分析。混合动力系统 全部的 前5名领域 23 计算机科学(68至XX) 10 系统论;控制(93至XX) 三 常微分方程(34-XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 范畴理论;同调代数(18-XX) 1 概率论与随机过程(60-XX) 1 可变形固体力学(74-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用156中的次133文件 引用人▼ 年份▼ 并发机密。 Zbl 1125.93320号 Badouel,E。;Bednarczyk,M。;Borzyszkowski,A。;凯劳德,B。;达伦多,P。 31 2007 基于组件设计的模态接口理论。 Zbl 1242.68147号 让-巴蒂斯特·拉克勒;埃里克·巴杜埃尔;阿尔伯特·本文尼斯特;贝诺·凯劳德;Legay、Axel;罗伯托·帕塞罗内 26 2011 通过Petri网综合分配有限自动机。 Zbl 1017.68062号 埃里克·巴杜埃尔;贝诺·凯劳德;达伦多,P。 21 2002 基于合同的多视点规范和设计。 Zbl 1209.68120号 阿尔伯特·本文尼斯特;贝诺·凯劳德;阿尔贝托·法拉利;莱昂纳多·曼格鲁卡;罗伯托·帕塞罗内;克里斯托斯·索夫罗尼斯 15 2008 约束马尔可夫链。 兹比尔1223.68070 贝诺·凯劳德;贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德热·瓦索夫斯基 12 2011 混合系统建模器的非标准语义。 Zbl 1244.68050号 阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺·凯劳德;马克·普泽特 11 2012 逆向选择模型中的噪音观察。 Zbl 0764.90002号 凯劳德,B。;R·盖斯内里。;雷伊,P。 7 1992 同步系统中的并发。 Zbl 1100.68004号 杜米特鲁·波托普·布图卡鲁;贝诺·凯劳德;阿尔伯特·本文尼斯特 6 2006 概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 Zbl 1210.93068号 贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 6 2011 注意差距:在分散的离散事件控制中扩大通信选项。 Zbl 1228.93078号 劳丽·瑞克;贝努伊特Caillaud 5 2011 数据流同步语言中的组合性:规范和分布式代码生成。 Zbl 1003.68068号 阿尔伯特·本文尼斯特;贝诺·凯劳德;保罗·勒格尔尼克 5 2000 HMSC作为部分规范。完成PN。 Zbl 0985.68037号 贝诺特·凯劳德;菲利普·达伦多;洛依茨海露;莱斯文特斯,吉尔 三 2001 模块化同步规范的正确构造异步实现。 Zbl 1138.68469号 波托普·布图卡鲁,杜米特鲁;贝诺·凯劳德 三 2007 用于高级消息序列图的基于事件结构的语义。 Zbl 1009.68070号 洛依茨海露;克劳德·贾德;贝诺·凯劳德 2 2002 从同步到异步。 Zbl 0939.68079号 阿尔伯特·本文尼斯特;贝诺·凯劳德;保罗·勒格尔尼克 2 1999 离散事件系统的综合与控制。 Zbl 0984.00042号 2 2002 通过设计确保可达性。 Zbl 1362.68164号 贝诺·凯劳德;Jean-Baptiste Raclet女士 2 2012 带回调的模块化系统开发。 Zbl 1274.68220号 马雷克·贝德纳奇克(Marek A.Bednarczyk)。;卢卡·伯纳迪内洛;贝诺·凯劳德;Pawłowski、Wies \322»aw;露西娅·波梅尔 1 2003 多模DAE系统的隐式结构分析。 Zbl 07300861号 贝努伊特Caillaud;马蒂亚斯·马兰丹;琼·蒂鲍特 1 2020 混合系统建模器中因果循环的基于类型的分析。 Zbl 1362.68282号 阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 1 2014 多模式DAE模型—挑战、理论和实施。 Zbl 1485.93206号 阿尔伯特·本文尼斯特;贝努伊特Caillaud;埃尔姆奎斯特,希尔丁;哈利勒·戈尔巴尔;马丁·奥特;马克·波泽 1 2019 多模DAE系统的隐式结构分析。 Zbl 07300861号 贝诺·凯劳德;马蒂亚斯·马兰丹;琼·蒂鲍特 1 2020 多模式DAE模型—挑战、理论和实施。 Zbl 1485.93206号 阿尔伯特·本文尼斯特;贝诺·凯劳德;埃尔姆奎斯特,希尔丁;哈利勒·戈尔巴尔;马丁·奥特;马克·普泽特 1 2019 混合系统建模器中因果循环的基于类型的分析。 Zbl 1362.68282号 阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 1 2014 混合系统建模器的非标准语义。 Zbl 1244.68050号 阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺·凯劳德;马克·普泽特 11 2012 通过设计确保可达性。 Zbl 1362.68164号 贝诺·凯劳德;Jean-Baptiste Raclet女士 2 2012 基于组件设计的模态接口理论。 Zbl 1242.68147号 Jean-Baptiste Raclet女士;埃里克·巴杜埃尔;阿尔伯特·本文尼斯特;贝诺·凯劳德;Legay、Axel;罗伯托·帕塞罗内 26 2011 约束马尔可夫链。 兹比尔1223.68070 贝诺·凯劳德;贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 12 2011 概率契约:用于设计具有随机和/或非确定性方面的系统的组合推理方法。 Zbl 1210.93068号 贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 6 2011 注意差距:在分散的离散事件控制中扩大通信选项。 Zbl 1228.93078号 劳丽·瑞克;贝诺·凯劳德 5 2011 基于合同的多视点规范和设计。 Zbl 1209.68120号 阿尔伯特·本文尼斯特;贝诺·凯劳德;阿尔贝托·法拉利;莱昂纳多·曼格鲁卡;罗伯托·帕塞罗内;克里斯托斯·索夫罗尼斯 15 2008 并发机密。 Zbl 1125.93320号 Badouel,E。;Bednarczyk,M。;Borzyszkowski,A。;凯劳德,B。;达伦多,P。 31 2007 模块化同步规范的正确构造异步实现。 Zbl 1138.68469号 杜米特鲁·波托普·布图卡鲁;贝努伊特Caillaud 三 2007 同步系统中的并发。 Zbl 1100.68004号 杜米特鲁·波托普·布图卡鲁;贝诺·凯劳德;阿尔伯特·本文尼斯特 6 2006 模块化系统开发和回拉。 Zbl 1274.68220号 马雷克·贝德纳奇克(Marek A.Bednarczyk)。;卢卡·伯纳迪内洛;贝诺·凯劳德;Pawłowski、Wies \322»aw;露西娅·波梅尔 1 2003 通过Petri网综合分配有限自动机。 Zbl 1017.68062号 埃里克·巴杜埃尔;贝诺·凯劳德;达伦多,P。 21 2002 用于高级消息序列图的基于事件结构的语义。 Zbl 1009.68070号 洛依茨海露;克洛德·贾德;贝诺·凯劳德 2 2002 离散事件系统的综合与控制。 Zbl 0984.00042号 2 2002 HMSC作为部分规范。完成PN。 Zbl 0985.68037号 贝诺特·凯劳德;菲利普·达伦多;洛依茨海露;莱斯文特斯,吉尔 三 2001 数据流同步语言中的组合性:规范和分布式代码生成。 Zbl 1003.68068号 阿尔伯特·本文尼斯特;贝诺·凯劳德;保罗·勒格尔尼克 5 2000 从同步到异步。 Zbl 0939.68079号 阿尔伯特·本文尼斯特;贝诺·凯劳德;保罗·勒格尔尼克 2 1999 逆向选择模型中的噪音观察。 Zbl 0764.90002号 凯劳德,B。;R·盖斯内里。;雷伊,P。 7 1992 所有引用出版物 前5名被引用出版物 全部的 前5名249位作者引用 11 特雷杜普,罗尼 9 Legay、Axel 7 雷蒙·德维勒 6 阿尔伯特·本韦尼斯特 6 埃尔文·马尔坎德 5 贝诺·凯劳德 5 贝诺·德拉哈耶 5 金·古德斯特兰·拉森 5 李志武 5 杰拉尔德·吕特根 4 乌里·法伦贝格 4 Alberto L.Sangiovanni-Vincentelli。 4 沃尔特·福格勒 三 最好的,艾克 三 菲利普·达伦多 三 埃罗菲耶夫·叶夫根尼 三 芬德里奇、萨沙 三 布莱斯·基内斯特 三 亚历山德罗·朱阿 三 Hadjicostis,Christopros N。 三 洛依茨海露 三 罗尔夫·亨尼克 三 简·Křetínsk 三 Marta Z.Kwiatkowska。 三 圣菲拉福顿 三 劳丽·瑞克 三 乌里·施拉赫特 三 Jean-Pierre塔宾 三 吴乃琪 2 克里斯特尔·拜尔 2 吉·巴伦 2 塞巴斯蒂安·鲍尔。 2 尼古拉·贝内什 2 贝拉德,贝特里奇 2 蒂莫西·布鲁克 2 伯纳德·布罗格里亚托 2 曼弗雷德·布罗伊 2 费伦茨·巴伊托 2 蔡凯 2 弗兰克·卡塞兹 2 安娜·卡瓦尔坎蒂 2 亚历山德罗·西马蒂 2 达姆,沃纳 2 杰瑞米·杜布雷尔 2 Forejt,Vojtěch公司 2 西蒙·福斯特 2 本特·琼森 2 林,冯 2 汤马斯·马斯托普斯 2 马蒂亚斯·尼贝格 2 索菲·平奇纳特 2 马克·普泽特 2 卡拉·西特祖 2 桑吉特·阿伦库马尔·塞希亚 2 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 2 斯特凡诺·托内塔 2 童,尹 2 路易斯·玛丽·特劳努埃兹 2 王伟林 2 安德烈·索夫斯基 2 乔纳斯·韦斯特曼 2 哈罗·威梅尔 2 马丁·威尔辛 2 詹姆斯·伍德科克。 2 吴义钦 2 尹、香 2 张仁元 1 亚历山德罗·阿巴特 1 马尼德拉·阿格拉瓦尔 1 华金·阿瓜多 1 艾沙·艾哈迈德 1 阿克西,S。 1 奥斯特罗姆,卡尔·约翰 1 埃里克·巴杜埃尔 1 拉斐尔·胡里奥·巴切洛斯 1 乔·卡洛斯·巴西利奥 1 洛依茨贝斯纳德 1 米歇尔·比多瓦 1 法布里西奥·比昂迪 1 Jean-Paul Bodeveix公司 1 Bortolussi,卢卡 1 奥利维尔·伯内兹 1 皮埃尔·布维尔 1 贝诺·博伊尔 1 劳拉·博泽利 1 塞缪尔·卡纳姆 1 卢卡·卡德利 1 卢卡·卡洛尼(Luca P.Carloni)。 1 谢多·塞巴斯蒂安 1 陈,文 1 克里斯·奇尔顿 1 丛、徐亚 1 贾马尔·达夫兹 1 卢卡·德·阿尔法罗 1 拉米罗·德马西 1 克莱门斯·杜伯斯拉夫 1 兹比格涅夫Dziong 1 埃里克·法布雷 1 德克·法兰德 1 伊利耶斯·法尔科内 …还有149位作者 全部的 前5名27篇连载文章中引用 15 离散事件动态系统 12 理论计算机科学 11 Automatica公司 8 信息学学报 8 系统设计中的形式化方法 7 信息与计算 5 计算机基础理论 4 程序设计中的逻辑和代数方法杂志 三 信息科学 2 国际控制杂志 2 计算机与系统科学杂志 2 逻辑与代数程序设计杂志 2 非线性分析。混合动力系统 1 系统和控制信函 1 计算机程序设计科学 1 电路、系统和信号处理 1 自动推理杂志 1 计算的形式方面 1 欧洲应用数学杂志 1 MSCS公司。计算机科学中的数学结构 1 SIAM审查 1 欧洲控制杂志 1 软计算 1 美国医学会杂志 1 应用数学杂志 1 计算机科学中的逻辑方法 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名13个领域引用 99 计算机科学(68至XX) 44 系统论;控制(93至XX) 14 数学逻辑和基础(03-XX) 8 概率论与随机过程(60-XX) 6 运筹学、数学规划(90-XX) 6 信息与通信理论、电路(94-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 常微分方程(34-XX) 2 动力系统和遍历理论(37至XX) 2 变分法与最优控制;最优化(49至XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文