编辑配置文件(在新选项卡中打开) 克劳迪奥·安塔雷斯·梅齐纳 合著者距离 作者ID: 美赞臣 发布日期: 克劳迪奥·安塔雷斯·梅齐纳;克劳迪奥·安塔雷斯·梅齐纳;克劳迪奥·梅齐纳。 更多。。。较少的 已编制索引的文档: 26出版物自2010年起 2作为编辑的贡献 合著者: 24位合著者具有27联合出版物 459名合著者 全部的 前5名合著者 1 单作者的 11 伊万·拉内斯 5 多里亚娜·梅迪奇 5 伊恩·菲利普斯。 5 Jean-Bernard斯特凡尼 4 埃尔南·梅尔格拉蒂 三 G.Michele Pinna 三 尤里多夫斯基,Irek 三 吉田、Nobuko 2 马可·贝尔纳多 2 劳拉·博奇 2 佩雷斯(Jorge A.Pérez)。 2 阿兰·施密特 2 弗朗西斯科·蒂埃齐 2 雨果·托雷斯·维埃拉 2 袁,Shoji 1 叶希亚·阿卜杜·阿勒拉赫曼 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 洛科·德尼古拉 1 埃琳娜·贾奇诺 1 罗伯特·格莱克 1 迈克尔·连哈特 1 雅罗斯瓦夫·亚当·米兹扎克 1 波德拉斯基(Krzysztof Podlaski) 1 德国维达尔 全部的 前5名系列 4 计算机科学中的逻辑方法 2 理论计算机科学 2 程序设计中的逻辑与代数方法杂志 1 信息学报 1 信息与计算 1 欧洲理论计算机科学协会公报 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 28 计算机科学(68至XX) 5 量子理论(81-XX) 三 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 概率论与随机过程(60-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用236中的次80文件 引用人▼ 年份▼ 反转高阶pi。 兹比尔1287.68137 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 36 2010 控制高阶pi中的可逆性。 Zbl 1344.68168号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 35 2011 高阶(pi)演算中的可逆性。 Zbl 1338.68078号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 28 2016 因果一致可逆性。 Zbl 1409.68117号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 22 2014 并发灵活可逆性。 Zbl 1381.68210号 伊万·拉内斯;迈克尔·连哈特;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 20 2013 基于元组的语言中的因果一致回滚。 Zbl 1362.68213号 埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 14 2017 反向放置过渡网。 Zbl 07269252号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;尤里多夫斯基,Irek 12 2020 CCS中的静态与动态可逆性。 Zbl 1475.68126号 伊万·拉内斯;多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 11 2021 受控可逆性和补偿。 兹比尔1451.68123 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 8 2013 CCS中的静态VS动态可逆性。 Zbl 1476.68180号 多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 7 2016 可逆计算的参数框架。 Zbl 1496.68241号 多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;菲利普斯,伊恩;吉田、Nobuko 7 2020 可逆发生网和因果可逆素事件结构。 Zbl 07368046号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;G.Michele Pinna;尤里多夫斯基,Irek 6 2020 关于可逆性和广播。 Zbl 1515.68212号 克劳迪奥·安塔雷斯·梅齐纳 6 2018 实现可逆CCS的真正并发语义。 兹布尔07419486 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 5 2021 走向桥接时间和因果可逆性。 Zbl 1511.68179号 马可·贝尔纳多;克劳迪奥·安塔雷斯·梅齐纳 5 2020 面向软件事务性内存的正式帐户。 Zbl 07368060号 多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko 三 2020 可逆时间过程语言。 Zbl 1499.68220号 劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 三 2022 基于会话的并发中的可逆性:一个新的外观。 兹比尔1371.68194 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2017 可逆计算的参数框架。 Zbl 1525.68085号 多莉安娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko 2 2018 可逆多方协议的因果一致性。 兹伯利07471661 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2021 共价键的Petri网视图。 Zbl 07477145号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 1 2022 2022年9月12日,波兰华沙,2022年EXPRESS/SOS 2022,第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集。 Zbl 1522.68022号 1 2022 可逆时间过程语言。 Zbl 1499.68220号 劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 三 2022 共价键的Petri网视图。 Zbl 07477145号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 1 2022 2022年9月12日,波兰华沙,2022年EXPRESS/SOS 2022,第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集。 Zbl 1522.68022号 1 2022 CCS中的静态与动态可逆性。 Zbl 1475.68126号 伊万·拉内斯;多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 11 2021 实现可逆CCS的真正并发语义。 兹布尔07419486 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 5 2021 可逆多方协议的因果一致性。 兹伯利07471661 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2021 反向放置过渡网。 Zbl 07269252号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;尤里多夫斯基,Irek 12 2020 可逆计算的参数框架。 Zbl 1496.68241号 多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;菲利普斯,伊恩;吉田、Nobuko 7 2020 可逆发生网和因果可逆素事件结构。 Zbl 07368046号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;G.Michele Pinna;尤里多夫斯基,Irek 6 2020 走向桥接时间和因果可逆性。 兹比尔1511.68179 马可·贝尔纳多;克劳迪奥·安塔雷斯·梅齐纳 5 2020 面向软件事务性内存的正式帐户。 Zbl 07368060号 多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko 三 2020 关于可逆性和广播。 Zbl 1515.68212号 克劳迪奥·安塔雷斯·梅齐纳 6 2018 可逆计算的参数框架。 Zbl 1525.68085号 多莉安娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko 2 2018 基于元组的语言中的因果一致回滚。 Zbl 1362.68213号 埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 14 2017 基于会话的并发中的可逆性:一个新的外观。 Zbl 1371.68194号 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2017 高阶\(\pi\)微积分中的可逆性。 Zbl 1338.68078号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 28 2016 CCS中的静态VS动态可逆性。 Zbl 1476.68180号 多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 7 2016 因果一致可逆性。 Zbl 1409.68117号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 22 2014 并发灵活可逆性。 Zbl 1381.68210号 伊万·拉内斯;迈克尔·连哈特;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 20 2013 受控可逆性和补偿。 Zbl 1451.68123号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 8 2013 控制高阶pi中的可逆性。 Zbl 1344.68168号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;阿兰·施密特;Jean-Bernard斯特凡尼 35 2011 反转高阶pi。 Zbl 1287.68137号 伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 36 2010 所有引用出版物 前5名被引用出版物 全部的 前5名73位作者引用 18 伊万·拉内斯 18 克劳迪奥·安塔雷斯·梅齐纳 10 伊恩·菲利普斯。 10 尤里多夫斯基,Irek 7 吉田、Nobuko 6 克莱门·奥伯特 6 多里亚娜·梅迪奇 6 Jean-Bernard斯特凡尼 5 乌卡斯·米库尔斯基 5 安娜·菲利普 5 基里亚基·帕萨拉 4 马里亚纽拉州Dezani-Ciancaglini 4 埃尔南·梅尔格拉蒂 4 G.Michele Pinna 4 Germán维达尔 4 袁,Shoji 三 马可·贝尔纳多 三 伊奥娜·多姆尼纳·克里斯特斯库 三 乔瓦尼·法布雷蒂 三 保拉·吉安尼尼 三 伊娃·格拉弗森 三 托马斯·希尔德布兰特。 三 马西耶·库特尼 三 斯特凡·库恩 三 阿德里安·帕拉西奥斯。 三 萨宾娜·罗西 三 弗朗西斯科·蒂埃齐 2 阿提拉·巴戈西 2 卡米拉Barylska 2 劳拉·博奇 2 伊利亚州卡斯特拉尼 2 加布里埃尔·乔巴努 2 戴维·德·弗鲁托斯·埃斯克里格 2 詹姆斯·霍伊 2 克里斯蒂安·约翰森 2 吉恩·克里文 2 彼得罗·拉米 2 安德烈亚·马林 2 哈贡诺曼 2 佩雷斯(Jorge A.Pérez)。 2 马钦·皮·特考夫斯基 2 克劳迪奥·萨塞尔多蒂·科恩 2 丹尼尔·瓦拉卡 2 Gyorgy Vaszil公司 1 阿曼,博格丹 1 西蒙娜塔·巴萨莫 1 佛朗哥·巴巴内拉 1 罗伯托·布鲁尼 1 菲利波·卡瓦利 1 詹姆斯·切尼 1 瑟伦·德博伊斯 1 乌戈·德利古罗 1 埃琳娜·贾奇诺 1 罗伯特·格莱克 1 安娜·果戈林斯卡 1 格里博夫斯卡娅,纳塔利娅·谢尔盖耶夫娜 1 黄昌琴 1 莫尼卡卡普斯·科拉尔 1 塔贾纳·卡普斯 1 Lybech,斯蒂安 1 雅罗斯瓦夫·亚当·米兹扎克 1 乌戈·蒙塔纳里。 1 直纪西田 1 罗利·佩雷拉 1 伊万·普罗基奇 1 阿兰·施密特 1 什·伊尔贾克,哈伦 1 斯莱亚特,蒂杰斯 1 马丁·瓦索尔 1 雨果·托雷斯·维埃拉 1 伊琳娜·B·维碧茨卡岩。 1 王殿辉 1 王希哲 全部的 前5名10篇连载文章中引用 17 程序设计中的逻辑与代数方法杂志 5 理论计算机科学 5 计算机科学中的逻辑方法 三 信息学报 三 膜计算杂志 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 计算机基础理论 1 信息科学 1 计算的形式方面 全部的 前5名在6个字段中引用 79 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 7 量子理论(81-XX) 6 生物学和其他自然科学(92-XX) 1 范畴理论;同调代数(18-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文