编辑配置文件(在新选项卡中打开) 迪米特里奥斯·库扎帕斯 合著者距离 作者ID: 库扎帕斯·迪米特里奥斯 发布日期: 迪米特里奥斯·库扎帕斯 外部链接: MGP公司 已编制索引的文档: 10出版物自2013年以来 合著者: 8位合著者具有10联合出版物 160位合作作者 全部的 前5名合著者 0 单作者的 7 吉田、Nobuko 4 佩雷斯(Jorge A.Pérez)。 2 安娜·菲利普 1 乔瓦尼·伯纳迪 1 奥尔内拉·达达 1 西蒙·盖伊。 1 本田、高黑 1 胡雷蒙德 系列 2 计算机科学中的逻辑方法 1 信息学报 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 领域 10 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用63中的次37文件 引用人▼ 年份▼ 会话类型的对偶关系。 Zbl 1444.68111号 乔瓦尼·伯纳迪;奥尔内拉·达达;西蒙·盖伊;迪米特里奥斯·库扎帕斯 15 2014 全局控制的会话语义。 Zbl 1448.68344号 迪米特里奥斯·库扎帕斯;吉田、Nobuko 14 2014 异步事件会话语义。 Zbl 1361.68170号 迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 9 2016 关于高阶会话过程的相对表达性。 Zbl 1335.68174号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 8 2016 关于高阶会话过程的相对表达性。 Zbl 1430.68163号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 6 2019 全局控制的会话语义。 Zbl 1390.68477号 迪米特里奥斯·库扎帕斯;吉田、Nobuko 4 2013 高阶会话过程的特征互模拟。 兹比尔1380.68297 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 4 2017 高阶会话进程的特征互模拟。 Zbl 1374.68336号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 2 2015 通过键入\(\pi\)-演算来保护隐私。 Zbl 1448.68234号 迪米特里奥斯·库扎帕斯;安娜·菲利普 1 2017 关于高阶会话过程的相对表达性。 Zbl 1430.68163号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 6 2019 高阶会话进程的特征互模拟。 Zbl 1380.68297号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 4 2017 通过键入\(\pi\)-演算来保护隐私。 Zbl 1448.68234号 迪米特里奥斯·库扎帕斯;安娜·菲利普 1 2017 异步事件会话语义。 Zbl 1361.68170号 迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 9 2016 关于高阶会话过程的相对表达性。 Zbl 1335.68174号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 8 2016 高阶会话进程的特征互模拟。 Zbl 1374.68336号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田、Nobuko 2 2015 会话类型的对偶关系。 Zbl 1444.68111号 乔瓦尼·伯纳迪;奥尔内拉·达达;西蒙·盖伊;迪米特里奥斯·库扎帕斯 15 2014 全局控制的会话语义。 Zbl 1448.68344号 迪米特里奥斯·库扎帕斯;吉田、Nobuko 14 2014 全局控制的会话语义。 Zbl 1390.68477号 迪米特里奥斯·库扎帕斯;吉田、Nobuko 4 2013 所有引用的出版物 前5名被引用出版物 全部的 前5名被58位作者引用 11 佩雷斯(Jorge A.Pérez)。 10 吉田、Nobuko 三 迪米特里奥斯·库扎帕斯 三 伯纳多·托尼霍 2 佛朗哥·巴巴内拉 2 马西莫·巴托莱蒂 2 菲利佩·卡萨尔 2 蒂齐亚纳西莫利 2 马里奥·科普 2 马里亚纽拉州Dezani-Ciancaglini 2 汉斯·休特尔 2 克劳迪奥·安塔雷斯·梅齐纳 2 法布里西奥·蒙泰西 2 安德烈亚·莫迪多 2 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波 2 斯卡拉斯,阿尔凯斯特 2 Vascoconcelos、Vasco Thudichum 2 徐,西安 2 罗伯托·祖尼诺 1 贝尔纳多·F·阿尔梅达。 1 Arslangić,阿伦 1 斯蒂芬妮·巴尔泽 1 杰斯珀·本特森 1 乌尔里希·伯杰 1 毛里西奥·卡诺 1 马尔科·卡博尼 1 路易斯·克鲁兹·菲利佩 1 乌戈·德利古罗 1 邓玉欣 1 辛齐亚·迪·朱斯托 1 西尔维娅·吉勒赞 1 Imai、Keigo 1 斯维特拉纳·雅克西奇 1 Juan C.Jaramillo。 1 乔纳斯·卡斯伯格·辛里奇森 1 奥列格·基塞利约夫 1 罗伯特·克雷伯斯 1 伊万·拉内斯 1 雨果·A·洛佩兹。 1 伊内斯·玛格丽亚 1 莫里齐奥·穆尔吉亚 1 卢卡·帕多瓦尼 1 安达·阿梅利亚帕拉马里厄克 1 约万卡·潘托维奇 1 约瑟夫·保卢斯(Joseph W.N.Paulus)。 1 柯斯汀·彼得斯 1 弗兰克·芬宁 1 G.Michele Pinna 1 伊万·普罗基奇 1 卡米洛·鲁埃达 1 安娜·施密特 1 卡斯滕·舒尔曼 1 Daniele Nantes Sobrinho 1 弗朗西斯科·蒂齐 1 Hideki Tsuiki 1 埃米利奥·托斯托 1 雨果·托雷斯·维埃拉 1 马达莱娜·扎基 全部的 前5名7篇连载文章中引用 9 程序设计中的逻辑和代数方法杂志 4 信息学报 4 计算机科学中的逻辑方法 2 理论计算机科学 2 信息与计算 1 计算的形式方面 1 RAIRO公司。理论信息学及其应用 在3个字段中引用 37 计算机科学(68至XX) 6 数理逻辑与基础(03-XX) 1 量子理论(81-XX) 按年份列出的引文