编辑配置文件(在新选项卡中打开) 维维亚娜·博诺 合著者距离 作者ID: 维维亚纳博诺 发布日期: 维维亚娜·博诺 外部链接: 管理程序 已编制索引的文档: 30份出版物自1995年起 1作为编辑的贡献 合著者: 30位合著者具有30联合出版物 499合著作者 全部的 前5名合著者 1 单作者的 10 洛伦佐·贝蒂尼 9 贝蒂·文内里 7 米歇尔·布格列西 5 马里亚纽拉州Dezani-Ciancaglini 三 路易吉·利科里 2 库希米雷克(Ku she mierek)、贾罗斯(Jaros)和多米尼克·马特乌斯(Dominik Mateusz) 2 西尔维亚·利卡维奇 2 卢卡·帕多瓦尼 2 Jerzy Tiuryn 1 马里奥·科普 1 西尔维亚·克拉法 1 弗朗西斯科·达尼诺 1 洛科·德尼古拉 1 索菲亚·克洛伊·德罗索波卢 1 吉安·路易吉,法拉利 1 保拉·吉安尼尼 1 丹尼尔·戈拉 1 米歇尔·洛雷蒂 1 希亚拉·梅萨 1 罗伯特·肯尼思·梅耶 1 约翰·米切尔(John C.Mitchell)。 1 尤金尼奥·莫吉 1 横滨Motohama 1 阿米特·帕特尔。 1 罗萨里奥Pugliese 1 伊万诺·萨尔沃 1 维塔利·什马提科夫 1 埃米利奥·托斯托 1 巴威·乌尔兹琴 1 埃琳娜·祖卡 全部的 前5名系列 三 计算机基础理论 2 理论计算机科学 2 计算机科学中的逻辑方法 1 信息学报 1 计算机程序设计科学 1 ACM计算逻辑汇刊 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 领域 30 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用67中的次48文件 引用人▼ 年份▼ 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥Pugliese;埃米利奥·托斯托;贝蒂·文内里 13 2003 键入无副本消息传递。 Zbl 1238.68095号 维维亚娜·博诺;卢卡·帕多瓦尼 9 2012 键入无副本消息传递。 兹比尔1326.68079 维维亚娜·博诺;希亚拉·梅萨;卢卡·帕多瓦尼 5 2011 子类型继承冲突:mobile mixin案例。 Zbl 1088.68529号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 4 2004 可扩展、不完整对象的子类型。 兹比尔1040.03506 维维亚娜·博诺;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;路易吉·利科里 4 1999 Fisher-Honsell-Mitchell lambda对象演算的子类型。 Zbl 1044.03507号 维维亚娜·博诺;路易吉·利科里 三 1995 具有交集类型的类型化lambda演算。 Zbl 1145.68009号 维维亚娜·博诺;贝蒂·文内里;洛伦佐·贝蒂尼 三 2008 爪哇和兰姆达:一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼;维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;贝蒂·文内里 三 2018 MOMI:移动混音的演算。 Zbl 1079.68002号 洛伦佐·贝蒂尼;贝蒂·文内里;维维亚娜·博诺 三 2005 高阶混合函数和类的核心演算。 Zbl 1100.68544号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维娅·利卡韦克 三 2004 一个十字路口类型的故事。 Zbl 1498.03040号 维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini 三 2020 类和对象的核心演算。 Zbl 0924.68028号 维维亚娜·博诺;约翰·米切尔(John C.Mitchell)。;阿米特·帕特尔。;维塔利·什马提科夫 2 1999 按对象组合进行委派。 Zbl 1217.68047号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2011 O'Klaim:一种带有移动mixin的协调语言。 Zbl 1081.68558号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2004 存在子类型时的安全对象组合。 Zbl 1171.68413号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 1 2005 对象lambda演算的匹配约束。 Zbl 1063.68549号 维维亚娜·博诺;米歇尔·布格列西 1 1997 可扩展对象和类型的解释。 Zbl 0945.68031号 维维亚娜·博诺;米歇尔·布格列西 1 1999 协调移动面向对象代码。 Zbl 1053.68502号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 1 2002 重温了大步操作语义。 Zbl 1217.68136号 库希米雷克(Ku she mierek)、贾罗斯(Jaros)和多米尼克·马特乌斯(Dominik Mateusz);维维亚娜·博诺 1 2010 基本相关逻辑的真值翻译。 Zbl 1245.03028号 罗伯特·梅耶(Robert K.Meyer)。;横滨Motohama;维维亚娜·博诺 1 2005 不完整对象的lambda演算。 Zbl 0896.03016号 维维亚娜·博诺;米歇尔·布格列西;路易吉·利科里 1 1996 智能会话的数据驱动适应。 Zbl 1371.68188号 维维亚娜·博诺;马里奥·科普;Dezani Ciancaglini,马里亚焦拉;贝蒂·文内里 1 2017 一个十字路口类型的故事。 Zbl 1498.03040号 维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini 三 2020 爪哇和兰姆达:一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼;维维亚娜·博诺;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;贝蒂·文内里 三 2018 智能会话的数据驱动适应。 Zbl 1371.68188号 维维亚娜·博诺;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;贝蒂·文内里 1 2017 键入无副本消息传递。 Zbl 1238.68095号 维维亚娜·博诺;卢卡·帕多瓦尼 9 2012 键入无副本消息传递。 Zbl 1326.68079号 维维亚娜·博诺;希亚拉·梅萨;卢卡·帕多瓦尼 5 2011 按对象组成进行委派。 Zbl 1217.68047号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2011 重温了大步操作语义。 Zbl 1217.68136号 库希米雷克(Ku she mierek)、贾罗斯(Jaros)和多米尼克·马特乌斯(Dominik Mateusz);维维亚娜·博诺 1 2010 具有交集类型的类型化lambda演算。 Zbl 1145.68009号 维维亚娜·博诺;贝蒂·文内里;洛伦佐·贝蒂尼 三 2008 MOMI:移动混音的演算。 Zbl 1079.68002号 洛伦佐·贝蒂尼;贝蒂·文内里;维维亚娜·博诺 三 2005 存在子类型时的安全对象合成。 Zbl 1171.68413号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 1 2005 基本相关逻辑的真理翻译。 Zbl 1245.03028号 罗伯特·梅耶(Robert K.Meyer)。;横滨Motohama;维维亚娜·博诺 1 2005 子类型继承冲突:mobile mixin案例。 Zbl 1088.68529号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 4 2004 高阶混合函数和类的核心演算。 Zbl 1100.68544号 洛伦佐·贝蒂尼;维维亚娜·博诺;西尔维亚·利卡维奇 三 2004 O'Klaim:一种带有移动mixin的协调语言。 Zbl 1081.68558号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 2 2004 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥Pugliese;埃米利奥·托斯托;贝蒂·文内里 13 2003 协调移动面向对象代码。 Zbl 1053.68502号 洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 1 2002 可扩展、不完整对象的子类型。 兹比尔1040.03506 维维亚娜·博诺;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;路易吉·利科里 4 1999 类和对象的核心演算。 Zbl 0924.68028号 维维亚娜·博诺;约翰·米切尔(John C.Mitchell)。;阿米特·帕特尔。;维塔利·什马提科夫 2 1999 可扩展对象和类型的解释。 Zbl 0945.68031号 维维亚娜·博诺;米歇尔·布格列西 1 1999 对象lambda演算的匹配约束。 Zbl 1063.68549号 维维亚娜·博诺;米歇尔·布格列西 1 1997 不完整对象的lambda演算。 Zbl 0896.03016号 维维亚娜·博诺;米歇尔·布格列西;路易吉·利科里 1 1996 Fisher-Honsell-Mitchell lambda对象演算的子类型。 Zbl 1044.03507号 维维亚娜·博诺;路易吉·利科里 三 1995 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 5 维维亚娜·博诺 4 洛伦佐·贝蒂尼 4 马里亚纽拉州Dezani-Ciancaglini 4 安德烈亚·莫迪多 4 弗莱明·尼尔森 4 卢卡·帕多瓦尼 4 吉田、Nobuko 4 埃琳娜·祖卡 三 费卢西奥·达米亚尼 三 索尼娅·法戈齐 三 路易吉·利科里 三 佩雷斯(Jorge A.Pérez)。 三 汉内·里斯·尼尔森 三 Vascoconcelos、Vasco Thudichum 三 贝蒂·文内里 2 贝尔纳多·阿尔梅达。 2 萨拉·卡佩基 2 菲利佩·卡萨尔 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 埃利奥·乔瓦内蒂 1 克里斯·汉金。 1 Furio Honsell 1 Imai、Keigo 1 Jakšić,斯维特拉娜 1 埃纳尔·布罗赫·约翰森 1 Joost-Pieter卡托恩 1 奥列格·基塞利约夫 1 马西耶·库特尼 1 伊万·拉内斯 1 迭戈·拉特拉 1 亚历山大·拉佐维克 1 米歇尔·洛雷蒂 1 梅克·马西克 1 罗伯特·肯尼思·梅耶 1 克劳迪奥·安塔雷斯·梅齐纳 1 约翰·米切尔(John C.Mitchell)。 1 尤金尼奥·莫吉 1 布鲁诺·C·d·S·奥利维拉。 1 Owe、Olaf 1 约瑟夫·保卢斯(Joseph W.N.Paulus)。 1 弗兰克·芬宁 1 丹尼尔·皮亚尼尼 1 何塞·普伦萨 1 乔恩·里克(Jon G.Riecke)。 1 伊万诺·萨尔沃 1 伊万·斯卡格内托 1 阿尔切斯特·斯卡拉斯 1 伊娜·谢弗 1 克里斯托夫·塞德尔 1 亚历克斯·沙法伦科 1 史志远 1 Daniele Nantes Sobrinho 1 阿诺德·斯皮瓦克 1 杰森·斯格尔斯 1 克里斯托弗·斯通(Christopher A.Stone)。 1 Makoto Tatsuta 1 彼得·蒂曼。 1 弗朗西斯科·蒂埃齐 1 里卡多·特雷格里亚 1 奥尔加·特维雷蒂纳 1 罗伯托·维戈 1 米尔科·维罗利 1 Yu,Ingrid Chieh女士 1 巴维尔·扎伊琴科夫 1 张、叶 全部的 前5名12篇连载文章中引用 8 理论计算机科学 4 计算机程序设计科学 4 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 MSCS公司。计算机科学中的数学结构 1 计算的形式方面 1 函数编程杂志 1 约束条件 1 计算机语言、系统和结构 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 在5个字段中引用 44 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 范畴理论;同调代数(18-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文