编辑配置文件(在新选项卡中打开) 本特·汤姆森 合著者距离 作者ID: 汤姆森·本特 发布日期: 本特·汤姆森 外部链接: ORCID公司·数据库许可证 编入索引的文档: 13出版物自1988年起 合著者: 12位合著者具有10联合出版物 386位合作作者 全部的 前5名合著者 2 单作者的 6 莱思,孤独 2 金·古德斯特兰·拉森 2 珍妮·雅克·利维 2 托姆森,孤独的莱特 1 萨姆森·艾布拉姆斯基 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 Jean-Marc安德烈奥利 1 托马斯·博格霍姆 1 迪加诺,皮尔保罗 1 亚历山德罗·贾卡隆 1 卡斯珀·瑟·勒科夫 1 雷莫·帕雷斯基 1 科拉多·普里亚米 系列 2 信息学报 2 理论计算机科学 2 欧洲理论计算机科学协会(EATCS)公报 1 信息与计算 1 欧洲理论计算机科学协会公告EATCS 领域 13 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用91中的次75文件 引用人▼ 年份▼ 普通CHOCS。高阶过程的第二代微积分。 Zbl 0790.68069号 本特·汤姆森 51 1993 高阶通信系统的理论。 Zbl 0823.68061号 本特·汤姆森 25 1995 高阶通信系统演算的一种完全抽象的指称语义。 兹比尔0974.68109 B.汤姆森。;艾布拉姆斯基,S。 5 2001 Esprit基础研究行动6454-CONFER:CONcurrency and Functions:Evaluation and Reduction。 Zbl 1023.68517号 珍妮·雅克·莱维;本特·汤姆森;莱思,孤独;亚历山德罗·贾卡隆 4 1992 调试移动代理的因果关系。 Zbl 0932.68014号 迪加诺,皮尔保罗;科拉多·普里亚米;莱思,孤独;本特·汤姆森 三 1999 通过过程的部分规范进行成分证明。 Zbl 0649.68021号 Larsen,Kim G。;本特·汤姆森 三 1988 从并发的\(\lambda\)演算到\(\pi\)演计算。 Zbl 1507.68068号 罗伯特·阿马迪奥(Roberto M.Amadio)。;莱思,孤独;本特·汤姆森 三 1995 面向由并发理论指导的全局计算。 Zbl 0911.68058号 本特·汤姆森;汤姆森,Lone Leth 1 1998 具有广播通信的线性逻辑编程语言的真正并发语义。 兹比尔1497.68083 Jean-Marc安德烈奥利;莱思,孤独;雷莫·帕雷斯基;本特·汤姆森 1 1993 高阶通信系统演算的一种完全抽象的指称语义。 Zbl 0974.68109号 B.汤姆森。;艾布拉姆斯基,S。 5 2001 调试移动代理的因果关系。 Zbl 0932.68014号 迪加诺,皮尔保罗;科拉多·普里亚米;莱思,孤独;本特·汤姆森 三 1999 面向由并发理论指导的全局计算。 Zbl 0911.68058号 本特·汤姆森;托姆森,孤独的莱特 1 1998 高阶通信系统的理论。 Zbl 0823.68061号 本特·汤姆森 25 1995 从并发的\(\lambda\)演算到\(\pi\)演计算。 Zbl 1507.68068号 罗伯特·阿马迪奥(Roberto M.Amadio)。;莱思,孤独;本特·汤姆森 三 1995 普通CHOCS。高阶过程的第二代微积分。 Zbl 0790.68069号 本特·汤姆森 51 1993 具有广播通信的线性逻辑编程语言的真正并发语义。 Zbl 1497.68083号 Jean-Marc安德烈奥利;莱思,孤独;雷莫,帕雷希;本特·汤姆森 1 1993 Esprit基础研究行动6454-CONFER:CONcurrency and Functions:Evaluation and Reduction。 Zbl 1023.68517号 珍妮·雅克·莱维;本特·汤姆森;莱思,孤独;亚历山德罗·贾卡隆 4 1992 通过过程的部分规范进行成分证明。 Zbl 0649.68021号 Larsen,Kim G。;本特·汤姆森 三 1988 所有引用出版物 前5名被引用出版物 全部的 前5名93位作者引用 12 伏玉溪 5 戴维·桑吉奥吉 5 阿兰·施密特 5 徐,西安 4 佩雷斯(Jorge A.Pérez)。 4 科拉多·普里亚米 4 米歇尔·阿德里安 三 罗伯特·阿马迪奥(Roberto M.Amadio)。 三 迪加诺,皮尔保罗 三 迪米特里奥斯·库扎帕斯 三 塞尔盖·伦格利特 三 Jean-Bernard斯特凡尼 三 吉田、Nobuko 2 克劳斯·巴塞尔曼 2 博迪,恰拉 2 米克尔·邦加德 2 Jens Chr.Godskesen。 2 Jan Friso,格鲁特 2 汉斯·休特尔 2 莱思,孤独 2 龙,欢 2 乌戈·蒙塔纳里。 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 Joshua R.X.罗斯。 2 卢茨·施罗德 2 本特·汤姆森 2 殷、强 2 Ying,明生 1 萨姆森·艾布拉姆斯基 1 奥曼·波霍拉,约翰内斯 1 Jean-Marc安德烈奥利 1 罗伯托·巴布蒂 1 亚历克斯·罗宁·本迪克森 1 托马斯·博格霍姆 1 博杰森,比亚克布雷多 1 约翰·博格斯特罗姆 1 蔡晓娟 1 曹子宁 1 朱利奥·卡拉瓦格纳 1 朱塞佩·卡斯塔尼亚 1 乌富克·塞利坎 1 马蒂奥·奇米尼 1 兰斯·克莱维兰 1 戴金文 1 达姆,麦兹 1 雅各布斯·W·德·巴克。 1 吉安·路易吉,法拉利 1 里卡多·福卡迪 1 默多克·詹姆斯·加贝 1 法比奥·加杜奇 1 菲利普·安·加德纳 1 格拉夫,苏珊娜 1 比约恩哈根森 1 赫里萨菲斯·哈托纳斯 1 丹尼尔·豪斯曼 1 轩尼诗,Matthew C.B。 1 托马斯·希尔德布兰特。 1 瑞安·卡瓦纳 1 伊万·拉内斯 1 吕浩 1 陆建峰 1 卡斯珀·瑟·勒科夫 1 杰拉尔德·吕特根 1 斯迪安·利贝奇 1 塞尔吉奥·马菲斯 1 安德烈亚·马吉奥洛·谢蒂尼 1 彼得·马克西莫维奇 1 科内利斯·A·米德尔堡。 1 保罗·米拉佐 1 蒂尔·莫萨科夫斯基 1 穆罕默德雷扎·穆萨维 1 穆罕默德·穆萨维 1 乌韦州内斯特曼 1 约阿希姆·尼伦 1 弗莱明·尼尔森 1 约阿希姆·帕罗 1 安娜·菲利普 1 本杰明·皮尔斯。 1 Palle Raabjerg 1 汉内·里斯·尼尔森 1 乔治·希德 1 斯莱尼,沃尔夫冈 1 格特·斯莫尔卡 1 伯恩哈德·斯特芬 1 西蒙·蒂尼 1 维泰克,简 1 丹尼尔·沃克。 1 马丁·威尔辛 1 徐曼武 1 杨振荣 1 弗朗西斯科·扎帕·纳德利 1 曾梵聪 1 张文波 全部的 前5名12篇连载文章中引用 23 理论计算机科学 13 信息与计算 4 信息学报 2 计算机科学与技术杂志 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 1 纯逻辑与应用逻辑年鉴 1 国际计算机数学杂志 1 分布式计算 1 逻辑与代数程序设计杂志 1 中国科学。F系列 1 RAIRO公司。理论信息学及其应用 全部的 前5名在7个字段中引用 75 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文