编辑配置文件(在新选项卡中打开) 弗朗西斯科·扎帕·纳德利 合著者距离 作者ID: 扎帕·纳德利·弗朗西斯科 发布日期: 弗朗西斯科·扎帕·纳德利;弗朗西斯科·扎帕·纳德利;F.Zappa,Nardelli 更多。。。较少的 主页: https://www.di.ens.fr/~扎帕 外部链接: MGP公司 已编制索引的文档: 18出版物自2001年起 合著者: 29位合著者具有18联合出版物 370位合作作者 全部的 前5名合著者 0 单作者的 7 彼得·休厄尔 5 维克托·瓦菲亚迪斯 三 朱塞佩·卡斯塔尼亚 三 马西莫·梅罗 三 斯科特·欧文斯 2 梅尔·艾伦·威廉姆斯 2 皮埃尔·哈布泽特 2 苏雷什·贾甘纳森 2 詹姆斯·J·莱弗。 2 吉勒·佩斯金 2 托马斯·里奇 2 萨卡,苏斯米特 2 Ševčík,雅罗斯拉夫 2 斯特尼萨,洛克 2 维泰克,简 2 基思·旺斯堡 1 安德鲁·W·阿佩尔。 1 蒂鲍特·巴拉邦斯基 1 伯恩,彼得 1 查克拉博蒂,索姆 1 塞德里克·Fornet 1 乔治·盖利 1 内脏,娜塔莉娅 1 阿奎那·霍伯 1 西尔万·勒布雷斯内 1 罗宾·莫里塞特 1 约翰·奥斯特隆德 1 格林·温斯克尔 1 托拜厄斯·Wrigstad 系列 2 函数编程杂志 2 美国医学会杂志 1 信息与计算 领域 18 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用145中的次119文件 引用人▼ 年份▼ 移动环境的行为理论。 Zbl 1326.68201号 马西莫·梅罗;弗朗西斯科·扎帕·纳德利 25 2005 密封演算。 Zbl 1101.68060号 G·卡斯塔尼亚。;J.维泰克。;F.Zappa,Nardelli 21 2005 并发分离逻辑的Oracle语义。 Zbl 1133.68371号 阿奎那·霍伯;安德鲁·W·阿佩尔。;弗朗西斯科·扎帕·纳德利 19 2008 Ott:对工作语义的有效工具支持。 Zbl 1185.68201号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉勒·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 17 2010 CompCertTSO:一个经过验证的编译器,用于松弛内存并发。 Zbl 1281.68072号 什耶夫切克,雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳坦;彼得·休厄尔 14 2013 重新审视密封演算:语境等效性和双重相似性。 Zbl 1027.68088号 朱塞佩·卡斯塔尼亚;弗朗西斯科·扎帕·纳德利 10 2002 移动环境的防互模拟方法。 Zbl 1039.68085号 马西莫·梅罗;弗朗西斯科·扎帕·纳德利 10 2003 Ott,有效的工具支持工作语义。 Zbl 1291.68238号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉勒·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 8 2007 急性:分布式计算的高级编程语言设计。 Zbl 1125.68023号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 7 2007 放松内存并发和验证编译。 Zbl 1284.68152号 雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 三 2011 常见的编译器优化在C11内存模型中无效,我们可以做些什么。 Zbl 1345.68087号 维克托·瓦菲亚迪斯;蒂鲍特·巴拉邦斯基;查克拉博蒂,索姆;罗宾·莫里塞特;弗朗西斯科·扎帕·纳德利 三 2015 在Seal演算中键入移动性。 Zbl 1006.68535号 朱塞佩·卡斯塔尼亚;乔治·盖利;弗朗西斯科·扎帕·纳德利 2 2001 新HOPLA:一种具有名称生成的高阶过程语言。 Zbl 1090.68074号 格林·温斯克尔;弗朗西斯科·扎帕·纳德利 2 2004 急性:分布式计算的高级编程语言设计。 Zbl 1302.68071号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布齐特;维克托·瓦菲亚迪斯 2 2005 在脚本语言中集成类型化和非类型化代码。 Zbl 1312.68048号 托拜厄斯·Wrigstad;弗朗西斯科·扎帕·纳德利;西尔万·勒布雷斯内;约翰·奥斯特隆德;维泰克,简 2 2010 常见的编译器优化在C11内存模型中无效,我们可以做些什么。 Zbl 1345.68087号 维克托·瓦菲阿迪斯;蒂鲍特·巴拉邦斯基;查克拉博蒂,索姆;罗宾·莫里塞特;弗朗西斯科·扎帕·纳德利 三 2015 CompCertTSO:一个经过验证的编译器,用于松弛内存并发。 Zbl 1281.68072号 什耶夫切克,雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 14 2013 放松内存并发和验证编译。 Zbl 1284.68152号 雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 三 2011 Ott:对工作语义的有效工具支持。 Zbl 1185.68201号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉勒·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 17 2010 在脚本语言中集成类型化和非类型化代码。 Zbl 1312.68048号 托拜厄斯·Wrigstad;弗朗西斯科·扎帕·纳德利;西尔万·勒布雷斯内;约翰·奥斯特隆德;维泰克,简 2 2010 并发分离逻辑的Oracle语义。 Zbl 1133.68371号 阿奎那·霍伯;安德鲁·W·阿佩尔。;弗朗西斯科·扎帕·纳德利 19 2008 Ott,有效的工具支持工作语义。 Zbl 1291.68238号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉勒·佩斯金;托马斯·里奇;萨卡,苏斯米特;斯特尼萨,洛克 8 2007 急性:分布式计算的高级编程语言设计。 Zbl 1125.68023号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲阿迪斯 7 2007 移动环境的行为理论。 Zbl 1326.68201号 马西莫·梅罗;弗朗西斯科·扎帕·纳德利 25 2005 密封演算。 Zbl 1101.68060号 G·卡斯塔尼亚。;J.维泰克。;F.Zappa,Nardelli 21 2005 急性:分布式计算的高级编程语言设计。 Zbl 1302.68071号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·万斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 2 2005 New-HOPLA:一种具有名称生成功能的高阶过程语言。 Zbl 1090.68074号 格林·温斯克尔;弗朗西斯科·扎帕·纳德利 2 2004 移动环境的防互模拟方法。 兹比尔1039.68085 马西莫·梅罗;弗朗西斯科·扎帕·纳德利 10 2003 重新审视密封演算:语境等效性和双重相似性。 Zbl 1027.68088号 朱塞佩·卡斯塔尼亚;弗朗西斯科·扎帕·纳德利 10 2002 在Seal演算中键入移动性。 Zbl 1006.68535号 朱塞佩·卡斯塔尼亚;乔治·盖利;弗朗西斯科·扎帕·纳德利 2 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名204位作者引用 9 菲利波·邦奇 6 马里亚纽拉州Dezani-Ciancaglini 6 法比奥·加杜奇 5 德里克·德雷尔(Derek R.Dreyer)。 5 罗伯特·克雷伯斯 5 蒙雷利,贾科玛·瓦伦蒂娜 5 Damien Pous 4 拉尔斯·比克达尔 4 丹尼尔·戈拉 4 约万卡·潘托维奇 4 巴布亚州索波辛斯基 三 布兰奇,桑德琳 三 洛科·德尼古拉 三 西尔维娅·吉勒赞 三 塞尔盖·伦格利特 三 马西莫·梅罗 三 斯科特·欧文斯 三 罗萨里奥·普格利泽 三 朱利安·拉特克 三 大卫·桑吉奥吉 三 阿兰·施密特 三 彼得·休厄尔 三 Jean-Bernard斯特凡尼 三 维克托·瓦菲亚迪斯 三 弗朗西斯科·扎帕·纳德利 2 安德鲁·W·阿佩尔。 2 克莱门·奥伯特 2 弗雷德里克·贝松 2 阿列舍·比兹亚克 2 米歇尔·布格列西 2 朱塞佩·卡斯塔尼亚 2 马蒂奥·奇米尼 2 西尔维亚·克拉法 2 阿德里安·杜里埃 2 冯新余 2 伏玉溪 2 洛伦佐·盖里 2 轩尼诗,Matthew C.B。 2 阿奎那·霍伯 2 雅克·亨利·乔尔丹 2 拉尔夫·荣格 2 泽维尔·勒罗伊 2 乌戈·蒙塔纳里。 2 迈克尔·诺里什 2 伊恩·菲利普斯。 2 大卫·皮哈迪 2 罗宾·皮埃德鲁 2 弗朗索瓦·波蒂埃 2 安德烈亚斯·罗斯伯格 2 格里高·罗什乌 2 弗拉迪米罗·萨松 2 丹尼尔·瓦拉卡 2 玛丽亚·格拉齐亚·维格利奥蒂 2 维泰克,简 2 斯蒂芬妮,威里奇 2 皮埃尔·威尔克 2 法比奥·扎纳西 1 卡明·阿巴特 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 阿泽夫多·阿莫林 1 Soumyadip Bandyopadhyay公司 1 杰斯珀·本特森 1 洛伦佐·贝蒂尼 1 加文·M·比尔曼。 1 罗伯托·布兰科 1 伯恩,彼得 1 爱德华多·博内利 1 约阿希姆·布雷特纳 1 亚历山大·布伊斯 1 米克尔·邦加德 1 大卫·卡切拉 1 蔡晓娟 1 路易斯·凯雷斯 1 亚瑟·夏盖罗 1 詹姆斯·切尼 1 瑟·特凡·乔巴赫 1 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 1 马里奥·科普 1 福雷德里克·达布罗夫斯基 1 安德烈·玛丽安(Andrei Marian Dan) 1 詹姆斯·吉尔·德·拉马德里德 1 乔瓦娜·德迪奇 1 德尔芬·德曼吉 1 罗伯特·多金斯 1 董,袁 1 哈雷III伊德斯 1 理查德·艾森伯格。 1 楚其·埃里森 1 弗兰蒂舍克·法尔卡 1 艾米·费尔蒂(Amy P.Felty)。 1 伯恩德·菲舍尔 1 Anthony C.J.福克斯。 1 迪帕克·加格 1 巴勃罗·加拉尔达 1 克里斯蒂安·吉尔吉纳 1 保拉·吉安尼尼 1 霍尔格·吉斯 1 埃利奥·乔瓦内蒂 1 Jens Chr.Godskesen。 1 内维尔·格雷奇 …还有104位作者 全部的 前5名19篇连载文章中引用 14 信息与计算 13 理论计算机科学 11 自动推理杂志 10 函数编程杂志 8 程序设计中的逻辑和代数方法杂志 5 MSCS公司。计算机科学中的数学结构 4 信息学报 三 计算机科学中的逻辑方法 2 计算机语言、系统和结构 1 信息科学 1 计算机程序设计科学 1 计算的形式方面 1 数学与人工智能年鉴 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 全部的 前5名在7个字段中引用 117 计算机科学(68至XX) 24 数理逻辑与基础(03-XX) 7 范畴理论;同调代数(18-XX) 2 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文