编辑配置文件(在新选项卡中打开) Fabrice骑士 合著者距离 作者ID: 法布里斯骑士 发布日期: Fabrice骑士 编入索引的文档: 13出版物自2005年以来 合著者: 8位合著者具有13联合出版物 197位合作作者 全部的 前5名合著者 0 单作者的 9 帕特里夏·鲍耶 5 迪帕克·D’Souza 4 帕维特拉·普拉巴卡 3 托马斯·布里海耶 2 尼古拉斯·马基 1 劳拉·博泽利 1 拉吉·莫汉·M 1 M.Raj莫汉 系列 2 纯逻辑与应用逻辑年鉴 1 信息与计算 1 自动机、语言和组合数学杂志 1 欧洲理论计算机科学协会公报 1 计算机科学中的逻辑方法 领域 10 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 3 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用70中的次63文件 引用人▼ 年份▼ 使用时间自动机进行故障诊断。 Zbl 1118.68374号 帕特里夏·鲍耶;Fabrice骑士;迪帕克·D’Souza 15 2005 关于TPTL公司和MTL公司. Zbl 1140.03303号 帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 14 2005 关于TPTL和MTL的表达能力。 Zbl 1209.03010号 帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 10 2010 时间自动机扩展的简洁性。 Zbl 1146.68384号 帕特里夏·鲍耶;Fabrice骑士 9 2005 加权o-minimum混合系统比加权时间自动机更具决策性! Zbl 1132.68466号 帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 6 2007 O-最小混合可达性游戏。 Zbl 1189.68070号 帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 5 2010 无计数器输入确定的时间自动机。 兹比尔1142.68039 Fabrice骑士;迪帕克·D’Souza;帕维特拉·普拉巴卡 4 2007 MTL规范的控制器合成。 Zbl 1151.68471号 帕特里夏·鲍耶;劳拉·博泽利;Fabrice骑士 3 2006 关于具有输入决定保护的连续时间自动机。 Zbl 1177.68136号 Fabrice骑士;迪帕克·D’Souza;帕维特拉·普拉巴卡 2 2006 加权o-最小混合系统。 兹伯利1219.68114 帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 2 2009 关于TPTL和MTL的表达能力。 Zbl 1209.03010号 帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 10 2010 O-最小混合可达性游戏。 Zbl 1189.68070号 帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 5 2010 加权o-最小混合系统。 Zbl 1219.68114号 帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 2 2009 加权o-极小混合系统比加权时间自动机更容易判定! Zbl 1132.68466号 帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 6 2007 无计数器输入确定的时间自动机。 Zbl 1142.68039号 Fabrice骑士;D’迪帕克苏扎;帕维特拉·普拉巴卡 4 2007 MTL规范的控制器合成。 Zbl 1151.68471号 帕特里夏·鲍耶;劳拉·博泽利;Fabrice骑士 3 2006 关于具有输入决定保护的连续时间自动机。 Zbl 1177.68136号 Fabrice骑士;D’迪帕克苏扎;帕维特拉·普拉巴卡 2 2006 使用时间自动机进行故障诊断。 Zbl 1118.68374号 帕特里夏·鲍耶;Fabrice骑士;D’迪帕克苏扎 15 2005 关于TPTL公司和MTL公司. Zbl 1140.03303号 帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 14 2005 时间自动机扩展的简洁性。 Zbl 1146.68384号 帕特里夏·鲍耶;Fabrice骑士 9 2005 所有引用出版物 前5名被引用出版物 全部的 前5名121位作者引用 6 帕特里夏·鲍耶 4 桑卡拉·纳拉亚南·克里希纳 4 尼古拉斯·马基 4 帕里托什·K·潘迪亚。 4 帕维特拉·普拉巴卡 3 David A.Basin。 3 托马斯·布里海耶 3 盖尔·杜勒鲁(Geir E.Dullerud)。 3 迪米特里·列斐伏尔 3 库什拉伊·马德纳尼 3 Vinayak S.普拉布。 3 Jean-François拉斯金 3 马赫什·维斯瓦纳坦 3 弗拉迪梅鲁、弗拉迪梅罗斯 2 福阿德·阿布贾拉德 2 贝拉德,贝特里奇 2 马尔塞洛·玛丽亚·贝尔萨尼 2 博尔祖·博纳克达尔普尔 2 Fabrice骑士 2 洛伦佐·克莱门特 2 劳伦特·多恩 2 Hadjicostis,Christopros N。 2 莫伊斯·克里钦 2 Sr Djan Krstić 2 Sandeep S.Kulkarni。 2 金·古德斯特兰·拉森 2 萨沃米尔·拉索塔 2 乔尔·欧·瓦克宁。 2 Pierluigi San彼得罗 2 拉多斯·瓦·皮奥科夫斯基 2 罗西(Matteo A.C.Rossi)。 2 杰里米·斯普洛斯顿 2 斯特凡诺·托内塔 2 德米特里·特拉泰尔 2 詹姆斯·沃雷尔。 1 Nathalie Bertrand 1 巴拉戈·纳加拉贾·巴特 1 Boel,RenéK。 1 大卫·布雷索林 1 维罗尼克·布鲁埃 1 彼得·布利切夫。 1 玛尔塔·卡皮鲁皮 1 弗兰克·卡塞兹 1 克里希南德·查特吉 1 谢多·塞巴斯蒂安 1 陈、陶璐 1 亚历山德罗·西马蒂 1 克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano) 1 达姆,沃纳 1 亚历山大·戴维 1 马丁·德·沃尔夫 1 Jyotirmoy V.德斯穆赫。 1 马尔科·迪西奥拉 1 于尔根·丁格尔 1 迪帕克·D’Souza 1 马可·费拉 1 乌里·法伦贝格 1 托马斯·费雷尔 1 马丁·范策尔 1 保罗·加斯廷 1 吉勒·杰勒茨 1 巴西姆·戈尔贝尔 1 阿尔贝托·格里乔 1 谢尔盖·哈达德 1 何希明 1 弗朗索瓦·赫布利特 1 钦梅耆那岛 1 蒂埃里·杰伦 1 乔治·吉罗维亚努 1 马尔钦·尤季扬斯基 1 萨瓦斯·科努尔 1 Marta Z.Kwiatkowska。 1 萨尔瓦多拉托雷 1 弗朗索瓦·拉鲁西尼 1 兰科·拉齐奇 1 尤里尔·勒科隆 1 马丁·勒克 1 李广元 1 李志武 1 梁,叶 1 林一燕 1 恩里科·马格纳戈 1 鲁帕克·马朱姆达尔 1 伊斯特万·马齐克 1 Lakshmi马纳萨 1 迪诺·曼德里奥利 1 埃尔文·马尔坎德 1 Manuel jun,马祖。 1 亚历山大·梅雷克莱 1 贾纳丹·库马尔·米斯拉 1 M.Raj莫汉 1 克里斯托夫·莫尔万 1 赛扬·穆克吉 1 阿尼埃洛·穆拉诺 1 格钦·诺曼 1 克莱尔·帕亚 1 扬尼克·彭科尔 1 苏菲·平奇纳特 1 安德烈·普拉泽 1 马蒂奥·普拉德拉 …还有21位作者 全部的 前5名20篇连载文章中引用 7 系统设计中的形式化方法 4 信息学报 4 理论计算机科学 3 信息与计算 3 离散事件动态系统 3 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 2 分布式计算 1 Automatica公司 1 信息科学 1 系统和控制信件 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 计算系统理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 53 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 12 系统论;控制(93至XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 概率论与随机过程(60-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文