编辑配置文件（在新选项卡中打开） 罗曼·佩乔 合著者距离 作者ID： 梅毒 发布日期： 罗曼·佩乔 已编制索引的文档： 28出版物自2006年起 合著者： 18位合著者具有27联合出版物 308合著作者 全部的 前5名合著者 1 单作者的 13 伊曼纽尔·海因里 11 Jean-Yves玛丽恩 三 马可·加博阿迪 三 布鲁斯·卡普伦。 2 纪尧姆·邦芬特 2 米盖尔·库塞罗 2 雨果·弗雷 2 马修·霍洛普 2 皮埃尔·莫库里亚利 1 伊曼纽尔·詹德尔 1 埃尔科·莱顿 1 达米亚诺·马扎 1 西蒙·佩德里克斯 1 马西斯·雷内拉 1 阿卜杜拉·萨菲丁 1 Ta、Thanh Dinh 1 弗拉基米尔·扎姆德日耶夫 1 奥利维尔·泽恩 系列 三 理论计算机科学 2 计算机科学中的逻辑方法 1 信息与计算 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 领域 28 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 2 阶、格、有序代数结构（06-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用67中的次37文件 引用人▼ 年份▼ 归纳数据类型的量子编程：因果关系和仿射类型理论。 Zbl 1442.68034号 罗曼·佩乔；西蒙·佩德里克斯；马西斯·雷内拉；弗拉基米尔·扎姆德日耶夫 9 2020 通过超解释进行资源分析。 Zbl 1185.68226号 Jean-Yves玛丽恩；罗曼·佩乔 8 2006 fork进程的基于类型的复杂性分析。 Zbl 1260.68097号 伊曼纽尔·海因里；Jean-Yves玛丽恩；罗曼·佩乔 6 2013 解释，一种静态分析程序资源的语义方法。 Zbl 1351.68061号 Jean-Yves玛丽恩；罗曼·佩乔 6 2009 使用解释表征流程序的多项式时间复杂性。 Zbl 1327.68075号 雨果·弗雷；伊曼纽尔·海因里；马修·霍洛普；罗曼·佩乔 5 2015 超解释综合：一项调查。 Zbl 1282.68091号 罗曼·佩乔 4 2013 通过分解进行准解释合成。高阶程序的应用程序。 Zbl 1147.68431号 纪尧姆·邦芬特；Jean-Yves玛丽恩；罗曼·佩乔 4 2007 多项式时间中的对象。 Zbl 1329.68069号 伊曼纽尔·海因里；罗曼·佩乔 三 2015 用一阶函数程序描述交替记录时间的特性。 兹比尔1138.68357 纪尧姆·邦芬特；Jean-Yves玛丽恩；罗曼·佩乔 三 2006 一种描述可行函数的基于层的类型化编程语言。 Zbl 07299494号 伊曼纽尔·海因里；布鲁斯·卡普伦。；Jean-Yves玛丽恩；罗曼·佩乔 三 2020 复杂信息在多线程命令式语言中流动。 Zbl 1405.68145号 Jean-Yves玛丽恩；罗曼·佩乔 2 2014 流程序的解释：表征类型2多项式时间复杂性。 Zbl 1311.03068号 雨果·弗雷；伊曼纽尔·海因里；马修·霍洛普；罗曼·佩乔 2 2010 使用语义解释的流I/O的上限。 Zbl 1257.68048号 马可·加博阿迪；罗曼·佩乔 2 2009 高阶复杂度的高阶解释。 Zbl 1403.68032号 伊曼纽尔·海因里；罗曼·佩乔 2 2017 光仿射lambda演算中的代数和余代数。 Zbl 1360.68328号 马可·加博阿迪；罗曼·佩乔 2 2015 面向对象程序的基于类型的复杂性分析。 Zbl 1395.68087号 伊曼纽尔·海因里；罗曼·佩乔 1 2018 一阶函数程序对NC（^{k}）的一种描述。 Zbl 1139.68332号 Jean-Yves玛丽恩；罗曼·佩乔 1 2008 流程序的全局和局部空间属性。 Zbl 1305.68055号 马可·加博阿迪；罗曼·佩乔 1 2010 关于表示布尔函数的正规形式系统的效率。 Zbl 1481.06031号 米盖尔·库塞罗；埃尔科·莱顿；皮埃尔·莫库里亚利；罗曼·佩乔 1 2020 高阶解释理论及其在基本可行函数中的应用。 Zbl 1509.68042号 伊曼纽尔·海因里；罗曼·佩乔 1 2020 一种描述可行函数的基于层的类型化编程语言。 Zbl 07566046号 伊曼纽尔·海因里；布鲁斯·卡普伦。；Jean-Yves玛丽恩；罗曼·佩乔 1 2022 一种描述可行函数的基于层的类型化编程语言。 Zbl 07566046号 伊曼纽尔·海因里；布鲁斯·卡普伦。；Jean-Yves玛丽恩；罗曼·佩乔 1 2022 归纳数据类型的量子编程：因果关系和仿射类型理论。 Zbl 1442.68034号 罗曼·佩乔；西蒙·佩德里克斯；马西斯·雷内拉；弗拉基米尔·扎姆德日耶夫 9 2020 一种描述可行函数的基于层的类型化编程语言。 Zbl 07299494号 伊曼纽尔·海因里；布鲁斯·卡普伦。；Jean-Yves玛丽恩；罗曼·佩乔 三 2020 关于表示布尔函数的正规形式系统的效率。 Zbl 1481.06031号 米盖尔·库塞罗；埃尔科·莱顿；皮埃尔·莫库里亚利；罗曼·佩乔 1 2020 高阶解释理论及其在基本可行函数中的应用。 Zbl 1509.68042号 伊曼纽尔·海因里；罗曼·佩乔 1 2020 面向对象程序的基于类型的复杂性分析。 Zbl 1395.68087号 伊曼纽尔·海因里；罗曼·佩乔 1 2018 高阶复杂度的高阶解释。 Zbl 1403.68032号 伊曼纽尔·海因里；罗曼·佩乔 2 2017 使用解释表征流程序的多项式时间复杂性。 Zbl 1327.68075号 雨果·弗雷；伊曼纽尔·海因里；马修·霍洛普；罗曼·佩乔 5 2015 多项式时间中的对象。 Zbl 1329.68069号 伊曼纽尔·海因里；罗曼·佩乔 三 2015 轻仿射lambda演算中的代数和余代数。 Zbl 1360.68328号 马可·加博阿迪；罗曼·佩乔 2 2015 复杂信息在多线程命令式语言中流动。 兹比尔1405.68145 Jean-Yves玛丽恩；罗曼·佩乔 2 2014 fork进程的基于类型的复杂性分析。 Zbl 1260.68097号 伊曼纽尔·海因里；Jean-Yves玛丽恩；罗曼·佩乔 6 2013 超解释综合：一项调查。 Zbl 1282.68091号 罗曼·佩乔 4 2013 流程序的解释：表征类型2多项式时间复杂性。 Zbl 1311.03068号 雨果·弗雷；伊曼纽尔·海因里；马修·霍洛普；罗曼·佩乔 2 2010 流程序的全局和局部空间属性。 Zbl 1305.68055号 马可·加博阿迪；罗曼·佩乔 1 2010 解释，一种静态分析程序资源的语义方法。 Zbl 1351.68061号 Jean-Yves玛丽恩；罗曼·佩乔 6 2009 使用语义解释的流I/O的上限。 Zbl 1257.68048号 马可·加博阿迪；罗曼·佩乔 2 2009 一阶函数程序对NC（^{k}）的一种描述。 Zbl 1139.68332号 Jean-Yves玛丽恩；罗曼·佩乔 1 2008 通过分解进行准解释合成。高阶程序的应用程序。 Zbl 1147.68431号 纪尧姆·邦芬特；Jean-Yves玛丽恩；罗曼·佩乔 4 2007 通过超解释进行资源分析。 Zbl 1185.68226号 Jean-Yves玛丽恩；罗曼·佩乔 8 2006 用一阶函数程序描述交替记录时间的特性。 Zbl 1138.68357号 纪尧姆·邦芬特；Jean-Yves玛丽恩；罗曼·佩乔 三 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名49位作者引用 10 罗曼·佩乔 7 伊曼纽尔·海因里 5 Jean-Yves玛丽恩 三 帕特里克·贝洛特 三 纪尧姆·邦芬特 三 乌戈·达尔拉戈 三 布鲁斯·卡普伦。 三 萨尔瓦多卢卡斯 三 乔治·莫瑟 三 弗拉基米尔·扎姆德日耶夫 2 艾尔维拉·阿尔伯特 2 普里阿雷纳斯 2 马丁·阿文齐尼 2 萨米尔·根奈姆 2 达米亚诺·马扎 2 Jean-Yves Moyen 2 德国普埃布拉 2 安德烈亚斯·施纳布尔 2 佛罗里达州斯坦伯格 1 悉达哈·巴斯卡 1 米盖尔·库塞罗 1 弗洛里安·德洛普。 1 罗曼·德曼根 1 雨果·弗雷 1 马可·加博阿迪 1 亚历克西斯·盖塞伦 1 劳尔·古铁雷斯 1 安托万·亨罗 1 马修·霍洛普 1 伊曼纽尔·詹德尔 1 莱因哈德·卡勒 1 川村，秋田 1 丹尼尔·莱万特（Daniel M.Leivant）。 1 伯特·林登霍维斯 1 皮埃尔·莫库里亚利 1 Mislove，Michael W。 1 伊莎贝尔·奥塔维姆 1 拉米亚，拉米亚 1 马西斯·雷内拉 1 阿卜杜拉·萨菲丁 1 雅各布·格鲁·西蒙森 1 萨姆·斯塔顿 1 Terui、Kazushige 1 贝诺缬氨酸 1 约翰·范德韦特林 1 巴斯·韦斯特班 1 吉田、Nobuko 1 奥利维尔·泽恩 1 马丁·齐格勒 全部的 前5名9连载 4 理论计算机科学 4 信息与计算 4 计算机科学中的逻辑方法 三 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 函数编程杂志 1 多值逻辑与软计算杂志 1 物理学报A：数学与理论 全部的 前5名在7个字段中引用 33 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 三 范畴理论；同调代数（18-XX） 2 量子理论（81-XX） 1 阶、格、有序代数结构（06-XX） 1 代数几何（14-XX） 1 功能分析（46倍X倍） 按年份列出的引文