编辑配置文件(在新选项卡中打开) 伊娃·格拉弗森 合著者距离 作者ID: 格雷弗森·伊娃 发布日期: 伊娃·格拉弗森 编入索引的文档: 7出版物自2018年起 合著者: 7合著者具有7联合出版物 128位合作作者 全部的 前5名合著者 0 单作者的 5 伊恩·菲利普斯。 5 吉田、Nobuko 2 法布里西奥·蒙泰西 1 路易斯·克鲁兹·菲利佩 1 安德鲁·赫施(Andrew K.Hirsch)。 1 卢戈维奇(Lovro Lugović) 1 马可·佩雷索蒂 系列 三 程序设计中的逻辑和代数方法杂志 1 函数编程杂志 领域 7 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用28中的次21文件 引用人▼ 年份▼ (受控)可逆CCS的事件结构语义。 Zbl 07377686号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 10 2021 (受控)可逆CCS的事件结构语义。 Zbl 1515.68205号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 8 2018 朝向可逆事件结构的分类表示。 Zbl 1427.68196号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 6 2019 功能性舞蹈编程。 兹伯利07719834 路易斯·克鲁兹·菲利佩;伊娃·格拉弗森;卢戈维奇(Lovro Lugović);法布里西奥·蒙泰西;马可·佩雷索蒂 2 2022 可逆早期内部演算的事件结构。 Zbl 1482.68152号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 1 2022 可逆早期内部演算的事件结构。 Zbl 07368048号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 1 2020 功能性编舞节目。 Zbl 07719834号 路易斯·克鲁兹·菲利佩;伊娃·格拉弗森;卢戈维奇(Lovro Lugović);法布里西奥·蒙泰西;马可·佩雷索蒂 2 2022 可逆早期内部演算的事件结构。 Zbl 1482.68152号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 1 2022 (受控)可逆CCS的事件结构语义。 Zbl 07377686号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 10 2021 可逆早期内部演算的事件结构。 Zbl 07368048号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 1 2020 朝向可逆事件结构的分类表示。 Zbl 1427.68196号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 6 2019 (受控)可逆CCS的事件结构语义。 Zbl 1515.68205号 伊娃·格拉弗森;伊恩·菲利普斯;吉田、Nobuko 8 2018 所有引用出版物 前5名被引用出版物 全部的 前5名被28位作者引用 5 伊娃·格拉弗森 5 伊恩·菲利普斯。 4 克莱门·奥伯特 4 伊万·拉内斯 4 克劳迪奥·安塔雷斯·梅齐纳 三 伊利亚卡斯特拉尼 三 马里亚纽拉州Dezani-Ciancaglini 三 保拉·吉安尼尼 三 多里亚娜·梅迪奇 三 吉田、Nobuko 2 埃尔南·梅尔格拉蒂 2 法布里西奥·蒙泰西 2 伊雷克·乌利多夫斯基 1 斯蒂芬妮·巴尔泽 1 伊奥娜·多姆尼纳·克里斯特斯库 1 路易斯·克鲁兹·菲利佩 1 罗伯特·格莱克 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 菲利普·哈勒 1 安德鲁·赫施(Andrew K.Hirsch)。 1 卢戈维奇(Lovro Lugović) 1 雅罗斯瓦夫·亚当·米兹扎克 1 卢卡·帕多瓦尼 1 马可·佩雷索蒂 1 G.Michele Pinna 1 Vascoconcelos、Vasco Thudichum 1 德国维达尔 1 伊琳娜·B·维碧茨卡岩。 4篇连载文章中引用 7 程序设计中的逻辑和代数方法杂志 2 信息学报 1 函数编程杂志 1 计算机科学中的逻辑方法 在5个字段中引用 21 计算机科学(68至XX) 三 量子理论(81-XX) 2 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文