编辑配置文件(在新选项卡中打开) 毛罗·皮科洛 合著者距离 作者ID: 毛罗短笛 发布日期: 毛罗·皮科洛 编入索引的文档: 16出版物自2007年起 合著者: 20位合著者具有15联合出版物 263位合作作者 全部的 前5名合著者 1 单作者的 9 卢卡·保里尼 4 马可·加博阿迪 三 克劳迪娅·法根 三 卢卡·罗维斯 2 Ronchi Della Rocca,西蒙 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 尼古拉斯·阿亚奇 1 弗朗索瓦·博博特 1 Jaap P.Boender。 1 布莱恩·坎贝尔 1 伊利亚斯·加尼尔 1 安托万·马德特 1 詹姆斯·麦金纳 1 多米尼克·P·穆利根。 1 兰迪·波拉克 1 雷吉斯·詹纳斯,Yann 1 克劳迪奥·萨塞尔多蒂·科恩 1 伊恩·斯塔克 1 保罗·特兰基利 1 玛格丽塔·佐齐 系列 2 MSCS公司。计算机科学中的数学结构 1 理论计算机科学 1 自动推理杂志 1 逻辑与计算杂志 1 计算机基础理论 领域 12 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用55中的次41文件 引用人▼ 年份▼ Ludics是有限线性像素的模型。 Zbl 1215.03071号 克劳迪娅·法根;毛罗·皮科洛 9 2007 一类可逆的本原递归函数。 Zbl 1345.03078号 卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 7 2016 部分顺序、事件结构和线性策略。 Zbl 1246.03078号 克劳迪娅·法根;毛罗·皮科洛 7 2009 基本模型和关系模型。 Zbl 1364.68131号 卢卡·保里尼;毛罗·皮科洛;西蒙娜·隆奇·德尔拉·罗卡 7 2017 一类递归排列,它是基递归完备的。 Zbl 1481.03031号 卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 6 2020 对可逆编程语言的认证研究。 Zbl 1433.68080号 卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 5 2018 认证复杂性(CerCo)。 Zbl 1445.68057号 罗伯特·阿马迪奥(Roberto M.Amadio)。;尼古拉斯·阿亚奇;弗朗索瓦·博博特;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;兰迪·波拉克;雷吉斯·贾纳斯,亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰基利 三 2014 描述事件结构组成的图抽象机。 Zbl 1278.68092号 克劳迪娅·法吉安;毛罗·皮科洛 三 2007 高阶语言和量子电路。 Zbl 1468.68049号 卢卡·保里尼;毛罗短笛;玛格丽塔·佐齐 三 2019 论语义线性的物化。 Zbl 1361.68064号 马可·加博阿迪;卢卡·保里尼;毛罗·皮科洛 2 2016 线性和PCF:语义洞察力! Zbl 1323.68358号 马可·加博阿迪;卢卡·保里尼;毛罗·皮科洛 1 2011 用于稳定性的逻辑语义。 Zbl 1338.03018号 卢卡·保里尼;毛罗·皮科洛;西蒙娜·隆奇·德尔拉·罗卡 1 2009 具有交集和并集类型的\(\pi\)-演算中的强规范化。 Zbl 1276.03028号 毛罗·皮科洛 1 2012 一类递归置换,它是原始递归完成的。 Zbl 1481.03031号 卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 6 2020 QPCF:高阶语言和量子电路。 Zbl 1468.68049号 卢卡·保里尼;毛罗·皮科洛;玛格丽塔·佐齐 三 2019 对可逆编程语言的认证研究。 Zbl 1433.68080号 卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 5 2018 基本模型和关系模型。 Zbl 1364.68131号 卢卡·保里尼;毛罗·皮科洛;西蒙娜·隆奇·德尔拉·罗卡 7 2017 一类可逆的本原递归函数。 Zbl 1345.03078号 卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 7 2016 论语义线性的物化。 Zbl 1361.68064号 马可·加博阿迪;卢卡·保里尼;毛罗·皮科洛 2 2016 认证复杂性(CerCo)。 兹比尔1445.68057 罗伯特·阿马迪奥(Roberto M.Amadio)。;尼古拉斯·阿亚奇;弗朗索瓦·博博特;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马代特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;兰迪·波拉克;雷吉斯·贾纳斯,亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰基利 三 2014 具有交集和并集类型的\(\pi\)-演算中的强规范化。 Zbl 1276.03028号 毛罗·皮科洛 1 2012 线性和PCF:语义洞察力! Zbl 1323.68358号 马可·加博阿迪;卢卡·保里尼;毛罗·皮科洛 1 2011 部分顺序、事件结构和线性策略。 Zbl 1246.03078号 克劳迪娅·法根;毛罗·皮科洛 7 2009 用于稳定性的逻辑语义。 Zbl 1338.03018号 卢卡·保里尼;毛罗·皮科洛;Ronchi Della Rocca,西蒙 1 2009 Ludics是有限线性像素的模型。 Zbl 1215.03071号 克劳迪娅·法根;毛罗·皮科洛 9 2007 描述事件结构组成的图抽象机。 Zbl 1278.68092号 克劳迪娅·法根;毛罗·皮科洛 三 2007 所有引用出版物 前5名被引用出版物 全部的 前5名63位作者引用 8 卢卡·保里尼 8 卢卡·罗维斯 6 毛罗·皮科洛 4 迪莉娅·凯斯纳 4 西蒙娜·隆奇·德尔拉·罗卡 4 川崎捷瑞 三 米歇尔·巴萨尔德拉 三 克劳迪娅·法根 三 玛格丽塔·佐齐 2 安东尼奥·布恰雷利 2 西蒙·卡斯特伦 2 亚瑟·查古埃罗 2 罗伯特·格莱克 2 贾科莫·马莱托 2 阿曼多·马托斯(Armando B.Matos)。 2 弗朗索瓦·波蒂埃 2 亚历克西斯·索林 2 丹尼尔·瓦拉卡 2 丹尼尔·利马·文图拉 2 格林·温斯克尔 2 吉田、Nobuko 1 贝尼氨基Accattoli 1 桑德拉·阿尔维斯 1 毛里西奥·阿亚拉·林科恩 1 塞巴斯蒂安·巴丁 1 埃曼纽尔·贝法拉 1 弗朗索瓦·博博特 1 弗拉维恩·布鲁瓦特 1 克利斯朵夫·查尔顿 1 Clairamault,皮埃尔 1 皮埃尔·卢伊斯·居里 1 吉安卢卡·库齐 1 埃里卡·德·贝内代蒂 1 斯特凡诺·德尔·维奇奥 1 保罗·迪·吉安贝拉迪诺 1 玛丽贝尔·费尔南德斯 1 Anthony C.J.福克斯。 1 Graham Lengrand,Stéphane公司 1 Giulio Guerrieri,朱利奥 1 乔纳森·马克·海曼 1 罗宾·卡斯加德 1 拉马纳·库马尔 1 伊万·拉内斯 1 马克·拉森 1 朱利奥·曼佐内托 1 克劳迪奥·安塔雷斯·梅齐纳 1 雅罗斯瓦夫·亚当·米兹扎克 1 维吉尔·莫比尔 1 玛格努斯·奥·米林。 1 Nan,Jiang(江楠) 1 迈克尔·诺里什 1 斯科特·欧文斯 1 雨果·帕奎特 1 瓦伦丁·佩雷尔 1 伊恩·菲利普斯。 1 罗查·奥利维拉,安娜·克里斯蒂娜 1 多梅尼科·鲁阿波洛 1 Tan,Yong Kiam先生 1 伊雷克·乌利多夫斯基 1 贝诺缬氨酸 1 德国维达尔 1 横山,铁雄 1 王子晨 全部的 前5名8篇连载文章中引用 7 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 三 计算机科学中的逻辑方法 2 信息与计算 2 自动推理杂志 2 函数编程杂志 1 量子信息处理 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 34 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 8 量子理论(81-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 统计学(62-XX) 按年份列出的引文