编辑配置文件（在新选项卡中打开） 西蒙·盖伊。 合著者距离 作者ID： 盖伊·西蒙·j 发布日期： 西蒙·盖伊。;西蒙·盖伊;盖伊，S.J。 更多。。。较少的 已编制索引的文档： 33出版物自1995年起 4作为编辑的贡献 合著者： 20位合著者具有31联合出版物 229合著作者 全部的 前5名合著者 6 单作者的 12 拉贾戈帕尔·纳加拉扬 7 安托尼奥·拉瓦拉 6 Vascoconcelos、Vasco Thudichum 5 普特胡尔，Ittoop Vergheese 三 萨姆森·艾布拉姆斯基 三 尼尔斯·盖斯伯特 2 易卜拉欣·阿尔德斯希尔·拉里贾尼 2 奥尔内拉·达达 2 弗兰克·阿诺德，索尼娅 1 乔瓦尼·伯纳迪 1 杰弗里·伯恩。 1 Caldeira，Alexandre Z。 1 罗伊·克罗。 1 蒂莫西·戴维森。 1 阿拉斯泰尔·唐纳森。 1 霍尔，马尔科姆 1 迪米特里奥斯·库扎帕斯 1 伊恩·麦基 1 尼古拉斯·帕帕尼科劳一世。 1 迪奥戈·波萨 全部的 前5名系列 5 MSCS公司。计算机科学中的数学结构 2 理论计算机科学 1 信息学报 1 计算机程序设计科学 1 计算的形式方面 1 函数编程杂志 1 欧洲理论计算机科学协会公报 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 全部的 前5名领域 36 计算机科学（68至XX） 14 量子理论（81-XX） 5 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 2 范畴理论；同调代数（18-XX） 2 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用344中的次212文件 引用人▼ 年份▼ pi演算中会话类型的子类型。 Zbl 1079.68065号 西蒙·盖伊;霍尔，马尔科姆 90 2005 异步会话类型的线性类型理论。 Zbl 1185.68194号 西蒙·盖伊。;Vasco T.瓦康塞洛斯。 44 2010 量子编程语言：调查和参考书目。 Zbl 1122.68021号 西蒙·盖伊。 27 2006 通信量子过程。 Zbl 1369.68207号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 23 2005 使用会话类型检查多线程函数语言的类型。 Zbl 1171.68410号 Vasco T.瓦康塞洛斯。;西蒙·盖伊。;安托尼奥·拉瓦拉 21 2006 交互类别和类型化并发编程的基础。 Zbl 0934.18007号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 18 1996 功能性多线程的会话类型。 Zbl 1099.68677号 瓦斯科·瓦康塞洛斯;安托尼奥·拉瓦拉;西蒙·盖伊 15 2004 会话类型的对偶关系。 Zbl 1444.68111号 乔瓦尼·伯纳迪;奥尔内拉·达达;西蒙·盖伊;迪米特里奥斯·库扎帕斯 15 2014 量子协议的规范和验证。 Zbl 1196.68135号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳 12 2010 通信量子过程的类型和类型检查。 Zbl 1122.68059号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 12 2006 一种用于无死锁会话类型进程的新线性逻辑。 Zbl 1491.68120号 奥尔内拉·达达;西蒙·盖伊。 9 2018 会话类型中的有界多态性。 Zbl 1156.68016号 西蒙·盖伊。 9 2008 交互网络的组合器。 Zbl 0840.03009号 西蒙·盖伊 7 1995 Isabelle/HOL中pi演算类型系统的形式化框架。 兹比尔1005.68531 西蒙·盖伊。 6 2001 子类型支持安全会话替换。 兹比尔1343.68056 西蒙·盖伊。 6 2016 量子协议的等效性检查。 Zbl 1381.68144号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 6 2013 异步系统死锁自由的一种类型理论方法。 Zbl 0882.18002号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 三 1997 同步进程死锁自由的规范结构。 Zbl 0932.68061号 艾布拉姆斯基，S。;盖伊，S.J。;纳加拉扬，R。 三 1999 分布式面向对象编程的模块化会话类型。 Zbl 1312.68042号 西蒙·盖伊。;Vasco T.瓦康塞洛斯。;安托尼奥·拉瓦拉;尼尔斯·盖斯伯特;Caldeira，Alexandre Z。 三 2010 线性光学量子计算的量子过程演算。 Zbl 1407.81063号 弗兰克·阿诺德，索尼娅;西蒙·盖伊。;Puthoor，Ittoop V公司。 三 2013 量子计算中的语义技术。 Zbl 1185.68009号 2 2010 并发量子系统的自动等价性检查。 Zbl 1407.68276号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 2 2018 会话类型作为通用流程类型。 Zbl 1467.68130号 西蒙·盖伊。;尼尔斯·盖斯伯特;安托尼奥·拉瓦拉 2 2014 使用量子过程演算分析量子纠错码。 兹比尔1462.81068 蒂莫西·戴维森。;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;普特胡尔，Ittoop Vergheese 2 2012 对象的模块化会话类型。 Zbl 1448.68213号 西蒙·盖伊。;尼尔斯·盖斯伯特;安托尼奥·拉瓦拉;Vasco T.瓦康塞洛斯。 2 2015 交互类别的内部语言。 Zbl 0842.03047号 罗伊·克罗;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 1 1995 使用量子过程演算验证线性光学量子计算。 Zbl 1464.68242号 弗兰克·阿诺德，索尼娅;西蒙·盖伊。;普特胡尔，Ittoop Vergheese 1 2014 一种用于无死锁会话类型进程的新线性逻辑。 Zbl 1491.68120号 奥尔内拉·达达;西蒙·盖伊。 9 2018 并发量子系统的自动等价性检查。 Zbl 1407.68276号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 2 2018 子类型支持安全会话替换。 兹比尔1343.68056 西蒙·盖伊。 6 2016 对象的模块化会话类型。 Zbl 1448.68213号 西蒙·盖伊。;尼尔斯·盖斯伯特;安托尼奥·拉瓦拉;Vasco T.瓦康塞洛斯。 2 2015 会话类型的对偶关系。 Zbl 1444.68111号 乔瓦尼·伯纳迪;奥尔内拉·达达;西蒙·盖伊;迪米特里奥斯·库扎帕斯 15 2014 会话类型作为通用流程类型。 Zbl 1467.68130号 西蒙·盖伊。;尼尔斯·盖斯伯特;安托尼奥·拉瓦拉 2 2014 使用量子过程演算验证线性光学量子计算。 Zbl 1464.68242号 弗兰克·阿诺德，索尼娅;西蒙·盖伊。;普特胡尔，Ittoop Vergheese 1 2014 量子协议的等效性检查。 Zbl 1381.68144号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 6 2013 线性光学量子计算的量子过程演算。 Zbl 1407.81063号 弗兰克·阿诺德，索尼娅;西蒙·盖伊。;Puthoor，Ittoop V公司。 三 2013 使用量子过程演算分析量子纠错码。 兹比尔1462.81068 蒂莫西·戴维森。;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;普特胡尔，Ittoop Vergheese 2 2012 异步会话类型的线性类型理论。 Zbl 1185.68194号 西蒙·盖伊。;Vasco T.瓦康塞洛斯。 44 2010 量子协议的规范和验证。 Zbl 1196.68135号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳 12 2010 分布式面向对象编程的模块化会话类型。 Zbl 1312.68042号 西蒙·盖伊。;Vasco T.瓦康塞洛斯。;安托尼奥·拉瓦拉;尼尔斯·盖斯伯特;Caldeira，Alexandre Z。 三 2010 量子计算中的语义技术。 Zbl 1185.68009号 2 2010 会话类型中的有界多态性。 Zbl 1156.68016号 西蒙·盖伊。 9 2008 量子编程语言：调查和参考书目。 Zbl 1122.68021号 西蒙·盖伊。 27 2006 使用会话类型检查多线程函数语言的类型。 Zbl 1171.68410号 Vasco T.瓦康塞洛斯。;西蒙·盖伊。;安托尼奥·拉瓦拉 21 2006 通信量子过程的类型和类型检查。 Zbl 1122.68059号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 12 2006 pi演算中会话类型的子类型。 Zbl 1079.68065号 西蒙·盖伊;霍尔，马尔科姆 90 2005 通信量子过程。 Zbl 1369.68207号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 23 2005 功能性多线程的会话类型。 Zbl 1099.68677号 瓦斯科·瓦康塞洛斯;安托尼奥·拉瓦拉;西蒙·盖伊 15 2004 Isabelle/HOL中pi演算类型系统的形式化框架。 兹比尔1005.68531 西蒙·盖伊。 6 2001 同步进程死锁自由的规范结构。 Zbl 0932.68061号 艾布拉姆斯基，S。;盖伊，S.J。;纳加拉扬，R。 三 1999 异步系统死锁自由的一种类型理论方法。 Zbl 0882.18002号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 三 1997 交互类别和类型化并发编程的基础。 Zbl 0934.18007号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 18 1996 交互网络的组合器。 Zbl 0840.03009号 西蒙·盖伊 7 1995 交互类别的内部语言。 Zbl 0842.03047号 罗伊·克罗;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名270位作者引用 24 吉田、Nobuko 14 佩雷斯（Jorge A.Pérez）。 13 弗兰克·芬宁 12 卢卡·帕多瓦尼 11 Vascoconcelos、Vasco Thudichum 10 Dezani Ciancaglini，马里亚焦拉 9 西蒙·盖伊。 7 马尔科·卡博尼 7 伯纳多·托尼霍 7 英明生 6 马里奥·布雷韦蒂 6 奥尔内拉·达达 6 冯、袁 6 安德烈亚·莫迪多 6 吉安路易吉·扎瓦塔罗 5 路易斯·凯雷斯 5 埃琳娜·贾奇诺 5 朱利安·兰格 4 萨姆森·艾布拉姆斯基 4 佛朗哥·巴巴内拉 4 马西莫·巴托莱蒂 4 达斯，安库什 4 邓雨欣 4 Ellie D'Hondt 4 本田、高黑 4 温·科克 4 迪米特里奥斯·库扎帕斯 4 拉贾戈帕尔·纳加拉扬 4 阿尔切斯特·斯卡拉斯 4 彼得·蒂曼。 4 王勇 三 贝尔纳多·F·阿尔梅达。 三 罗伯特·艾奇 三 萨拉·卡佩基 三 马里奥·科普 三 乌戈·德利古罗 三 亨利·德扬 三 福萨蒂，卢卡 三 吉列赞，西尔维娅 三 汉斯·休特尔 三 伊恩·麦基 三 迪米特里斯·莫斯特鲁斯 三 约万卡·潘托维奇 三 西蒙·佩德里克斯 三 埃米利奥·托斯托 三 罗伯托·祖尼诺 2 巴勃罗·阿里吉 2 维维亚娜·博诺 2 菲利佩·卡萨尔 2 伊利亚州卡斯特拉尼 2 蒂齐亚纳西莫利 2 戴桂平 2 文森特·达诺斯 2 索菲亚·克洛伊·德罗索波卢 2 保拉·吉安尼尼 2 马可·朱蒂 2 罗斯·霍恩 2 斯维特拉纳·雅克西奇 2 伊万·拉内斯 2 科西莫·拉内夫 2 李杨佳 2 Lindley，Sam（山姆·林德利） 2 埃尔南·梅尔格拉蒂 2 法布里西奥·蒙泰西 2 J.Garrett莫里斯 2 莫里齐奥·穆尔吉亚 2 普拉克斯马，克拉斯 2 安托尼奥·拉瓦拉 2 索菲涅·塔哈尔 2 弗朗西斯科·蒂埃齐 2 丹尼尔·瓦拉卡 2 贝蒂·文内里 2 雨果·托雷斯·维埃拉 2 应胜刚 2 于能坤 2 保罗·祖利亚尼 1 阿达梅克，吉安尼 1 佩德罗·阿德奥 1 雷纳尔德·阿弗尔德 1 亚历杭德罗·阿吉雷 1 亚历山大·埃亨 1 纪尧姆·安巴尔 1 艾米、马修 1 琳达·安蒂科利 1 阿伦·阿斯拉纳吉奇 1 阿什莱沙·阿特里 1 保罗·C·阿蒂。 1 斯蒂芬妮·巴尔泽 1 海宁·巴索尔德 1 丹尼斯·贝切特 1 西迪·穆罕默德·贝拉希 1 杰斯珀·本特森 1 乔瓦尼·伯纳迪 1 马可·贝尔纳多 1 洛伦佐·贝蒂尼 1 劳拉·博奇 1 Jaap P.Boender。 1 罗伯托·布鲁尼 1 毛里西奥·卡诺 1 朱塞佩·卡斯塔尼亚 …还有170多名作者 全部的 前5名引用于27个系列 18 程序设计中的逻辑和代数方法杂志 15 理论计算机科学 13 信息与计算 12 MSCS公司。计算机科学中的数学结构 12 计算机科学中的逻辑方法 9 信息学报 6 国际理论物理杂志 6 计算的形式方面 5 函数编程杂志 三 ACM计算逻辑事务 2 数学物理杂志 2 新一代计算 2 量子信息处理 1 国际通用系统杂志 1 波兰科学院公报。技术科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 符号逻辑杂志 1 Studia Logica公司 1 计算机程序设计科学 1 符号计算杂志 1 自动推理杂志 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 自然计算 1 计算机语言、系统和结构 全部的 前5名在12个字段中引用 201 计算机科学（68至XX） 51 量子理论（81-XX） 43 数学逻辑和基础（03-XX） 6 范畴理论；同调代数（18-XX） 5 信息与通信理论、电路（94-XX） 2 功能分析（46倍X倍） 1 非结合环和代数（17-XX） 1 测量和集成（28-XX） 1 积分方程（45-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文