编辑配置文件（在新选项卡中打开） 本田、高黑 合著者距离 作者ID: 本田高海 发布日期： 本田、高黑 编入索引的文档： 46出版物自1993年以来 1进一步贡献 合著者： 15位合著者具有41联合出版物 182位合作作者 全部的 前5名合著者 5 单作者的 36 吉田、Nobuko 15 马丁·伯杰（Martin J.Berger）。 6 马尔科·卡博尼 4 罗曼·德曼根 2 劳拉·博奇 2 陈子春 2 胡雷蒙德 1 卢卡·福萨蒂 1 辛·一图马图 1 Shokichi的Iyanaga 1 川端康成 1 木村俊美 1 迪米特里奥斯·库扎帕斯 1 奥利维·洛朗 1 迪米特里斯·莫斯特鲁斯 1 罗马尼亚奈科娃 1 Lasse R.尼尔森。 1 大川、高太郎 1 埃米利奥·托斯托 1 Vascoconcelos、Vasco Thudichum 全部的 前5名系列 5 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 函数编程杂志 2 RIMS Kokyuroku公司 1 信息学报 1 信息与计算 1 系统设计中的形式化方法 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 领域 46 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 1 历史和传记（01-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物被引用747中的次423文件 引用人▼ 年份▼ 多方异步会话类型。 兹比尔1295.68150 本田、高黑;吉田、Nobuko;马尔科·卡博尼 107 2008 基于约简的过程语义。 Zbl 0871.68122号 本田、高黑;吉田、Nobuko 91 1995 以通信为中心的结构化web服务编程。 Zbl 1187.68064号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 54 2007 多方异步会话类型。 兹比尔1426.68047 本田、高黑;吉田、Nobuko;马尔科·卡博尼 51 2016 二元交互的类型。 Zbl 0939.68642号 本田、高黑 46 1993 演算中的强正规化。 Zbl 1101.68705号 吉田、Nobuko;马丁·伯杰;本田、高黑 35 2004 部分交换异步会话中的全局主体类型。 Zbl 1234.68304号 迪米特里斯·莫斯特鲁斯;吉田、Nobuko;本田、高黑 27 2009 序列性和\（\pi\）-演算。 Zbl 0981.68037号 马丁·伯杰;本田、高黑;吉田、Nobuko 25 2001 分布式多方交互的设计契约理论。 兹比尔1287.68121 劳拉·博奇;本田、高黑;埃米利奥·托斯托;吉田、Nobuko 25 2010 呼叫值计算的博弈分析。 Zbl 0930.68061号 本田、高黑;吉田、Nobuko 22 1999 将信息流作为类型化过程行为加以保护。 Zbl 0960.68126号 本田、高黑;瓦斯科·瓦康塞洛斯;吉田、Nobuko 20 2000 安全信息流的统一类型结构。 Zbl 1323.68375号 本田、高黑;吉田、Nobuko 20 2002 具有线性类型的子类型pi演算中的完全抽象。 Zbl 1343.68165号 罗曼·德曼根;本田、高黑 19 2011 通过多方会话类型监视网络。 Zbl 1359.68215号 劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 17 2017 会话类型中的结构化交互异常。 兹比尔1160.68459 马尔科·卡博尼;本田、高黑;吉田、Nobuko 15 2008 实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 Zbl 1341.68118号 罗曼·德曼根;本田、高黑;胡雷蒙德;罗马尼亚奈科娃;吉田、Nobuko 14 2015 会话类型中的嵌套协议。 兹比尔1364.68281 罗曼·德曼根;本田、高黑 14 2012 按市值计算的博弈分析。 Zbl 1401.68032号 本田、高黑;吉田、Nobuko 13 1997 扩展（pi）演算中的两阶段承诺协议。 Zbl 1260.68258号 马丁·伯杰;本田、高黑 10 2003 广义和\（\pi\）-演算。 Zbl 1029.68039号 马丁·伯杰;本田、高黑;吉田、Nobuko 10 2003 类型化pi-calculus和极化证明网之间的精确对应。 Zbl 1203.68114号 本田、高黑;奥利维·洛朗 9 2010 线性和互模拟。 Zbl 1077.68719号 吉田、Nobuko;本田、高黑;马丁·伯杰 9 2002 异步事件会话语义。 Zbl 1361.68170号 迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 9 2016 基于会话类型的全局交互演算。 Zbl 1277.68171号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 9 2007 基于约简的过程语义。 Zbl 0925.68304号 本田、高黑;吉田、Nobuko 8 1993 广义和\（\pi\）-演算。 Zbl 1079.68064号 马丁·伯杰;本田，Kohei;吉田、Nobuko 7 2005 并发组合符中的复制。 Zbl 0942.03510号 本田、高黑;吉田、Nobuko 7 1994 线性和互模拟。 Zbl 1119.68131号 吉田、Nobuko;本田、高黑;马丁·伯杰 5 2007 为分布式程序指定有状态异步属性。 Zbl 1364.68279号 陈子春;本田、高黑 5 2012 过程理论中的基本结构。一： 带有重命名的集合。 兹伯利0968.68112 本田、高黑 5 2000 命令式高阶函数的观测完整程序逻辑。 Zbl 1358.68071号 本田、高黑;吉田、Nobuko;马丁·伯杰 5 2014 高阶函数逻辑的描述性和相对完整性。 Zbl 1133.03333号 本田、高黑;马丁·伯杰;吉田、Nobuko 4 2006 从过程逻辑到程序逻辑。 Zbl 1323.03034号 本田、高黑 4 2004 局部状态下高阶函数的逻辑推理。 Zbl 1161.68031号 吉田、Nobuko;本田、高黑;马丁·伯杰 三 2008 局部状态下高阶函数的逻辑推理。 Zbl 1195.68032号 吉田、Nobuko;本田、高黑;马丁·伯杰 三 2007 流程和游戏。 Zbl 1272.68305号 本田、高黑 三 2004 流程类型作为交互的描述性工具。控件和像素。 Zbl 1416.68039号 本田、高黑;吉田、Nobuko;马丁·伯杰 三 2014 多方对称和类型。 Zbl 1455.68126号 拉塞·尼尔森;吉田、Nobuko;本田、高黑 三 2010 以通信为中心的编程的理论方面。 兹比尔1279.68050 马尔科·卡博尼;本田、高黑;吉田、Nobuko 三 2008 通过流量分析无干扰。 Zbl 1077.68063号 本田，Kohei;吉田、Nobuko 2 2005 类型化移动进程的模态逻辑中的完整性和逻辑完全抽象。 Zbl 1155.68472号 马丁·伯杰;本田、高黑;吉田、Nobuko 2 2008 命令式高阶函数中混叠的逻辑分析。 兹比尔1302.68182 马丁·伯杰;本田、高黑;吉田、Nobuko 2 2005 基于约简的过程语义。 Zbl 0941.68622号 本田、高黑;吉田、Nobuko 1 1995 命令式高阶函数中混叠的逻辑分析。 Zbl 1125.68027号 马丁·伯杰;本田、高黑;吉田、Nobuko 1 2007 通过多方会话类型监视网络。 Zbl 1359.68215号 劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 17 2017 多方异步会话类型。 Zbl 1426.68047号 本田、高黑;吉田、Nobuko;马尔科·卡博尼 51 2016 异步事件会话语义。 Zbl 1361.68170号 迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 9 2016 实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 Zbl 1341.68118号 罗曼·德曼根;本田、高黑;胡雷蒙德;罗马尼亚奈科娃;吉田、Nobuko 14 2015 命令式高阶函数的观测完整程序逻辑。 Zbl 1358.68071号 本田、高黑;吉田、Nobuko;马丁·伯杰 5 2014 流程类型作为交互的描述性工具。控件和像素。 Zbl 1416.68039号 本田、高黑;吉田、Nobuko;马丁·伯杰 三 2014 会话类型中的嵌套协议。 Zbl 1364.68281号 罗曼·德曼根;本田、高黑 14 2012 为分布式程序指定有状态异步属性。 Zbl 1364.68279号 陈子春;本田、高黑 5 2012 具有线性类型的子类型pi-calculus中的完全抽象。 Zbl 1343.68165号 罗曼·德曼根;本田，Kohei 19 2011 分布式多方交互的设计契约理论。 兹比尔1287.68121 劳拉·博奇;本田、高黑;埃米利奥·托斯托;吉田、Nobuko 25 2010 类型化pi-calculus和极化证明网之间的精确对应。 兹比尔1203.68114 本田、高黑;奥利维·洛朗 9 2010 多方对称和类型。 Zbl 1455.68126号 拉塞·尼尔森;吉田、Nobuko;本田、高黑 三 2010 部分交换异步会话中的全局主体类型。 Zbl 1234.68304号 迪米特里斯·莫斯特鲁斯;吉田、Nobuko;本田、高黑 27 2009 多方异步会话类型。 兹比尔1295.68150 本田、高黑;吉田、Nobuko;马尔科·卡博尼 107 2008 会话类型中的结构化交互异常。 Zbl 1160.68459号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 15 2008 局部状态下高阶函数的逻辑推理。 Zbl 1161.68031号 吉田、Nobuko;本田、高黑;马丁·伯杰 三 2008 以通信为中心的编程的理论方面。 Zbl 1279.68050号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 三 2008 类型化移动进程的模态逻辑中的完整性和逻辑完全抽象。 Zbl 1155.68472号 马丁·伯杰;本田、高黑;吉田、Nobuko 2 2008 以通信为中心的结构化web服务编程。 Zbl 1187.68064号 马尔科·卡博尼;本田、高黑;吉田、Nobuko 54 2007 基于会话类型的全局交互演算。 Zbl 1277.68171号 马尔科·卡博尼;本田，Kohei;吉田、Nobuko 9 2007 线性和互模拟。 Zbl 1119.68131号 吉田、Nobuko;本田、高黑;马丁·伯杰 5 2007 局部状态下高阶函数的逻辑推理。 Zbl 1195.68032号 吉田、Nobuko;本田、高黑;马丁·伯杰 三 2007 命令式高阶函数中混叠的逻辑分析。 Zbl 1125.68027号 马丁·伯杰;本田、高黑;吉田、Nobuko 1 2007 高阶函数逻辑的描述性和相对完整性。 Zbl 1133.03333号 本田、高黑;马丁·伯杰;吉田、Nobuko 4 2006 广义和\（\pi\）-演算。 Zbl 1079.68064号 马丁·伯杰;本田、高黑;吉田、Nobuko 7 2005 通过流量分析无干扰。 Zbl 1077.68063号 本田、高黑;吉田、Nobuko 2 2005 命令式高阶函数中混叠的逻辑分析。 Zbl 1302.68182号 马丁·伯杰;本田、高黑;吉田、Nobuko 2 2005 演算中的强正规化。 Zbl 1101.68705号 吉田、Nobuko;马丁·伯杰;本田、高黑 35 2004 从过程逻辑到程序逻辑。 Zbl 1323.03034号 本田、高黑 4 2004 流程和游戏。 Zbl 1272.68305号 本田、高黑 三 2004 扩展（pi）演算中的两阶段承诺协议。 Zbl 1260.68258号 马丁·伯杰;本田、高黑 10 2003 广义和\（\pi\）-演算。 Zbl 1029.68039号 马丁·伯杰;本田，Kohei;吉田、Nobuko 10 2003 安全信息流的统一类型结构。 Zbl 1323.68375号 本田、高黑;吉田、Nobuko 20 2002 线性和互模拟。 Zbl 1077.68719号 吉田、Nobuko;本田，Kohei;马丁·伯杰 9 2002 序列性和\（\pi\）-演算。 Zbl 0981.68037号 马丁·伯杰;本田、高黑;吉田、Nobuko 25 2001 将信息流作为类型化过程行为加以保护。 Zbl 0960.68126号 本田，Kohei;瓦斯科·瓦康塞洛斯;吉田、Nobuko 20 2000 过程理论中的基本结构。一： 带有重命名的集合。 Zbl 0968.68112号 本田、高黑 5 2000 呼叫值计算的博弈分析。 Zbl 0930.68061号 本田、高黑;吉田、Nobuko 22 1999 按市值计算的博弈分析。 Zbl 1401.68032号 本田、高黑;吉田、Nobuko 13 1997 基于约简的过程语义。 Zbl 0871.68122号 本田、高黑;吉田、Nobuko 91 1995 基于约简的过程语义。 Zbl 0941.68622号 本田、高黑;吉田、Nobuko 1 1995 并发组合符中的复制。 Zbl 0942.03510号 本田、高黑;吉田、Nobuko 7 1994 二元交互的类型。 Zbl 0939.68642号 本田、高黑 46 1993 基于约简的过程语义。 Zbl 0925.68304号 本田、高黑;吉田、Nobuko 8 1993 所有引用出版物 前5名被引用出版物 全部的 前5名464位作者引用 42 吉田、Nobuko 21 马里亚纽拉州Dezani-Ciancaglini 20 佩雷斯（Jorge A.Pérez）。 16 戴维·桑吉奥吉 14 阿德里安·弗兰卡兰扎 14 本田、高黑 14 弗兰克·芬宁 13 埃米利奥·托斯托 12 伊利亚州卡斯特拉尼 12 卢卡·帕多瓦尼 11 安德烈·穆拉夫斯基。 10 路易斯·凯雷斯 10 丹尼尔·赫施科夫 10 法布里西奥·蒙泰西 10 吉安路易吉·扎瓦塔罗 9 马尔科·卡博尼 9 轩尼诗，Matthew C.B。 9 伯纳多·托尼霍 8 伊万·拉内斯 8 Vascoconcelos、Vasco Thudichum 7 弗兰科·巴巴内拉 7 马丁·伯杰（Martin J.Berger）。 7 马里奥·布拉维蒂 7 路易斯·克鲁兹·菲利佩 7 洛科·德尼古拉 7 维埃拉、雨果·托雷斯 6 Aceto，卢卡 6 马西莫·巴托莱蒂 6 马里奥·科普 6 保拉·吉安尼尼 6 罗伯特·瓜夏莱 6 马西莫·梅罗 6 乌韦·内斯特曼 6 尼科斯·齐夫列科斯 5 罗伯特·阿马迪奥（Roberto M.Amadio）。 5 劳拉·博奇 5 罗伯托·布鲁尼 5 米歇尔·布格列西 5 乌戈·德利古罗 5 罗曼·德曼根 5 法拉利，吉安·路易吉 5 塞德里克·Fornet 5 伏玉溪 5 菲利普·安·加德纳 5 朱利安·兰格 5 埃尔南·梅尔格拉蒂 5 安德烈亚·莫迪多 5 朱利安·拉特克 5 阿尔切斯特·斯卡拉斯 4 萨拉·卡佩基 4 伊恩·卡萨尔 4 奥尔内拉·达达 4 格雷戈里奥·迪亚兹 4 西蒙·盖伊。 4 埃琳娜·贾奇诺 4 丹尼尔·戈拉 4 Anna Ingólfsdóttir 4 Alan S.A.杰弗里。 4 钟曼，宋世堂。 4 直纪小林 4 瓦西里欧斯·库塔瓦斯 4 迪米特里奥斯·库扎帕斯 4 米歇尔·洛雷蒂 4 Jean-Marie，马迪奥 4 弗莱明·尼尔森 4 约万卡·潘托维奇 4 罗萨里奥·普格利泽 4 罗伊斯，伯恩哈德 4 汉内·里斯·尼尔森 4 弗朗西斯科·蒂埃齐 4 丹尼尔·瓦拉卡 4 罗伯托·祖尼诺 三 贝尔纳多·阿尔梅达。 三 叶希亚·阿卜杜·阿勒拉赫曼 三 大卫·巴兹勒 三 拉尔斯·比克达尔 三 菲律宾邦奇 三 杰拉德·布多尔 三 玛丽亚·艾米利亚·坎布罗内罗 三 纳撒尼尔·查尔顿 三 西尔维亚·克拉法 三 伊奥娜·多姆尼纳·克里斯特斯库 三 皮埃尔·卢伊斯·居里 三 达斯，安库什 三 邓玉欣 三 阿德里安·杜里埃 三 克劳迪娅·法吉安 三 西尔维娅·吉勒赞 三 乔治·戈蒂尔 三 罗尔夫·亨尼克 三 罗斯·霍恩 三 斯特凡·基弗 三 科西莫·拉内夫 三 奥利维·洛朗 三 雨果·A·洛佩兹。 三 克劳迪奥·安塔雷斯·梅齐纳 三 迪米特里斯·莫斯特鲁斯 三 莫里齐奥·穆尔吉亚 三 马可·佩雷索蒂 三 柯斯汀·彼得斯 …还有364位作者 全部的 前5名23篇连载文章中引用 58 理论计算机科学 43 信息与计算 39 程序设计中的逻辑和代数方法杂志 25 逻辑与代数程序设计杂志 24 计算机科学中的逻辑方法 17 MSCS公司。计算机科学中的数学结构 14 信息学报 7 计算的形式方面 6 系统设计中的形式化方法 5 计算机程序设计科学 4 函数编程杂志 4 计算机语言、系统和结构 三 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 自动推理杂志 2 ACM计算逻辑事务 1 数学物理中的字母 1 信息科学 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 新一代计算 1 分布式计算 1 约束条件 全部的 前5名13个领域引用 414 计算机科学（68至XX） 84 数理逻辑与基础（03-XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 范畴理论；同调代数（18-XX） 三 概率论与随机过程（60-XX） 三 信息与通信理论、电路（94-XX） 2 阶、格、有序代数结构（06-XX） 2 量子理论（81-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 组合数学（05-XX） 1 非结合环和代数（17-XX） 1 统计学（62-XX） 按年份列出的引文