编辑配置文件(在新选项卡中打开) 克里斯特斯库,Ioana Domnina 合著者距离 作者ID: cristescu.ioana-domnina鸡尾酒 发布日期: 爱荷华州克里斯特斯库;伊奥娜·多姆尼纳·克里斯特斯库 已编制索引的文档: 12出版物自1999年以来,包括1本书和1个附加arXiv预打印 合著者: 8位合著者具有11联合出版物 215位合作作者 全部的 前5名合著者 0 单作者的 4 克莱门·奥伯特 三 吉恩·克里文 三 丹尼尔·瓦拉卡 2 丹尼尔·赫希科夫 1 西尔维亚·邦塔什 1 皮埃尔·布迪利埃 1 费雷特,杰罗姆 1 Gţru,曼努埃拉 1 托马斯·吉文·威尔森 1 Legay、Axel 1 米海·波托拉切 系列 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 手册。特拉特。莫诺格拉菲 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 10 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 实际功能(26年X月X日) 1 近似和展开(41至XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用76中的次51文件 引用人▼ 年份▼ 可逆(pi)演算的合成语义。 兹比尔1366.68201 爱荷华州克里斯特斯库;吉恩·克里文;丹尼尔·瓦拉卡 39 2013 CCS和\(\pi\)-演算的刚性族。 Zbl 1471.68161号 伊奥娜·多姆尼纳·克里斯特斯库;吉恩·克里文;丹尼尔·瓦拉卡 12 2015 配置结构和可逆性中的上下文等效性。 Zbl 1353.68193号 克莱门·奥伯特;爱荷华州克里斯特斯库 11 2017 可逆积分的刚性族。 Zbl 1476.68168号 爱荷华州克里斯特斯库;吉恩·克里文;丹尼尔·瓦拉卡 7 2016 可逆性如何解决传统问题:以遗传历史保护相互模拟为例。 Zbl 07559463号 克莱门·奥伯特;爱荷华州克里斯特斯库 4 2020 构型结构上的可逆倒刺同余。 Zbl 1433.68230号 克莱门·奥伯特;爱荷华州克里斯特斯库 三 2015 可逆性如何解决传统问题:以遗传历史保护相互模拟为例。 Zbl 07559463号 克莱门·奥伯特;爱荷华州克里斯特斯库 4 2020 配置结构和可逆性中的上下文等效性。 Zbl 1353.68193号 克莱门·奥伯特;爱荷华州克里斯特斯库 11 2017 可逆积分的刚性族。 兹比尔1476.68168 爱荷华州克里斯特斯库;吉恩·克里文;丹尼尔·瓦拉卡 7 2016 CCS和\(\pi\)-演算的刚性族。 Zbl 1471.68161号 伊奥娜·多姆尼纳·克里斯特斯库;吉恩·克里文;丹尼尔·瓦拉卡 12 2015 构型结构上的可逆倒刺同余。 Zbl 1433.68230号 克莱门·奥伯特;爱荷华州克里斯特斯库 三 2015 可逆(pi)演算的合成语义。 Zbl 1366.68201号 爱荷华州克里斯特斯库;吉恩·克里文;丹尼尔·瓦拉卡 39 2013 所有引用的出版物 前5名被引用出版物 全部的 前5名54位作者引用 14 克劳迪奥·安塔雷斯·梅齐纳 10 伊万·拉内斯 8 克莱门·奥伯特 8 伊恩·菲利普斯。 8 吉田、Nobuko 5 多里亚娜·梅迪奇 5 伊雷克·乌利多夫斯基 三 伊利亚州卡斯特拉尼 三 伊奥娜·多姆尼纳·克里斯特斯库 三 马里亚纽拉州Dezani-Ciancaglini 三 保拉·吉安尼尼 三 伊娃·格拉弗森 三 克里斯蒂安·约翰森 三 罗宾·卡斯加德 三 弗朗西斯科·蒂埃齐 2 霍尔格·博克·阿克塞尔森 2 马可·贝尔纳多 2 劳拉·博奇 2 马克·德·维斯梅 2 罗伯特·格莱克 2 托马斯·希尔德布兰特。 2 斯特凡·库恩 2 埃尔南·梅尔格拉蒂 2 哈贡诺曼 2 佩雷斯(Jorge A.Pérez)。 2 丹尼尔·瓦拉卡 2 德国维达尔 2 格林·温斯克尔 2 袁,Shoji 1 阿提拉·巴戈西 1 保罗·巴尔丹 1 彼得·布朗宁 1 詹姆斯·切尼 1 罗曼·德曼根 1 埃琳娜·贾奇诺 1 丹尼尔·戈拉 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 克里斯·希恩 1 罗斯·霍恩 1 塔贾纳·卡普斯 1 马尔蒂·卡沃宁 1 吉恩·克里文 1 雅罗斯瓦夫·亚当·米兹扎克 1 直纪西田 1 托马索·帕多安 1 阿德里安·帕拉西奥斯。 1 罗利·佩雷拉 1 安娜·菲利普 1 G.Michele Pinna 1 基里亚基·帕萨拉 1 伊万诺·萨尔沃 1 Jean-Bernard斯特凡尼 1 Gyorgy Vaszil公司 1 伊琳娜·B·维尔比特斯凯特。 全部的 前5名6篇连载文章中引用 15 程序设计中的逻辑和代数方法杂志 5 计算机科学中的逻辑方法 4 理论计算机科学 2 信息学报 2 信息与计算 1 MSCS公司。计算机科学中的数学结构 全部的 前5名在6个字段中引用 51 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 4 范畴理论;同调代数(18-XX) 4 生物学和其他自然科学(92-XX) 三 量子理论(81-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文