编辑配置文件(在新选项卡中打开) 洛伦佐·贝蒂尼 合著者距离 作者ID: 贝蒂尼·罗伦佐 发布日期: 洛伦佐·贝蒂尼 已编制索引的文档: 24出版物自2001年起 合著者: 22合著者具有23联合出版物 393合著作者 全部的 前5名合著者 1 单作者的 13 贝蒂·文内里 10 维维亚娜·博诺 6 萨拉·卡佩基 5 洛科·德尼古拉 4 马里亚纽拉州Dezani-Ciancaglini 3 费卢西奥·达米亚尼 2 埃琳娜·贾奇诺 2 西尔维娅·利卡韦克 2 米歇尔·洛雷蒂 2 罗萨里奥·普格利泽 1 马里奥·科波 1 洛丽斯·达安东尼 1 马可·德卢卡 1 吉安·路易吉,法拉利 1 凯萨琳·盖尔曼 1 保拉·詹尼尼 1 丹尼尔·戈拉 1 尤金尼奥·莫吉 1 伊娜·谢弗 1 谢弗,Jan 1 埃米利奥·托斯托 1 吉田、Nobuko 全部的 前5名系列 4 计算机程序设计科学 2 信息学报 1 软件。实践与经验 1 理论计算机科学 1 骨髓间充质干细胞。计算机科学中的数学结构 1 RAIRO公司。理论信息学及其应用 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 24 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用100次中的次75文件 引用人▼ 年份▼ 动态交错多方会话的全球进展。 Zbl 1160.68456号 洛伦佐·贝蒂尼;马里奥·科波;洛丽斯·达安东尼;马可·德卢卡;马里亚纽拉州Dezani-Ciancaglini;吉田、Nobuko 36 2008 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号 洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽 7 2002 具有动态和静态重载功能的轻量级Java。 Zbl 1183.68137号 洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 4 2009 子类型继承冲突:mobile mixin案例。 Zbl 1088.68529号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 4 2004 面向增量的软件产品线的组合类型检查。 Zbl 1448.68212号 洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 4 2013 MOMI:移动混音的演算。 Zbl 1079.68002号 洛伦佐·贝蒂尼;贝蒂·文内里;维维亚娜·博诺 3 2005 高阶混合函数和类的核心演算。 Zbl 1100.68544号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 3 2004 具有交集类型的类型化lambda演算。 Zbl 1145.68009号 维维亚娜·博诺;贝蒂·文内里;洛伦佐·贝蒂尼 3 2008 面向对象编程的会话和联合类型。 Zbl 1143.68355号 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 3 2008 爪哇和兰姆达:一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼;维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini;保拉·詹尼尼;贝蒂·文内里 3 2018 形式化移动代理系统的属性。 Zbl 1053.68503号 洛伦佐·贝蒂尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2002 按对象组合进行委派。 Zbl 1217.68047号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2011 O'Klaim:一种带有移动mixin的协调语言。 Zbl 1081.68558号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2004 在类似Java的设置中,将特征与框和所有权类型相结合。 Zbl 1264.68046号 洛伦佐·贝蒂尼;费卢西奥·达米亚尼;凯萨琳·盖尔曼;1月Schäfer 2 2013 类Java语言的灵活动态特征替换。 兹比尔1284.68101 洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 2 2013 将强流动性转化为弱流动性。 兹比尔1052.68816 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2001 协调移动面向对象代码。 Zbl 1053.68502号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 1 2002 存在子类型时的安全对象合成。 兹比尔1171.68413 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 1 2005 将双重调度转换为单一调度。 Zbl 1272.68091号 洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 1 2005 面向对象语言中具有复制语义的动态重载:一个正式帐户。 Zbl 1175.68094号 洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 1 2009 用于保证分布式元组空间隐私的Java中间件。 Zbl 1025.68516号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2003 派生对象的会话和联合类型。 Zbl 1308.68035号 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 1 2013 爪哇和兰姆达:一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼;维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini;保拉·詹尼尼;贝蒂·文内里 3 2018 面向增量的软件产品线的组合类型检查。 Zbl 1448.68212号 洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 4 2013 在类似Java的设置中,将特征与框和所有权类型相结合。 Zbl 1264.68046号 洛伦佐·贝蒂尼;费卢西奥·达米亚尼;凯萨琳·盖尔曼;1月Schäfer 2 2013 类Java语言的灵活动态特征替换。 Zbl 1284.68101号 洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 2 2013 派生对象的会话和联合类型。 Zbl 1308.68035号 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 1 2013 按对象组合进行委派。 Zbl 1217.68047号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2011 具有动态和静态重载功能的轻量级Java。 Zbl 1183.68137号 洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 4 2009 面向对象语言中具有复制语义的动态重载:一个正式帐户。 Zbl 1175.68094号 洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 1 2009 动态交错多方会话的全球进展。 Zbl 1160.68456号 洛伦佐·贝蒂尼;马里奥·科波;D’安东尼,洛里斯;马可·德卢卡;马里亚纽拉州Dezani-Ciancaglini;吉田、Nobuko 36 2008 具有交集类型的类型化lambda演算。 兹比尔1145.68009 维维亚娜·博诺;贝蒂·文内里;洛伦佐·贝蒂尼 3 2008 面向对象编程的会话和联合类型。 Zbl 1143.68355号 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 3 2008 MOMI:移动混音器的微积分。 Zbl 1079.68002号 洛伦佐·贝蒂尼;贝蒂·文内里;维维亚娜·博诺 3 2005 存在子类型时的安全对象合成。 Zbl 1171.68413号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 1 2005 将双重调度转换为单一调度。 Zbl 1272.68091号 洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 1 2005 子类型继承冲突:mobile mixin案例。 Zbl 1088.68529号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 4 2004 高阶混合函数和类的核心演算。 Zbl 1100.68544号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 3 2004 O'Klaim:一种带有移动mixin的协调语言。 Zbl 1081.68558号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2004 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 用于保证分布式元组空间隐私的Java中间件。 Zbl 1025.68516号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2003 Klava:一个用于分布式和移动应用程序的Java包。 Zbl 1009.68933号 洛伦佐·贝蒂尼;洛科·德尼古拉;罗萨里奥·普格利泽 7 2002 形式化移动代理系统的属性。 Zbl 1053.68503号 洛伦佐·贝蒂尼;洛科·德尼古拉;米歇尔·洛雷蒂 2 2002 协调移动面向对象代码。 Zbl 1053.68502号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 1 2002 将强流动性转化为弱流动性。 Zbl 1052.68816号 洛伦佐·贝蒂尼;洛科·德尼古拉 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名123位作者引用 14 马里亚纽拉州Dezani-Ciancaglini 11 吉田、Nobuko 7 洛伦佐·贝蒂尼 6 维维亚娜·博诺 6 萨拉·卡佩基 6 卢卡·帕多瓦尼 6 贝蒂·文内里 5 弗莱明·尼尔森 5 罗萨里奥·普格利泽 4 伊利亚州卡斯特拉尼 4 马里奥·科波 4 费卢西奥·达米亚尼 4 洛科·德尼古拉 4 汉内·里斯·尼尔森 4 阿尔切斯特·斯卡拉斯 4 埃琳娜·祖卡 3 马西莫·巴托莱蒂 3 奥尔内拉·达达 3 索尼娅·法戈齐 3 埃琳娜·贾奇诺 3 保拉·詹尼尼 3 本田、高黑 3 迪米特里斯·莫斯特鲁斯 3 伊娜·谢弗 3 弗朗西斯科·蒂埃齐 2 劳拉·博奇 2 弗朗西斯科·达尼诺 2 罗曼·德曼根 2 西尔维娅·吉勒赞 2 丹尼尔·戈拉 2 胡雷蒙德 2 埃纳尔·布罗赫·约翰森 2 Kokke,温 2 伊万·拉内斯 2 路易吉·利科里 2 法布里西奥·蒙泰西 2 塞巴斯蒂安·南兹 2 乌韦·内斯特曼 2 约万卡·潘托维奇 2 佩雷斯(Jorge A.Pérez)。 2 柯斯汀·彼得斯 2 克劳德·斯托尔泽 2 埃米利奥·托斯托 2 雨果·托雷斯·维埃拉 2 克里斯托夫·瓦格纳。 2 罗伯托·祖尼诺 1 Joao Alpuim 1 大卫·安科纳 1 佩德罗·安吉洛 1 阿佩尔,斯文 1 法哈德·阿尔巴 1 乔治·奥德里托 1 雅各布·比尔 1 安迪·贝杰利里 1 亚历山大·伯格尔 1 路易斯·凯雷斯 1 马尔科·卡博尼 1 朱塞佩·卡斯塔尼亚 1 米歇尔·乔德隆 1 陈建文 1 陈子春 1 陈子春 1 加布里埃尔·乔巴努 1 克拉克、戴夫 1 罗伯特·J·科尔文。 1 德尼卢,皮埃尔·马洛 1 罗伯托·迪·科斯莫 1 侗、张裕 1 约翰·多夫兰 1 索菲亚·克洛伊·德罗索波卢 1 纳兰克尔·杜雷 1 Patrick Th.尤格斯特。 1 吉安·路易吉,法拉利 1 马里奥弗洛里多 1 埃利奥·乔瓦内蒂 1 克里斯·汉金。 1 Furio Honsell 1 罗斯·霍恩 1 Joost-Pieter卡托恩 1 马西耶·库特尼 1 迪米特里奥斯·库扎帕斯 1 亚历山德罗·拉帕杜拉 1 迭戈·拉特拉 1 亚历山大·拉佐维克 1 李锡盟 1 约格·利比希 1 大卫·列文斯 1 卢赫·拉富恩特,阿尔贝托 1 米歇尔·洛雷蒂 1 伊内斯·玛格丽亚 1 梅克·马西克 1 埃尔南·梅尔格拉蒂 1 希亚拉·梅萨 1 克劳迪奥·安塔雷斯·梅齐纳 1 尤金尼奥·莫吉 1 毛里齐奥·穆尔吉亚 1 鲁米亚纳内科娃 1 布鲁诺·C·d·S·奥利维拉。 1 奥维,奥拉夫 1 丹尼尔·皮亚尼尼 …还有23位作者 全部的 前5名15篇连载文章中引用 10 程序设计中的逻辑和代数方法杂志 7 理论计算机科学 7 骨髓间充质干细胞。计算机科学中的数学结构 7 计算机科学中的逻辑方法 6 计算机程序设计科学 4 信息与计算 3 计算的形式方面 2 信息学报 2 系统设计中的形式化方法 2 计算机语言、系统和结构 2 ACM计算逻辑事务 1 信息科学 1 软件。实践与经验 1 分布式计算 1 逻辑与代数程序设计杂志 在3个字段中引用 73 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文