编辑配置文件(在新选项卡中打开) 特里斯坦勒加尔 合著者距离 作者ID: le-gall.tristan公司 发布方式: 特里斯坦勒加尔 已编制索引的文档: 11出版物自2006年起 合著者: 19位合著者具有11联合出版物 417位合作作者 全部的 前5名合著者 0 单作者的 4 加布里埃尔·卡里恩 三 蒂埃里·雅克·马萨特 2 贝特朗·珍妮特 2 埃尔文·马尔坎德 2 Jean-François拉斯金 1 文森特·博托尔 1 艾曼纽·沙伊洛 1 艾曼纽·菲利奥特 1 吉勒·杰勒茨 1 杰内特,托马斯 1 埃里克·古堡 1 亚历山大·休纳 1 蒂埃里·杰伦 1 Legay、Axel 1 尼古拉斯·梅奎特 1 埃尔夫·马尔坎德 1 瓦莱里·穆拉特 1 Sylvie推杆 1 格雷戈伊尔·萨特雷 系列 2 离散事件动态系统 1 IEEE自动控制汇刊 领域 8 计算机科学(68至XX) 三 系统论;控制(93至XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用15中的次12文件 引用人▼ 年份▼ 格树自动机的一种补全算法。 Zbl 1298.68135号 杰内特,托马斯;特里斯坦勒加尔;Legay、Axel;瓦莱里·穆拉特 4 2013 使用抽象解释对部分观测下的无限过渡系统进行符号监督控制。 Zbl 1242.93074号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2012 格自动机:语言在无限字母表上的表示,以及一些用于验证的应用。 Zbl 1211.68234号 特里斯坦勒加尔;贝特朗·珍妮特 2 2007 无限系统的分散控制。 Zbl 1226.93013号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2011 使用FIFO队列的抽象解释验证通信协议。 Zbl 1236.68017号 特里斯坦勒加尔;贝特朗·珍妮特;蒂埃里·杰伦 1 2006 zonotopes的精确连接,保留仿射输入/输出关系。 Zbl 1294.68055号 埃里克·古堡;特里斯坦勒加尔;Sylvie推杆 1 2012 具有通信功能的分布式系统的符号监控。 Zbl 1360.93425号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔夫·马尔坎德;蒂埃里·马萨特 1 2014 博弈图中的迭代遗憾最小化。 Zbl 1287.91029号 艾曼纽·菲利奥特;特里斯坦勒加尔;Jean-François拉斯金 1 2010 使用符号传感器对通信过程进行静态分析。 Zbl 1484.68097号 文森特·博托尔;艾曼纽·沙伊洛;特里斯坦勒加尔 1 2017 使用符号传感器对通信过程进行静态分析。 Zbl 1484.68097号 文森特·博托尔;艾曼纽·沙伊洛;特里斯坦勒加尔 1 2017 具有通信功能的分布式系统的符号监控。 Zbl 1360.93425号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔夫·马尔坎德;蒂埃里·马萨特 1 2014 格树自动机的一种补全算法。 Zbl 1298.68135号 杰内特,托马斯;特里斯坦勒加尔;Legay、Axel;瓦莱里·穆拉特 4 2013 部分观测下无限过渡系统的符号监督控制。 Zbl 1242.93074号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2012 区域映射的精确连接,保留仿射输入/输出关系。 Zbl 1294.68055号 埃里克·古堡;特里斯坦勒加尔;Sylvie推杆 1 2012 无限系统的分散控制。 Zbl 1226.93013号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2011 游戏图中的重复后悔最小化。 Zbl 1287.91029号 艾曼纽·菲利奥特;特里斯坦勒加尔;Jean-François拉斯金 1 2010 格自动机:语言在无限字母表上的表示,以及一些用于验证的应用。 Zbl 1211.68234号 特里斯坦勒加尔;贝特朗·珍妮特 2 2007 使用FIFO队列的抽象解释验证通信协议。 Zbl 1236.68017号 特里斯坦勒加尔;贝特朗·珍妮特;蒂埃里·杰伦 1 2006 所有引用出版物 前5名被引用出版物 全部的 前5名33位作者引用 2 特里斯坦勒加尔 1 圣地亚哥鲍蒂斯塔 1 文森特·博托尔 1 蔡凯 1 艾曼纽·沙伊洛 1 辛齐亚·迪·朱斯托 1 伯恩德·芬克贝纳 1 杰内特,托马斯 1 埃里克·古堡 1 保罗·亨特 1 加布里埃尔·卡里恩 1 莱蒂蒂亚·拉弗萨 1 林立勇 1 艾蒂安·洛兹 1 考希·马利克 1 埃尔文·马尔坎德 1 蒂埃里·雅克·马萨特 1 何塞·梅塞盖尔·瓜伊塔 1 安托万·米内 1 贝诺·蒙塔古 1 塞萨尔·穆尼奥斯。 1 阿卜杜勒拉乌特·乌阿贾奥特 1 诺埃米,传球 1 吉列尔莫·A·佩雷斯。 1 Sylvie推杆 1 Jean-François拉斯金 1 卡米洛,罗查 1 马尔特·施莱德朱夫斯基 1 安妮·凯瑟琳·施穆克 1 苏荣 1 Tai,若晨 1 张仁元 1 朱玉婷 全部的 前5名6篇连载文章中引用 2 离散事件动态系统 2 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际控制杂志 1 国际计算机科学基础杂志 在3个字段中引用 9 计算机科学(68至XX) 4 系统论;控制(93至XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文