编辑配置文件(在新选项卡中打开) 纪尧姆·费伊莱德 合著者距离 作者ID: feuillade.guillaume女士 发布日期: 纪尧姆·费伊莱德 已编制索引的文档: 8出版物自2003年起 合著者: 7合著者具有8联合出版物 177位合作作者 全部的 前5名合著者 0 单作者的 三 安德烈亚斯·赫齐格 2 菲利普·巴尔比亚尼 2 法希玛·谢赫 2 托马斯·杰奈特 2 克里斯托斯·兰苏迪斯 1 苏菲·平奇纳特 1 瓦莱里越战通 系列 1 自动推理杂志 1 离散事件动态系统 1 计算机基础理论 领域 7 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用39中的次36文件 引用人▼ 年份▼ 术语重写系统的可达性分析。 Zbl 1075.68038号 纪尧姆·费伊莱德;托马斯·杰奈特;瓦莱里越战通 21 2004 离散事件系统控制理论的模态规范。 Zbl 1116.93037号 纪尧姆·费伊莱德;苏菲·平奇纳特 9 2007 条件项重写系统中的可达性。 Zbl 1261.68099号 纪尧姆·费伊莱德;托马斯·杰奈特 7 2003 活动完整性约束的动态逻辑说明。 Zbl 1427.68064号 纪尧姆·费伊莱德;安德烈亚斯·赫齐格;克里斯托斯·兰苏迪斯 1 2019 通过过滤进行控制器/编配器合成。 Zbl 1345.68227号 菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德 1 2010 活动完整性约束的动态逻辑说明。 Zbl 1427.68064号 纪尧姆·费伊莱德;安德烈亚斯·赫齐格;克里斯托斯·兰苏迪斯 1 2019 通过过滤进行控制器/编配器合成。 Zbl 1345.68227号 菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德 1 2010 离散事件系统控制理论的模态规范。 兹伯利1116.93037 纪尧姆·费伊莱德;苏菲·平奇纳特 9 2007 术语重写系统的可达性分析。 Zbl 1075.68038号 纪尧姆·费伊莱德;托马斯·杰奈特;瓦莱里越战通 21 2004 条件项重写系统中的可达性。 Zbl 1261.68099号 纪尧姆·费伊莱德;托马斯·杰奈特 7 2003 所有引用的出版物 前5名被引用出版物 全部的 前5名66位作者引用 7 托马斯·杰奈特 5 海姆,皮尔雷·科里尔 4 尤罕·博伊库特 4 Legay、Axel 4 瓦格伏尔盖,桑德尔 三 佛罗伦萨·杰克马尔 三 奥尔加·库什纳伦科 三 直纪西田 2 罗梅奥·库比斯 2 纪尧姆·费伊莱德 2 吉原小岛 2 苏菲·平奇纳特 2 米歇尔·鲁西诺维奇 2 Masahiko酒井 1 路易斯·安东尼奥·阿吉雷 1 艾米莉·巴拉德 1 大卫·巴兹勒 1 David A.Basin。 1 塞巴斯蒂安·鲍尔。 1 瓦利德·贝尔基尔 1 纳塔莉·伯特兰 1 博迪,恰拉 1 约瑟夫·布杜 1 劳拉,博泽利 1 贝诺·凯劳德 1 亚尼克·骑士 1 加布里埃尔·科斯塔 1 菲利普·达伦多 1 迪加诺,皮尔保罗 1 贝诺·德拉哈耶 1 乌里·法伦贝格 1 伯特伦·费尔根豪尔 1 法语,蒂姆 1 盖列塔,莱特里奥 1 阿尔芬斯·盖瑟 1 卡尔·格梅纳 1 詹姆斯·黑尔斯 1 安德烈亚斯·赫齐格 1 迪特尔·霍夫鲍尔 1 Juhl,Line公司 1 简·Křetínsk 1 金·古德斯特兰·拉森 1 尤亚·梅达 1 埃尔文·马尔坎德 1 马丁·奥列特,纳西索 1 皮埃尔·埃蒂安·莫罗 1 阿德里安·帕拉西奥斯。 1 米盖尔·帕洛米诺 1 伊莎贝尔·皮塔 1 罗萨里奥·普格利泽 1 Jean-Baptiste Raclet女士 1 劳丽·瑞克 1 弗拉德·鲁苏 1 三文鱼,Yann 1 吉·斯尔巴 1 莫里斯·比克。 1 雷内·蒂曼 1 路易斯·马里·特劳努埃兹 1 尼古拉斯·特罗夸德 1 汉斯·皮特·范·迪特马什 1 德国维达尔 1 瓦莱里越战通 1 约翰内斯·沃尔德曼 1 秋久山田 1 马吉市柳泽 1 汉斯·赞特马 全部的 前5名13篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 三 信息处理信件 三 信息与计算 三 自动推理杂志 2 符号计算杂志 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 理论计算机科学 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 系统设计中的形式化方法 1 软计算 在5个字段中引用 36 计算机科学(68至XX) 4 数理逻辑与基础(03-XX) 三 系统论;控制(93至XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文