编辑配置文件(在新选项卡中打开) 埃琳娜·贾奇诺 合著者距离 作者ID: 贾奇诺·埃琳娜 发布日期: 埃琳娜·贾奇诺 已编制索引的文档: 14出版物自2007年起 合著者: 21位合著者具有14联合出版物 458位合作作者 全部的 前5名合著者 0 单作者的 5 萨拉·卡佩基 4 马里亚纽拉州Dezani-Ciancaglini 三 索菲亚·克洛伊·德罗索波卢 三 科西莫·拉内夫 三 吉田、Nobuko 2 洛伦佐·贝蒂尼 2 费卢西奥·达米亚尼 2 保拉·吉安尼尼 2 贝蒂·文奈里 1 马里奥·布拉维蒂 1 马里奥·科普 1 奥尔内拉·达达 1 斯蒂恩·德古乌 1 直纪小林 1 伊万·拉内斯 1 迈克尔·连哈特 1 克劳迪奥·安塔雷斯·梅齐纳 1 贝鲁奥斯·诺巴赫特 1 戴维·桑吉奥吉 1 弗朗西斯科·蒂埃齐 1 Peter Y.H.Wong。 全部的 前5名系列 2 计算机科学中的数学结构 2 程序设计中的逻辑与代数方法杂志 1 信息学报 1 理论计算机科学 1 信息与计算 1 计算机基础理论 领域 14 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用83中的次71文件 引用人▼ 年份▼ 重新访问会话类型。 Zbl 1376.68099号 奥尔内拉·达达;埃琳娜·贾奇诺;戴维·桑吉奥吉 26 2017 基于元组的语言中的因果一致回滚。 Zbl 1362.68213号 埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 15 2017 面向对象语言的有边界会话类型。 Zbl 1147.68445号 马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;索菲亚·德罗索波卢;吉田、Nobuko 9 2007 将面向对象语言中的会话和方法与泛型合并。 Zbl 1169.68011号 萨拉·卡佩基;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;索菲亚·德罗索波卢;埃琳娜·贾奇诺 7 2009 多方会话中的全局转义。 Zbl 1245.68019号 萨拉·卡佩基;埃琳娜·贾奇诺;吉田、Nobuko 7 2010 无界过程网络的死锁分析。 Zbl 1417.68128号 埃琳娜·贾奇诺;直纪小林;科西莫·拉内夫 5 2014 多方会话中的全局转义。 Zbl 1361.68163号 Sara卡佩奇;埃琳娜·贾奇诺;吉田、Nobuko 5 2016 面向对象编程的会话和联合类型。 Zbl 1143.68355号 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 三 2008 类JAVA语言中用于协调的类型安全状态抽象。 Zbl 1180.68098号 费卢西奥·达米亚尼;埃琳娜·贾奇诺;保拉·吉安尼尼;索菲亚·德罗索波卢 三 2008 线性递归程序中的死锁检测。 Zbl 1445.68052号 埃琳娜·贾奇诺;科西莫·拉内夫 2 2014 派生对象的会话和联合类型。 兹比尔1308.68035 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 1 2013 重新访问会话类型。 Zbl 1376.68099号 奥尔内拉·达达;埃琳娜·贾奇诺;戴维·桑吉奥吉 26 2017 基于元组的语言中的因果一致回滚。 Zbl 1362.68213号 埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 15 2017 多方会话中的全局转义。 Zbl 1361.68163号 萨拉·卡佩基;埃琳娜·贾奇诺;吉田、Nobuko 5 2016 无界过程网络的死锁分析。 Zbl 1417.68128号 埃琳娜·贾奇诺;直纪小林;科西莫·拉内夫 5 2014 线性递归程序中的死锁检测。 Zbl 1445.68052号 埃琳娜·贾奇诺;科西莫·拉内夫 2 2014 派生对象的会话和联合类型。 Zbl 1308.68035号 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 1 2013 多方会话中的全局转义。 Zbl 1245.68019号 萨拉·卡佩基;埃琳娜·贾奇诺;吉田、Nobuko 7 2010 将面向对象语言中的会话和方法与泛型合并。 Zbl 1169.68011号 萨拉·卡佩基;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;索菲亚·德罗索波卢;埃琳娜·贾奇诺 7 2009 面向对象编程的会话和联合类型。 兹比尔1143.68355 洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 三 2008 类JAVA语言中用于协调的类型安全状态抽象。 Zbl 1180.68098号 费卢西奥·达米亚尼;埃琳娜·贾奇诺;保拉·吉安尼尼;索菲亚·德罗索波卢 三 2008 面向对象语言的有边界会话类型。 Zbl 1147.68445号 马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;索菲亚·德罗索波卢;吉田、Nobuko 9 2007 所有引用出版物 前5名被引用出版物 全部的 前5名被120位作者引用 10 伊万·拉内斯 9 吉田、Nobuko 7 奥尔内拉·达达 7 马里亚纽拉州Dezani-Ciancaglini 7 佩雷斯(Jorge A.Pérez)。 6 Vascoconcelos、Vasco Thudichum 5 卢卡·帕多瓦尼 4 埃琳娜·贾奇诺 4 保拉·吉安尼尼 4 Kokke,温 4 克劳迪奥·安塔雷斯·梅齐纳 三 劳拉·博奇 三 马里奥·科普 三 索菲亚·克洛伊·德罗索波卢 三 西蒙·盖伊。 三 本田、高黑 三 安德烈亚·莫迪多 三 伊恩·菲利普斯。 三 伊雷克·乌利多夫斯基 2 洛伦佐·贝蒂尼 2 萨拉·卡佩基 2 罗曼·德曼根 2 乔瓦尼·法布雷蒂 2 马可·朱蒂 2 迪米特里奥斯·库扎帕斯 2 彼得罗·拉米 2 科西莫·拉内夫 2 萨姆·林德利 2 多里亚娜·梅迪奇 2 莫里斯,J.加勒特 2 乌韦·内斯特曼 2 阿德里安·帕拉西奥斯。 2 柯斯汀·彼得斯 2 弗兰克·芬宁 2 克劳迪奥·萨塞尔多蒂·科恩 2 Jean-Bernard斯特凡尼 2 贝蒂·文内里 2 德国维达尔 2 克里斯托夫·瓦格纳。 1 贝尔纳多·阿尔梅达。 1 阿伦·阿斯拉纳吉奇 1 罗伯特·艾奇 1 阿提拉·巴戈西 1 帕特里克·贝洛特 1 西蒙娜塔·巴萨莫 1 斯蒂芬妮·巴尔泽 1 安迪·贝杰利里 1 杰斯珀·本特森 1 斯特凡诺·贝拉尔迪 1 里卡多·比安基尼 1 维维亚娜·博诺 1 路易斯·凯雷斯 1 马尔科·卡博尼 1 朱塞佩·卡斯塔尼亚 1 伊利亚州卡斯特拉尼 1 菲利波·卡瓦利 1 陈子春 1 陈子春 1 加布里埃尔·乔巴努 1 戴安娜·科斯塔 1 弗朗西斯科·达尼诺 1 米拉·达拉·普雷达 1 费卢西奥·达米亚尼 1 达斯,安库什 1 乌戈·德利古罗 1 亨利·德扬 1 Patrick Th.尤格斯特。 1 西蒙·福勒 1 毛里齐奥·加布里埃利 1 约翰内斯·加里斯 1 亚历克西斯·盖塞伦 1 萨韦里奥,贾洛伦佐 1 伊娃·格拉弗森 1 胡雷蒙德 1 黄昌琴 1 汉斯·休特尔 1 Imai、Keigo 1 斯维特拉纳·雅克西奇 1 乔纳斯·卡斯伯格·辛里奇森 1 奥列格·基塞利约夫 1 直纪小林 1 罗伯特·克雷伯斯 1 朱利安·兰格 1 杰拉尔德·吕特根 1 安德烈亚·马林 1 雅各布·毛罗 1 埃尔南·梅尔格拉蒂 1 法布里西奥·蒙泰西 1 迪米特里斯·莫斯特鲁斯 1 迪米特里斯·莫斯特鲁斯 1 N.Tri Nguyen公司 1 鲁米亚纳内科娃 1 安达·阿梅利亚帕拉马里厄克 1 马可·佩雷索蒂 1 朱利奥·皮安卡斯特利 1 G.Michele Pinna 1 迪奥戈·波萨 1 伊万·普罗基奇 1 Ka I.潘。 1 安托尼奥·拉瓦拉 …还有20多位作者 全部的 前5名14篇连载文章中引用 10 计算机科学中的逻辑方法 7 理论计算机科学 6 信息与计算 6 程序设计中的逻辑与代数方法杂志 三 信息学报 三 计算机科学中的数学结构 2 计算机程序设计科学 1 信息科学 1 系统设计中的形式化方法 1 函数编程杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑汇刊 1 膜计算杂志 在4个字段中引用 69 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 量子理论(81-XX) 按年份列出的引文