编辑配置文件(在新选项卡中打开) 奥尔内拉·达达 合著者距离 作者ID: 达达·奥尔内拉 发布日期: 奥尔内拉·达达 已编制索引的文档: 12出版物自2014年起,包括1本书 2作为编辑的贡献 合著者: 13合著者具有12联合出版物 212位合著者 全部的 前5名合著者 2 单作者的 4 温·科克 2 西蒙·福勒 2 西蒙·盖伊。 2 萨姆·林德利 2 J.Garrett莫里斯 2 佩雷斯,豪尔赫·A。 1 乔瓦尼·伯纳迪 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 埃琳娜·贾奇诺 1 迪米特里奥斯·库扎帕斯 1 朱里安·罗特 1 戴维·桑吉奥吉 1 乌玛·扎拉坎 全部的 前5名系列 2 计算机科学中的逻辑方法 2 理论计算机科学电子论文集(EPTCS) 1 信息与计算 1 欧洲理论计算机科学协会公报 1 程序设计中的逻辑与代数方法杂志 1 亚特兰蒂斯计算机研究 领域 14 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用69中的次39文件 引用人▼ 年份▼ 重新访问会话类型。 Zbl 1376.68099号 奥尔内拉·达达;埃琳娜·贾奇诺;戴维·桑吉奥吉 25 2017 会话类型的对偶关系。 Zbl 1444.68111号 乔瓦尼·伯纳迪;奥尔内拉·达达;西蒙·盖伊;迪米特里奥斯·库扎帕斯 15 2014 一种用于无死锁会话类型进程的新线性逻辑。 Zbl 1491.68120号 奥尔内拉·达达;西蒙·盖伊。 9 2018 比较类型系统的死锁自由度。 Zbl 1477.68177号 奥尔内拉·达达;佩雷斯,豪尔赫·A。 5 2022 分布式程序的类型系统:组件和会话。 Zbl 1432.68002号 奥尔内拉·达达 4 2016 优先考虑最佳变体。 Zbl 1490.68141号 温·科克;奥尔内拉·达达 4 2021 顺利分离会话。 Zbl 1527.68033号 西蒙·福勒;温·科克;奥尔内拉·达达;萨姆·林德利;J.Garrett莫里斯 三 2021 比较无死锁会话类型的进程。 兹比尔1476.68169 奥尔内拉·达达;佩雷斯,豪尔赫·A。 三 2015 顺利分离会话。 Zbl 07731931号 西蒙·福勒;温·科克;奥尔内拉·达达;萨姆·林德利;J.Garrett莫里斯 1 2023 顺利分离会话。 Zbl 07731931号 西蒙·福勒;温·科克;奥尔内拉·达达;萨姆·林德利;J.Garrett莫里斯 1 2023 比较类型系统的死锁自由度。 Zbl 1477.68177号 奥尔内拉·达达;佩雷斯,豪尔赫·A。 5 2022 优先考虑最佳变体。 Zbl 1490.68141号 温·科克;奥尔内拉·达达 4 2021 顺利分离会话。 Zbl 1527.68033号 西蒙·福勒;温·科克;奥尔内拉·达达;萨姆·林德利;J.Garrett莫里斯 三 2021 一种用于无死锁会话类型进程的新线性逻辑。 Zbl 1491.68120号 奥尔内拉·达达;西蒙·盖伊。 9 2018 重新访问会话类型。 Zbl 1376.68099号 奥尔内拉·达达;埃琳娜·贾奇诺;戴维·桑吉奥吉 25 2017 分布式程序的类型系统:组件和会话。 Zbl 1432.68002号 奥尔内拉·达达 4 2016 比较无死锁会话类型的进程。 Zbl 1476.68169号 奥尔内拉·达达;佩雷斯,豪尔赫·A。 三 2015 会话类型的对偶关系。 Zbl 1444.68111号 乔瓦尼·伯纳迪;奥尔内拉·达达;西蒙·盖伊;迪米特里奥斯·库扎帕斯 15 2014 所有引用出版物 前5名被引用出版物 全部的 前5名68位作者引用 9 佩雷斯,豪尔赫·A。 7 奥尔内拉·达达 4 温·科克 4 安德烈亚·莫迪多 4 吉田、Nobuko 三 迪米特里奥斯·库扎帕斯 三 卢卡·帕多瓦尼 三 瓦斯科塞洛斯 2 贝尔纳多·阿尔梅达。 2 斯蒂芬妮·巴尔泽 2 马西莫·巴托莱蒂 2 菲利佩·卡萨尔 2 蒂齐亚娜·西莫利 2 汉斯·休特尔 2 弗兰克·芬宁 2 罗伯托·祖尼诺 1 阿伦·阿斯拉纳吉奇 1 帕特里克·贝洛特 1 佛朗哥·巴巴内拉 1 杰斯珀·本森 1 里卡多·比安奇尼 1 毛里西奥·卡诺 1 弗朗西斯科·达尼诺 1 达斯,安库什 1 乌戈·德利古罗 1 亨利·德扬 1 西蒙·福勒 1 约翰内斯·加里斯 1 西蒙·盖伊。 1 亚历克西斯·盖塞伦 1 埃琳娜·贾奇诺 1 保拉·吉安尼尼 1 黄昌琴 1 Imai、Keigo 1 奥马尔·因弗索 1 Juan C.Jaramillo。 1 乔纳斯·卡斯伯格·辛里奇森 1 瑞安·卡瓦纳 1 奥列格·基塞利约夫 1 罗伯特·克雷伯斯 1 萨姆·林德利 1 雨果·A·洛佩兹。 1 杰拉尔德·吕特根 1 埃尔南·梅尔格拉蒂 1 法布里西奥·蒙泰西 1 J.Garrett莫里斯 1 莫里齐奥·穆尔吉亚 1 N.Tri Nguyen公司 1 安达·阿梅利亚帕拉马里厄克 1 马尔科·佩雷索蒂 1 G.Michele Pinna 1 伊万·普罗基奇 1 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波 1 卡米洛·鲁埃达 1 戴维·桑吉奥吉 1 阿尔切斯特·斯卡拉斯 1 艾琳·辛科 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 卡蒂亚·特鲁比亚尼 1 埃米利奥·托斯托 1 巴斯·范登·胡维尔 1 雨果·托雷斯·维埃拉 1 沃尔特·福格勒 1 王殿辉 1 王希哲 1 乌玛·扎拉坎 1 埃琳娜·祖卡 全部的 前5名6篇连载文章中引用 8 程序设计中的逻辑与代数方法杂志 5 信息与计算 4 信息学报 三 计算机科学中的逻辑方法 2 理论计算机科学 1 信息科学 在4个字段中引用 38 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文