编辑配置文件（在新选项卡中打开） 苏雷什·贾甘纳森 合著者距离 作者ID： 贾甘纳森·苏雷什 发布方式： 苏雷什·贾甘纳森 外部链接： MGP公司 已编制索引的文档： 31出版物自1990年以来，包括1本书 1名编辑贡献 合著者： 38位合著者具有31联合出版物 631合著者 全部的 前5名合著者 1 单作者的 6 维泰克，简 4 朱，何 三 德尔芬·德曼吉 三 罗纳尔多·A·费雷拉。 三 阿南斯·格拉玛。 三 卡提克·纳加尔 三 古斯塔沃·佩特里 三 大卫·皮哈迪 三 卢卡斯·齐亚雷克 2 大卫·卡切拉 2 多兹，迈克 2 安东尼·霍斯金。 2 阿迪蒂亚·维塔尔·诺里 2 穆拉利·克里希纳·拉马纳桑 2 什耶夫切克，雅罗斯拉夫 2 彼得·休厄尔 2 维克托·瓦菲亚迪斯 2 几周了，斯蒂芬 2 亚当·韦尔奇 2 扬尼克·扎科夫斯基 2 弗朗西斯科·扎帕·纳德利 1 盖伊·E·布莱洛赫。 1 马特科·博廷坎 1 亨利·塞金 1 卡尼安特拉·马尼·钱迪 1 大卫·H·盖伦特。 1 高瑟姆·卡基 1 穆罕默德·科尤特克 1 文森特·拉波特 1 普拉西塔·穆克吉 1 南迪瓦达，V.Krishna 1 阿尔芒·纳瓦比 1 马修·帕金森。 1 Koushik森 1 Sivaramakrishnan，K.C。 1 克里斯蒂安·昂古里亚努 1 张湘玉 1 赵磊 全部的 前5名系列 2 计算机程序设计科学 2 并行与分布式计算杂志 2 高阶和符号计算 1 理论计算机科学 1 自动推理杂志 1 分布式计算 1 函数编程杂志 1 美国医学会杂志 1 DIMACS系统。离散数学和理论计算机科学系列 领域 32 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 一般性和全局性主题；集合（00-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用64中的次55文件 引用人▼ 年份▼ CompCertTSO:一个经过验证的编译器，用于松弛内存并发。 兹比尔1281.68072 什耶夫切克，雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 14 2013 学习细化类型。 Zbl 1360.68345号 朱，何;阿迪蒂亚·诺里。;苏雷什·贾甘纳森 6 2015 ML的组合和轻量级依赖类型推理。 兹比尔1426.68036 朱，何;苏雷什·贾甘纳森 6 2013 事务对象演算。 Zbl 1076.68021号 苏雷什·贾甘纳森;维泰克，简;亚当·韦尔奇;安东尼·霍斯金 5 2005 随机领导选举。 Zbl 1266.68222号 穆拉利·克里希纳·拉马纳桑;罗纳尔多·A·费雷拉。;苏雷什·贾甘纳森 5 2007 方案B，一个Java缓冲内存模型。 Zbl 1301.68098号 德尔芬·德曼吉;文森特·拉波特;赵磊;苏雷什·贾甘纳森;大卫·皮哈迪;维泰克，简 4 2013 使用相对保证方法验证并发垃圾收集器。 Zbl 1468.68067号 扬尼克·扎科夫斯基;大卫·卡切拉;德尔芬·德曼吉;古斯塔沃·佩特里;大卫·皮哈迪;苏雷什·贾甘纳森;维泰克，简 4 2017 类型化语言的流定向闭包转换。 兹比尔0971.68600 亨利·塞金;苏雷什·贾甘纳森;几周了，斯蒂芬 三 2000 放松内存并发和验证编译。 Zbl 1284.68152号 雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 三 2011 并发ML的轻量级检查点。 Zbl 1214.68122号 卢卡斯·齐亚雷克;苏雷什·贾甘纳森 2 2010 Poling公司：SMT辅助线性化证明。 Zbl 1381.68074号 朱，何;古斯塔沃·佩特里;苏雷什·贾甘纳森 2 2015 在弱一致性下自动检测串行化违规。 Zbl 1520.68097号 卡提克·纳加尔;苏雷什·贾甘纳森 2 2018 编程语言学。 Zbl 0818.68053号 大卫·盖伦特;苏雷什·贾甘纳森 1 1990 结构化对等网络中的位置。 Zbl 1158.68313号 罗纳尔多·A·费雷拉。;苏雷什·贾甘纳森;阿南斯·格拉玛 1 2006 高阶形状分析的关系框架。 Zbl 1345.68062号 高瑟姆·卡基;苏雷什·贾甘纳森 1 2014 设计器事务的语义框架。 兹比尔1126.68341 维泰克，简;苏雷什·贾甘纳森;亚当·韦尔奇;安东尼·霍斯金。 1 2004 并发和通信的部分记忆。 Zbl 1302.68076号 卢卡斯·齐亚雷克;Sivaramakrishnan，K.C。;苏雷什·贾甘纳森 1 2009 测试的依赖数组类型推断。 Zbl 1432.68078号 朱，何;阿迪蒂亚·诺里。;苏雷什·贾甘纳森 1 2015 确定性并行的模块化推理。 Zbl 1284.68178号 多兹，迈克;苏雷什·贾甘纳森;马修·帕金森。 1 2011 复制系统中并发库的语义、规范和有界验证。 Zbl 1478.68045号 卡提克·纳加尔;普拉西塔·穆克吉;苏雷什·贾甘纳森 1 2020 复制系统中并发库的语义、规范和有界验证。 兹比尔1478.68045 卡提克·纳加尔;普拉西塔·穆克吉;苏雷什·贾甘纳森 1 2020 在弱一致性下自动检测串行化违规。 Zbl 1520.68097号 卡提克·纳加尔;苏雷什·贾甘纳森 2 2018 使用相对保证方法验证并发垃圾收集器。 Zbl 1468.68067号 扬尼克·扎科夫斯基;大卫·卡切拉;德尔芬·德曼吉;古斯塔沃·佩特里;大卫·皮哈迪;苏雷什·贾甘纳森;维泰克，简 4 2017 学习细化类型。 Zbl 1360.68345号 朱，何;阿迪蒂亚·诺里。;苏雷什·贾甘纳森 6 2015 Poling公司：SMT辅助线性化证明。 Zbl 1381.68074号 朱，何;古斯塔沃·佩特里;苏雷什·贾甘纳森 2 2015 测试的依赖数组类型推断。 Zbl 1432.68078号 朱，何;阿迪蒂亚·诺里。;苏雷什·贾甘纳森 1 2015 高阶形状分析的关系框架。 Zbl 1345.68062号 高瑟姆·卡基;苏雷什·贾甘纳森 1 2014 CompCertTSO:一个经过验证的编译器，用于松弛内存并发。 兹比尔1281.68072 什耶夫切克，雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 14 2013 ML的组合和轻量级依赖类型推理。 Zbl 1426.68036号 朱，何;苏雷什·贾甘纳森 6 2013 方案B，一个Java缓冲内存模型。 Zbl 1301.68098号 德尔芬·德曼吉;文森特·拉波特;赵磊;苏雷什·贾甘纳森;大卫·皮哈迪;维泰克，简 4 2013 放松内存并发和验证编译。 Zbl 1284.68152号 雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 三 2011 确定性并行的模块化推理。 Zbl 1284.68178号 多兹，迈克;苏雷什·贾甘纳森;马修·帕金森。 1 2011 并发ML的轻量级检查点。 Zbl 1214.68122号 卢卡斯·齐亚雷克;苏雷什·贾甘纳森 2 2010 并发和通信的部分记忆。 Zbl 1302.68076号 卢卡斯·齐亚雷克;Sivaramakrishnan，K.C。;苏雷什·贾甘纳森 1 2009 随机领导选举。 Zbl 1266.68222号 穆拉利·克里希纳·拉马纳桑;罗纳尔多·A·费雷拉。;苏雷什·贾甘纳森 5 2007 结构化对等网络中的位置。 Zbl 1158.68313号 罗纳尔多·A·费雷拉。;苏雷什·贾甘纳森;阿南斯·格拉玛 1 2006 事务对象演算。 Zbl 1076.68021号 苏雷什·贾甘纳森;维泰克，简;亚当·韦尔奇;安东尼·霍斯金 5 2005 设计器事务的语义框架。 Zbl 1126.68341号 维泰克，简;苏雷什·贾甘纳森;亚当·韦尔奇;安东尼·霍斯金。 1 2004 类型化语言的流定向闭包转换。 Zbl 0971.68600号 亨利·塞金;苏雷什·贾甘纳森;几周了，斯蒂芬 三 2000 编程语言学。 Zbl 0818.68053号 大卫·盖伦特;苏雷什·贾甘纳森 1 1990 所有引用出版物 前5名被引用出版物 全部的 前5名146位作者引用 6 苏雷什·贾甘纳森 6 直纪小林 5 康斯坦丁·埃纳 4 佐藤隆介 三 西迪·穆罕默德·贝拉希 三 艾哈迈德·博阿贾尼 三 彼得·罗宾逊 三 马丁·斯特芬 2 弗雷德里克·贝松 2 布兰奇，桑德琳 2 大卫·卡切拉 2 德尔芬·德曼吉 2 丹尼尔·施内泽，法瓦 2 克利夫·琼斯。 2 谢·库滕 2 伊万·拉内斯 2 伊夫·梅蒂维耶 2 克劳迪奥·安塔雷斯·梅齐纳 2 玛格努斯·奥·米林。 2 斯科特·欧文斯 2 古斯塔沃·佩特里 2 大卫·皮哈迪 2 约翰·迈克尔·罗布森 2 沃尔克·斯托尔茨 2 维泰克，简 2 皮埃尔·威尔克 2 扬尼克·扎科夫斯基 2 阿克卡·泽马里 2 卢卡斯·齐亚雷克 1 马丁·阿巴迪 1 卡明·阿巴特 1 奥曼·波霍拉，约翰内斯 1 Soumyadip Bandyopadhyay公司 1 安妮特·比纽萨 1 罗伯特·D·比约恩森。 1 罗伯托·布兰科 1 伯恩，彼得 1 斯蒂芬·布鲁克斯。 1 尼古拉斯·卡里罗（Nicholas J.Carriero）。 1 冠军，阿德里安 1 千叶，富古屋 1 瑟·特凡·乔巴赫 1 福雷德里克·达布罗夫斯基 1 安德烈·玛丽安（Andrei Marian Dan） 1 丹·杜赫 1 奥利维尔·丹维 1 蒂鲍特·达迪尼尔 1 德里克·德雷尔（Derek R.Dreyer）。 1 阿德里安·杜里埃 1 迈克尔·埃米 1 约塔姆·M·Y·费尔德曼。 1 罗纳尔多·A·费雷拉。 1 Anthony C.J.福克斯。 1 迪帕克·加格 1 普拉纳夫·加格 1 Nadji高蒂尔 1 埃琳娜·贾奇诺 1 霍尔格·吉斯 1 塞斯·吉尔伯特 1 埃尔萨·甘特。 1 蒂姆·哈里斯 1 伊恩·海耶斯。 1 Hriţcu，科特林 1 洪丹凡 1 Atsushi Igarashi 1 雨果·伊利诺斯 1 直木岛岛山 1 埃纳尔·布罗赫·约翰森 1 德扬·约瓦诺维奇 1 瑞安·卡瓦纳 1 埃里克·科斯金 1 罗伯特·克雷伯斯 1 悉达哈·克里希纳 1 尼拉坎坦·R·克里希纳斯瓦米。 1 拉马纳·库马尔 1 马蒂厄·莱梅尔 1 安德烈亚斯·洛赫比勒 1 弗雷德里克·卢勒格 1 帕塔萨拉西马杜苏丹 1 Mai Thoung Tran，Thi公司 1 奇塔兰詹·曼达尔 1 威廉·曼斯基 1 尤里·梅什曼 1 凯文·米利金 1 亚当·莫里森 1 Ryoya Mukai 1 彼得·米勒 1 南迪瓦达，V.Krishna 1 阿列克桑达尔·纳内夫斯基 1 丹尼尔·奈德 1 Nguyen、Ngoc-Khai 1 阮，Phüc c。 1 诺里斯，迈克尔 1 奥维，奥拉夫 1 戈帕尔·潘杜拉根 1 Park，大军 1 高拉夫，Parthasarathy 1 马可·帕特里格纳尼 1 大卫·佩勒 1 托马斯·品萨尔 …还有46位作者 全部的 前5名15篇连载文章中引用 7 自动推理杂志 4 函数编程杂志 三 高阶和符号计算 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 计算机语言、系统和结构 2 计算机科学中的逻辑方法 1 信息学报 1 计算机程序设计科学 1 算法 1 国际并行程序设计杂志 1 计算的形式方面 1 分布式计算 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 全部的 前5名在7个字段中引用 55 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 数值分析（65-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文