编辑配置文件（在新选项卡中打开） 伯纳多·托尼霍 合著者距离 作者ID： 托尼霍·伯纳尔多 发布日期： 伯纳多·托尼霍 已编制索引的文档： 18出版物自2011年起 合著者： 16位合著者具有18联合出版物 337合著者 全部的 前5名合著者 0 单作者的 12 弗兰克·芬宁 10 路易斯·凯雷斯 5 佩雷斯（Jorge A.Pérez）。 5 吉田、Nobuko 2 斯蒂芬妮·巴尔泽 1 马西莫·巴托莱蒂 1 伊利亚州卡斯特拉尼 1 Deniélou、Pierre-Malo 1 亨利·德扬 1 马里亚纽拉州Dezani-Ciancaglini 1 西尔维娅·吉勒赞 1 朱利安·兰格 1 尼古拉斯·吴 1 约万卡·潘托维奇 1 彼得·蒂曼。 1 雨果·托雷斯·维埃拉 系列 2 程序设计中的逻辑和代数方法杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 领域 18 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用161中的次86文件 引用人▼ 年份▼ 线性逻辑命题作为会话类型。 Zbl 1361.68162号 路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 31 2016 高阶过程、函数和会话：一元集成。 Zbl 1381.68063号 伯纳多·托尼霍；路易斯·凯雷斯；弗兰克·芬宁 21 2013 会话型进程演算中的校验代码。 Zbl 1350.68204号 弗兰克·芬宁；路易斯·凯雷斯；伯纳多·托尼霍 19 2011 基于会话的并发的线性逻辑关系和观察等价性。 Zbl 1309.68141号 佩雷斯（Jorge A.Pérez）。；路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 15 2014 基于会话的交流中的行为多态性和参数性。 Zbl 1381.68197号 路易斯·凯雷斯；佩雷斯（Jorge A.Pérez）。；弗兰克·芬宁；伯纳多·托尼霍 15 2013 基于会话的并发的线性逻辑关系。 Zbl 1352.68189号 佩雷斯（Jorge A.Pérez）。；路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 9 2012 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂；伊利亚州卡斯特拉尼；Deniélou、Pierre-Malo；马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；佩雷斯（Jorge A.Pérez）。；彼得·蒂曼；伯纳多·托尼霍；雨果·托雷斯·维埃拉 8 2015 围棋：基于频道的节目的生动性和安全性。 Zbl 1380.68298号 朱利安·兰格；尼古拉斯·吴；伯纳多·托尼霍；吉田、Nobuko 8 2017 将线性逻辑简化为异步会话类型通信。 Zbl 1252.03141号 亨利·德扬；路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 7 2012 用作会话类型的进程。 Zbl 1352.68191号 伯纳多·托尼霍；路易斯·凯雷斯；弗兰克·芬宁 6 2012 取决于会话类型的进程。 Zbl 1504.68149号 伯纳多·托尼霍；吉田、Nobuko 6 2018 会话类型进程中的一致性和非分歧性。 Zbl 1444.68124号 伯纳多·托尼霍；路易斯·凯雷斯；弗兰克·芬宁 5 2014 清单死锁-共享会话类型的自由。 Zbl 1524.68208号 斯蒂芬妮·巴尔泽；伯纳多·托尼霍；弗兰克·芬宁 4 2019 关于多态会话和函数。两个（完全抽象的）编码的故事。 Zbl 1418.68068号 伯纳多·托尼霍；吉田、Nobuko 三 2018 以多方会话类型验证数据。 Zbl 1343.68063号 伯纳多·托尼霍；吉田、Nobuko 2 2016 以多方会话类型验证数据。 Zbl 1371.68201号 伯纳多·托尼霍；吉田、Nobuko 2 2017 共享会话类型的清单死锁自由度。 Zbl 1524.68208号 斯蒂芬妮·巴尔泽；伯纳多·托尼霍；弗兰克·芬宁 4 2019 取决于会话类型的进程。 Zbl 1504.68149号 伯纳多·托尼霍；吉田、Nobuko 6 2018 关于多态会话和函数。两个（完全抽象的）编码的故事。 Zbl 1418.68068号 伯纳多·托尼霍；吉田、Nobuko 三 2018 围棋：基于频道的节目的生动性和安全性。 Zbl 1380.68298号 朱利安·兰格；尼古拉斯·吴；伯纳多·托尼霍；吉田、Nobuko 8 2017 以多方会话类型验证数据。 Zbl 1371.68201号 伯纳多·托尼霍；吉田、Nobuko 2 2017 线性逻辑命题作为会话类型。 Zbl 1361.68162号 路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 31 2016 正在验证多方会话类型中的数据。 Zbl 1343.68063号 伯纳多·托尼霍；吉田、Nobuko 2 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂；伊利亚州卡斯特拉尼；Deniélou、Pierre-Malo；马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；佩雷斯（Jorge A.Pérez）。；彼得·蒂曼；伯纳多·托尼霍；雨果·托雷斯·维埃拉 8 2015 基于会话的并发的线性逻辑关系和观察等价性。 Zbl 1309.68141号 佩雷斯（Jorge A.Pérez）。；路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 15 2014 会话型流程中的一致性和非分歧性。 Zbl 1444.68124号 伯纳多·托尼霍；路易斯·凯雷斯；弗兰克·芬宁 5 2014 高阶过程、函数和会话：一元集成。 Zbl 1381.68063号 伯纳多·托尼霍；路易斯·凯雷斯；弗兰克·芬宁 21 2013 基于会话的交流中的行为多态性和参数性。 Zbl 1381.68197号 路易斯·凯雷斯；佩雷斯（Jorge A.Pérez）。；弗兰克·芬宁；伯纳多·托尼霍 15 2013 基于会话的并发的线性逻辑关系。 Zbl 1352.68189号 佩雷斯（Jorge A.Pérez）。；路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 9 2012 将线性逻辑简化为异步会话类型通信。 Zbl 1252.03141号 亨利·德扬；路易斯·凯雷斯；弗兰克·芬宁；伯纳多·托尼霍 7 2012 用作会话类型的进程。 Zbl 1352.68191号 伯纳多·托尼霍；路易斯·凯雷斯；弗兰克·芬宁 6 2012 会话型进程演算中的校验代码。 Zbl 1350.68204号 弗兰克·芬宁；路易斯·凯雷斯；伯纳多·托尼霍 19 2011 所有引用出版物 前5名被引用出版物 全部的 前5名134位作者引用 16 佩雷斯（Jorge A.Pérez）。 14 弗兰克·芬宁 8 伯纳多·托尼霍 8 吉田、Nobuko 6 路易斯·凯雷斯 6 奥尔内拉·达达 6 Vascoconcelos、Vasco Thudichum 5 马里亚纽拉州Dezani-Ciancaglini 4 安德烈亚·莫迪多 4 卡洛斯·奥拉特 三 马尔科·卡博尼 三 伊利亚州卡斯特拉尼 三 达斯，安库什 三 温·科克 三 卢卡·帕多瓦尼 三 彼得·蒂曼。 2 贝尔纳多·阿尔梅达。 2 费德里科·阿西埃里 2 佛朗哥·巴巴内拉 2 马西莫·巴托莱蒂 2 菲利佩·卡萨尔 2 蝉蜕、阿加塔 2 亨利·德扬 2 Daniel Schnetzer，法瓦 2 弗朗西斯科·詹科（Francesco A.Genco）。 2 西尔维娅·吉勒赞 2 瑞安·卡瓦纳 2 迪米特里奥斯·库扎帕斯 2 法布里齐奥·蒙特西 2 约万卡·潘托维奇 2 伊莱恩·皮门特尔 2 普拉克斯马，克拉斯 2 卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波 2 戴维·桑吉奥吉 2 阿尔切斯特·斯卡拉斯 2 卡斯滕·舒尔曼 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 埃米利奥·托斯托 2 雨果·托雷斯·维埃拉 2 布鲁诺·泽维尔 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 贝尼亚米·阿卡托利 1 纪尧姆·阿拉伊斯 1 阿萨亚，斯尼格达 1 罗伯特·艾奇 1 克莱门·奥伯特 1 斯蒂芬妮·巴尔泽 1 海宁·巴索尔德 1 杰斯珀·本特森 1 乌尔里希·伯杰 1 考斯托夫·乔杜里 1 卢卡·西科内 1 马里奥·科普 1 乌戈·达尔拉戈 1 瑟伦·德博伊斯 1 Deniélou、Pierre-Malo 1 德拉赫尚、法扎内赫 1 乔尔·德斯佩鲁 1 保罗·迪·吉安贝拉迪诺 1 阿德里安·杜里埃 1 艾米·费尔蒂（Amy P.Felty）。 1 马里奥弗洛里多 1 西蒙·福勒 1 西蒙·盖伊。 1 埃琳娜·贾奇诺 1 保拉·吉安尼尼 1 马可·朱蒂 1 汉娜·贡默施塔特 1 后藤，马修 1 Aliya Hameer 1 罗伯特·哈珀 1 托马斯·希尔德布兰特。 1 丹尼尔·赫施科夫 1 本田、高黑 1 罗斯·霍恩 1 胡雷蒙德 1 汉斯·休特尔 1 奥马尔·因弗索 1 拉德哈·贾加迪桑 1 Jakšić，斯维特拉娜 1 Juan C.Jaramillo。 1 Alan S.A.杰弗里。 1 贾利民 1 钟曼，宋世堂。 1 荣格，拉尔夫 1 爱德华·坎伯扬 1 乔纳斯·卡斯伯格·辛里奇森 1 亚历克斯·C·凯泽。 1 拉加万·科蒙多尔 1 瓦西里欧斯·库塔瓦斯 1 罗伯特·克雷伯斯 1 K.Narayan Kumar 1 伊万·拉内斯 1 伯特·林登霍维斯 1 萨姆·林德利 1 卢赫·拉富恩特，阿尔贝托 1 雨果·A·洛佩兹。 1 麦克布赖德，康纳·托马斯 1 埃尔南·梅尔格拉蒂 …还有34位作者 全部的 前5名11篇连载文章中引用 12 计算机科学中的逻辑方法 11 程序设计中的逻辑和代数方法杂志 6 信息与计算 6 MSCS公司。计算机科学中的数学结构 4 理论计算机科学 三 信息学报 2 计算的形式方面 2 函数编程杂志 1 分布式计算 1 范畴的理论与应用 1 逻辑与代数程序设计杂志 在3个字段中引用 83 计算机科学（68至XX） 38 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文