编辑配置文件(在新选项卡中打开) 罗曼·佩乔 合著者距离 作者ID: 梅毒 发布日期: 罗曼·佩乔 编入索引的文档: 28出版物自2006年起 合著者: 18位合著者具有27联合出版物 309合著作者 全部的 前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 解释,一种静态分析程序资源的语义方法。 Zbl 1351.68061号 Jean-Yves玛丽恩;罗曼·佩乔 6 2009 fork进程的基于类型的复杂性分析。 Zbl 1260.68097号 伊曼纽尔·海因里;Jean-Yves玛丽恩;罗曼·佩乔 6 2013 使用解释来描述流程序的多项式时间复杂性。 兹比尔1327.68075 Férée,雨果;伊曼纽尔·海因里;马修·霍洛普;罗曼·佩乔 5 2015 通过分解进行准解释合成。高阶程序的应用程序。 Zbl 1147.68431号 纪尧姆·邦芬特;Jean-Yves玛丽恩;罗曼·佩乔 4 2007 超解释综合:一项调查。 Zbl 1282.68091号 罗曼·佩乔 4 2013 用一阶函数程序描述交替记录时间的特性。 Zbl 1138.68357号 纪尧姆·邦芬特;Jean-Yves玛丽恩;罗曼·佩乔 三 2006 多项式时间中的对象。 Zbl 1329.68069号 伊曼纽尔·海因里;罗曼·佩乔 三 2015 一种描述可行函数的基于层的类型化编程语言。 Zbl 07299494号 伊曼纽尔·海因里;布鲁斯·卡普伦。;Jean-Yves玛丽恩;罗曼·佩乔 三 2020 使用语义解释的流I/O的上限。 Zbl 1257.68048号 马可·加博阿迪;罗曼·佩乔 2 2009 流程序的解释:描述2型多项式时间复杂性。 Zbl 1311.03068号 雨果·弗雷;伊曼纽尔·海因里;马修·霍洛普;罗曼·佩乔 2 2010 复杂信息在多线程命令式语言中流动。 Zbl 1405.68145号 Jean-Yves玛丽恩;罗曼·佩乔 2 2014 高阶复杂度的高阶解释。 Zbl 1403.68032号 伊曼纽尔·海因里;罗曼·佩乔 2 2017 轻仿射lambda演算中的代数和余代数。 Zbl 1360.68328号 马可·加博阿迪;罗曼·佩乔 2 2015 流程序的全局和局部空间属性。 Zbl 1305.68055号 马可·加博阿迪;罗曼·佩乔 1 2010 一阶函数程序对NC(^{k})的一种描述。 Zbl 1139.68332号 Jean-Yves玛丽恩;罗曼·佩乔 1 2008 面向对象程序的基于类型的复杂性分析。 Zbl 1395.68087号 伊曼纽尔·海因里;罗曼·佩乔 1 2018 关于表示布尔函数的正规形式系统的效率。 Zbl 1481.06031号 米盖尔·库塞罗;埃尔科·莱顿;Mercuriali,皮埃尔;罗曼·佩乔 1 2020 高阶解释理论以及对基本可行函数的应用。 兹比尔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 分叉过程的基于类型的复杂性分析。 兹比尔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 川崎捷瑞 1 贝诺缬氨酸 1 约翰·范德韦特林 1 巴斯·韦斯特班 1 吉田信子 1 奥利维尔·泽恩 1 马丁·齐格勒 全部的 前5名9篇连载文章中引用 4 理论计算机科学 4 信息与计算 4 计算机科学中的逻辑方法 三 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 函数编程杂志 1 多值逻辑与软计算杂志 1 物理学报A:数学与理论 全部的 前5名在7个字段中引用 33 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 4 范畴理论;同调代数(18-XX) 2 量子理论(81-XX) 1 阶、格、有序代数结构(06-XX) 1 代数几何(14-XX) 1 功能分析(46倍X倍) 按年份列出的引文