编辑配置文件（在新选项卡中打开） 尼古拉斯·塔巴鲁 合著者距离 作者ID: tabareau.nicolas公司 发布日期： 尼古拉斯·塔巴鲁 外部链接： MGP公司 编入索引的文档： 24出版物自2004年以来，包括1个附加arXiv预打印 1名编辑贡献 合著者： 27位合著者具有25联合出版物 389位合著者 全部的 前5名合著者 0 单作者的 6 索索、马蒂厄 4 鲍利耶，西蒙 4 保罗·安德烈·梅利埃 4 埃里克·坦特 三 吉勒姆·贾伯 三 皮埃尔·马里·佩德罗 三 Jean-Jacques E.斯隆。 2 阿南德，阿比舍克 2 西里尔·科恩 2 皮埃尔·埃瓦里斯特·达甘 2 克里斯汀·塔森 1 托尔斯滕·阿滕柯奇 1 丹尼尔·本马因 1 阿兰·贝尔霍兹 1 迪帕克·D’Souza 1 扬尼克·福斯特 1 贝诺·吉拉德 1 安德烈·赫肖维茨 1 汤姆·赫肖维茨 1 安布罗斯·卡波西 1 费边·昆泽 1 加布里埃尔·勒沃托夫斯基 1 彼得·勒法努，朗斯丹 1 格雷戈里·马莱查 1 Pham，Quang-Cuong先生 1 凯文·奎林 1 塞奥温特哈尔特 全部的 前5名系列 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 生物控制论 1 IEEE自动控制汇刊 1 纯逻辑与应用逻辑年鉴 1 分布式计算 1 函数编程杂志 1 美国医学会杂志 1 形式化推理杂志 全部的 前5名领域 15 数理逻辑与基础（03-XX） 14 计算机科学（68至XX） 7 范畴理论；同调代数（18-XX） 三 代数拓扑（55-XX） 1 总体主题；集合（00-XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物被引用120中的次110文件 引用人▼ 年份▼ 随机增量稳定性的收缩理论方法。 Zbl 1367.60073号 Pham，Quang-Cuong先生;尼古拉斯·塔巴鲁;Jean-Jacques斯隆廷 34 2009 线性逻辑自由指数形式的显式公式。 Zbl 1248.03080号 保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁;克里斯汀·塔森 21 2009 张量逻辑中的资源模式。 兹比尔1223.03048 保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁 13 2010 关于具有输入确定保护的时间自动机。 Zbl 1109.68503号 迪帕克·D’Souza;尼古拉斯·塔巴鲁 7 2004 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德，阿比舍克;鲍利耶，西蒙;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 Coq中的宇宙多态性。 Zbl 1416.68179号 索索、马蒂厄;尼古拉斯·塔巴雷奥 6 2014 线性逻辑自由指数形式的显式公式。 Zbl 1456.03102号 保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁;克里斯汀·塔森 5 2018 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德，阿比舍克;鲍利耶，西蒙;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 用强制扩展类型理论。 Zbl 1364.03016号 吉勒姆·贾伯;尼古拉斯·塔巴鲁;索索、马蒂厄 5 2012 强制的定义方面。 Zbl 1394.68063号 吉勒姆·贾伯;加布里埃尔·勒沃托夫斯基;皮埃尔·马里·佩德罗;索索、马蒂厄;尼古拉斯·塔巴雷奥 三 2016 Setoid类型理论——句法翻译。 Zbl 1434.03034号 托尔斯滕·阿滕柯奇;鲍利耶，西蒙;安布罗斯·卡波西;尼古拉斯·塔巴鲁 三 2019 依赖互操作性的基础。 Zbl 1476.68051号 皮埃尔·埃瓦里斯特·达甘;尼古拉斯·塔巴鲁;埃里克·坦特 2 2018 消除依赖上瘾的有效方法。 兹比尔1452.03039 皮埃尔·马里·佩德罗;尼古拉斯·塔巴鲁 2 2017 类型理论中同伦假设的Wild（\omega）范畴。 Zbl 1433.03031号 安德烈·赫肖维茨;汤姆·赫肖维茨;尼古拉斯·塔巴鲁 2 2015 失败不是一种选择。一种特殊类型的理论。 Zbl 1418.68062号 皮埃尔·马里·佩德罗;尼古拉斯·塔巴雷奥 1 2018 同伦类型理论中的Lawvere-Tierney剪切。 Zbl 1454.03021号 凯文·奎林;尼古拉斯·塔巴鲁 1 2016 上丘映射的几何结构和有效的眼动计算。 Zbl 1125.92016年 尼古拉斯·塔巴鲁;丹尼尔·本马因;阿兰·贝尔霍兹;Jean-Jacques斯隆廷;贝诺·吉拉德 1 2007 克里普克开放互模拟。游戏语义和操作技术的结合。 兹比尔1329.68077 吉勒姆·贾伯;尼古拉斯·塔巴鲁 1 2015 验证依赖互操作性的部分类型等效性。 Zbl 1360.68322号 皮埃尔·埃瓦里斯特·达甘;尼古拉斯·塔巴鲁;埃里克·坦特 1 2016 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德，阿比舍克;鲍利耶，西蒙;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 Setoid类型理论——句法翻译。 Zbl 1434.03034号 托尔斯滕·阿滕柯奇;鲍利耶，西蒙;安布罗斯·卡波西;尼古拉斯·塔巴雷奥 三 2019 线性逻辑自由指数形式的显式公式。 Zbl 1456.03102号 保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁;克里斯汀·塔森 5 2018 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德，阿比舍克;鲍利耶，西蒙;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 依赖互操作性的基础。 Zbl 1476.68051号 皮埃尔·埃瓦里斯特·达甘;尼古拉斯·塔巴鲁;埃里克·坦特 2 2018 失败不是一种选择。一种特殊类型的理论。 Zbl 1418.68062号 皮埃尔·马里·佩德罗;尼古拉斯·塔巴雷奥 1 2018 消除依赖上瘾的有效方法。 兹比尔1452.03039 皮埃尔·马里·佩德罗;尼古拉斯·塔巴鲁 2 2017 强制的定义方面。 Zbl 1394.68063号 吉勒姆·贾伯;加布里埃尔·勒沃托夫斯基;皮埃尔·马里·佩德罗;索索、马蒂厄;尼古拉斯·塔巴鲁 三 2016 同伦类型理论中的Lawvere-Tierney剪切。 Zbl 1454.03021号 凯文·奎林;尼古拉斯·塔巴鲁 1 2016 验证依赖互操作性的部分类型等效性。 Zbl 1360.68322号 皮埃尔·埃瓦里斯特·达甘;尼古拉斯·塔巴鲁;埃里克·坦特 1 2016 类型理论中同伦假设的Wild（\omega）范畴。 Zbl 1433.03031号 安德烈·赫肖维茨;赫肖维茨，汤姆;尼古拉斯·塔巴鲁 2 2015 克里普克开放互模拟。游戏语义和操作技术的结合。 Zbl 1329.68077号 吉勒姆·贾伯;尼古拉斯·塔巴鲁 1 2015 Coq中的宇宙多态性。 Zbl 1416.68179号 索索、马蒂厄;尼古拉斯·塔巴鲁 6 2014 用强制扩展类型理论。 Zbl 1364.03016号 吉勒姆·贾伯;尼古拉斯·塔巴鲁;索索、马蒂厄 5 2012 张量逻辑中的资源模式。 兹比尔1223.03048 保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁 13 2010 随机增量稳定性的收缩理论方法。 Zbl 1367.60073号 Pham，Quang-Cuong先生;尼古拉斯·塔巴鲁;Jean-Jacques斯隆廷 34 2009 线性逻辑自由指数形式的显式公式。 Zbl 1248.03080号 保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁;克莉丝汀·塔森 21 2009 上丘映射的几何结构和有效的眼动计算。 Zbl 1125.92016年 尼古拉斯·塔巴鲁;丹尼尔·本马因;阿兰·贝尔霍兹;Jean-Jacques斯隆廷;贝诺·吉拉德 1 2007 关于具有输入确定保护的时间自动机。 Zbl 1109.68503号 D&rsquo；迪帕克苏扎;尼古拉斯·塔巴鲁 7 2004 所有引用出版物 前5名被引用出版物 全部的 前5名210位作者引用 5 尼古拉斯·塔巴鲁 4 Jean-Simon，Pacaud Lemay 三 穆罕默德·阿里·哈马米 三 达米亚诺·马扎 三 保罗·安德烈·梅利斯 三 索索、马蒂厄 三 川崎捷瑞 2 米歇尔·巴萨尔德拉 2 马尔塞洛·玛丽亚·贝尔萨尼 2 鲍利耶，西蒙 2 Cheah，Chien Chern先生 2 法滕·埃齐恩 2 扬尼克·福斯特 2 吉勒·杰勒茨 2 多米尼克·柯斯特 2 费边·昆泽 2 詹姆斯·D·莱尔德。 2 吉姆·莱尔德 2 玛丽娜·莱妮莎 2 丹尼尔·李卡塔（Daniel R.Licata）。 2 朱利奥·曼佐内托 2 迈克尔·马加利奥特 2 盖·安德鲁·麦库斯克 2 新，Max S。 2 庞洪波 2 Pierluigi San彼得罗 2 Jean-François拉斯金 2 罗西（Matteo A.C.Rossi）。 2 萨特勒，克里斯蒂安 2 亚历克西斯·索林 2 Jean-Jacques E.斯隆。 2 乔纳森·斯特林 2 沃特·斯威斯特拉 2 纳塔利·斯兹纳杰德 2 Ta，广明 2 克里斯汀·塔森 2 范德维德，尼尔斯 2 赵军 1 亚历山德罗·阿巴特 1 奥斯卡·亚伯拉罕森 1 艾比，伊娃 1 阿迈勒·艾哈迈德 1 阿伦斯，贝内迪克特 1 托尔斯滕·阿滕柯奇 1 桑德拉·阿尔维斯 1 扎赫拉·阿米扎雷 1 阿南德，阿比舍克 1 卡洛·安吉利 1 丹尼尔·安尼科夫 1 亚里士多德·阿拉珀塔提斯 1 哈拉尔德·阿斯切曼 1 叶卡捷琳娜·奥尔 1 侯赛因·贝克扎德 1 本·哈米德（Ben Hamed，Bassem） 1 大卫·伯恩哈德 1 拉尔斯·比克达尔 1 阿努普·比斯瓦斯 1 阿列舍·比兹亚克 1 尼古拉斯·博菲（Nicholas M.Boffi）。 1 Jake Bouvrie先生 1 布鲁内尔，阿洛伊斯 1 Tomás Carabolo Garrido 1 约翰逊·卡罗尔 1 乔里斯·塞勒曼斯 1 Manuel M.T.查克拉瓦蒂。 1 亚瑟·查古埃罗 1 沙图兰塔布特（Chaturantabut，Saifon） 1 宋珠钟 1 马丁·丘吉尔 1 拉纳德·A·克鲁斯顿。 1 杰斯珀·考克斯 1 西里尔·科恩 1 丹妮拉·康斯坦丁斯库 1 米歇尔·康坦特 1 可口、蒂埃里 1 拉斐尔·克鲁比尔 1 尤恩·达布罗夫斯基 1 皮埃尔·埃瓦里斯特·达甘 1 斯瓦拉吉·达什 1 瓦莱里亚·德·佩瓦 1 多米尼克·德夫里塞 1 托马斯·Dötschel 1 凯瑟琳·杜布瓦 1 哈雷III伊德斯 1 托马斯·埃尔哈德 1 戈兰霍西恩·埃尔杰伊 1 法拉希、穆罕默德·哈迪 1 弗兰蒂舍克·法尔卡 1 埃兹琳·法滕 1 马克·费希林 1 马里奥弗洛里多 1 弗雷、乔纳斯 1 高基町五指 1 马尔科·加博阿迪 1 理查德·加纳 1 简·赫尔曼·杰弗斯 1 彼得·吉斯尔 1 古森，H.H.L.M。 1 汉斯·布格·格雷斯沃尔 1 丹尼尔·格拉泽 …还有110多名作者 全部的 前5名35篇连载文章被引用 8 MSCS公司。计算机科学中的数学结构 6 函数编程杂志 6 计算机科学中的逻辑方法 5 Automatica公司 4 自动推理杂志 三 国际控制杂志 三 富兰克林学院学报 三 理论计算机科学 三 国际鲁棒非线性控制杂志 2 生物控制论 2 系统和控制信件 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 神经计算 2 应用的分类结构 2 计算动力学杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 数学物理报告 1 应用数学与优化 1 计算 1 纯粹与应用代数杂志 1 电路、系统和信号处理 1 数学与应用杂志。诺伊维埃梅·塞里 1 系统设计中的形式化方法 1 范畴的理论与应用 1 非线性科学与数值模拟中的通信 1 国际应用数学与计算机科学杂志 1 应用数学杂志 1 SIAM应用动力系统杂志 1 地中海数学杂志 1 泛逻辑 1 非线性分析。混合动力系统 1 RAIRO公司。理论信息学及其应用 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名22个领域被引用 55 计算机科学（68至XX） 37 数理逻辑与基础（03-XX） 25 系统论；控制（93至XX） 19 范畴理论；同调代数（18-XX） 8 概率论与随机过程（60-XX） 5 生物学和其他自然科学（92-XX） 4 常微分方程（34-XX） 4 动力系统和遍历理论（37至XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 差分和函数方程（39至XX） 2 功能分析（46倍X倍） 2 数值分析（65-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 偏微分方程（35-XX） 1 算子理论（47-XX） 1 变分法与最优控制；最优化（49至XX） 1 代数拓扑（55-XX） 1 量子理论（81-XX） 1 相对论和引力理论（83至XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文