编辑配置文件(在新选项卡中打开) 罗曼·德曼根 合著者距离 作者ID: 罗马的demangeon.romain 发布方式: 罗曼·德曼根 已编制索引的文档: 12出版物自2009年起 合著者: 8位合著者具有12联合出版物 133位合作作者 全部的 前5名合著者 0 单作者的 5 丹尼尔·赫希科夫 5 戴维·桑吉奥吉 5 吉田、Nobuko 4 本田、高黑 1 劳拉·博奇 1 陈子春 1 Hu,Raymond先生 1 鲁米亚纳内科娃 系列 1 理论计算机科学 1 信息与计算 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 领域 12 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用85中的次68文件 引用人▼ 年份▼ 具有线性类型的子类型pi-calculus中的完全抽象。 Zbl 1343.68165号 罗曼·德曼根;本田、高黑 19 2011 通过多方会话类型监视网络。 Zbl 1359.68215号 劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 17 2017 实用的可中断对话:使用多方会话类型和Python进行分布式动态验证。 Zbl 1341.68118号 罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田、Nobuko 14 2015 会话类型中的嵌套协议。 Zbl 1364.68281号 罗曼·德曼根;本田、高黑 14 2012 以不纯正的并发语言终止。 Zbl 1287.68129号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 6 2010 关于多党会议的表现力。 Zbl 1366.68012号 罗曼·德曼根;吉田、Nobuko 4 2015 分布式进程的因果计算复杂性。 Zbl 1497.68333号 罗曼·德曼根;吉田、Nobuko 4 2018 高阶并行计算中的终止。 Zbl 1205.68241号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2010 移动进程和终止。 Zbl 1253.68239号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 2 2009 高阶并行计算中的终止。 Zbl 1274.68067号 罗曼·德曼根;丹尼尔·赫施科夫;戴维·桑吉奥吉 2 2010 分布式进程的因果计算复杂性。 Zbl 1497.68333号 罗曼·德曼根;吉田、Nobuko 4 2018 通过多方会话类型监控网络。 Zbl 1359.68215号 劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 17 2017 实用的可中断对话:使用多方会话类型和Python进行分布式动态验证。 兹比尔1341.68118 罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田、Nobuko 14 2015 关于多党会议的表现力。 Zbl 1366.68012号 罗曼·德曼根;吉田、Nobuko 4 2015 会话类型中的嵌套协议。 Zbl 1364.68281号 罗曼·德曼根;本田、高黑 14 2012 具有线性类型的子类型pi-calculus中的完全抽象。 Zbl 1343.68165号 罗曼·德曼根;本田、高黑 19 2011 以不纯正的并发语言终止。 Zbl 1287.68129号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 6 2010 高阶并行计算中的终止。 Zbl 1205.68241号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 三 2010 高阶并行计算中的终止。 Zbl 1274.68067号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 2 2010 移动进程和终止。 Zbl 1253.68239号 罗曼·德曼根;丹尼尔·赫希科夫;戴维·桑吉奥吉 2 2009 所有引用出版物 前5名被引用出版物 全部的 前5名95位作者引用 15 吉田、Nobuko 10 佩雷斯(Jorge A.Pérez)。 9 阿德里安·弗兰卡兰扎 8 戴维·桑吉奥吉 6 罗曼·德曼根 6 马里亚纽拉州Dezani-Ciancaglini 6 丹尼尔·赫希科夫 5 卢卡·埃特罗 4 路易斯·凯雷斯 4 伊恩·卡萨尔 4 Anna Ingólfsdóttir 4 卢卡·帕多瓦尼 4 Vascoconcelos、Vasco Thudichum 三 劳拉·博奇 三 阿德里安·杜里埃 三 本田、高黑 三 法布里西奥·蒙泰西 2 克莱门·奥伯特 2 佛朗哥·巴巴内拉 2 菲利佩·卡萨尔 2 马里奥·科波 2 西尔维娅·吉勒赞 2 埃琳娜·贾奇诺 2 拉杜·格里戈尔 2 斯特凡·基弗 2 迪米特里奥斯·库扎帕斯 2 安德烈亚·莫迪多 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 辛齐亚·迪·朱斯托 1 弗朗西斯科·费雷拉。 1 毛里齐奥·加布里埃利 1 西蒙·盖伊。 1 法特梅·加塞米 1 亚历克西斯·盖塞伦 1 萨维里奥·贾勒伦佐 1 保拉·詹尼尼 1 格雷弗森,伊娃 1 罗斯·霍恩 1 胡雷蒙德 1 汉斯·休特尔 1 Anna Ingófsdóttir,安娜 1 石川,Takuma 1 斯维特拉纳·雅克西奇 1 拉丁·科斯拉维 1 直纪小林 1 伊万·拉内斯 1 朱利安·兰格 1 卢戈维奇(Lovro Lugović) 1 Lybech,斯蒂安 1 西蒙·马提尼 1 克劳迪奥·安塔雷斯·梅齐纳 1 迪米特里斯·莫斯特鲁斯 1 迪米特里斯·莫斯特鲁斯 1 毛里齐奥·穆尔吉亚 1 安达·阿梅利亚帕拉马里厄克 1 马可·佩雷索蒂 1 斯里尼瓦斯·皮尼塞蒂 1 普拉丹,安基特 1 伊万·普罗基奇 1 罗普,帕塔S。 1 肯·萨卡约里 1 Mahboubeh萨马迪 1 佐藤隆介 1 卡斯滕·舒尔曼 1 塞舌尔,奥尔德林 1 Tsubasa Shoshi 1 斯塔夫罗斯·特里帕基斯 1 津田,武士 1 埃米利奥·托斯托 1 Xu,西安 1 周方毅 全部的 前5名12篇连载文章中引用 8 信息与计算 6 计算机科学中的逻辑方法 6 程序设计中的逻辑和代数方法杂志 4 骨髓间充质干细胞。计算机科学中的数学结构 三 信息学报 三 理论计算机科学 三 计算的形式方面 三 系统设计中的形式化方法 1 计算机与系统科学杂志 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 在4个字段中引用 68 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 2 概率论与随机过程(60-XX) 1 量子理论(81-XX) 按年份列出的引文