编辑配置文件(在新选项卡中打开) 拉贾戈帕尔·纳加拉扬 合著者距离 作者ID: 纳加拉扬·拉贾戈帕尔 发布方式: 拉贾戈帕尔·纳加拉扬;纳加拉扬,R。 外部链接: MGP公司 已编制索引的文档: 29出版物自1995年起 3作为编辑的贡献 合著者: 22合著者具有24联合出版物 392合著作者 全部的 前5名合著者 1 单作者的 12 西蒙·盖伊。 三 萨姆森·艾布拉姆斯基 三 尼古拉斯·帕帕尼科劳一世。 2 易卜拉欣·阿尔德斯希尔·拉里贾尼 2 B.切拉帕。 2 亚历山德拉·迪·皮耶罗 2 克里斯·汉金。 2 里卡多·门戈尼 2 卡罗琳·罗杰斯 2 戴维·温德里奇 1 佩德罗·巴尔塔扎尔 1 Jaap P.Boender。 1 加里·鲍文 1 罗伊·克罗。 1 蒂莫西·戴维森。 1 弗洛里安·卡姆米勒 1 克里希纳皮亚,P。 1 拉齐奇,兰科 1 伊恩·麦基 1 帕斯夸尔马拉卡里亚 1 保罗·C·马特乌斯。 1 Puthoor,Ittoop Vergheese公司 1 普拉达瓦拉丹·桑帕特 1 A.Solairaju。 1 维特拉科·维达尔 全部的 前5名系列 三 国际量子信息杂志 2 应用数学科学(俄罗斯) 1 IEEE信息理论汇刊 1 理论计算机科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 模糊数学杂志 1 非线性泛函分析及其应用 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 国际数学论坛 1 模糊集与系统研究进展 1 国际数学分析杂志 1 南极洲数学杂志 全部的 前5名领域 22 计算机科学(68至XX) 14 量子理论(81-XX) 7 数学逻辑和基础(03-XX) 5 群论与推广(20-XX) 4 信息与通信理论、电路(94-XX) 三 总体主题;集合(00-XX) 三 结合环与代数(16-XX) 2 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 1 变分法与最优控制;最优化(49至XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用104中的次72文件 引用人▼ 年份▼ 通信量子过程。 Zbl 1369.68207号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 23 2005 交互类别和类型化并发编程的基础。 Zbl 0934.18007号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 19 1996 量子协议的规范和验证。 Zbl 1196.68135号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳 12 2010 通信量子过程的类型和类型检查。 Zbl 1122.68059号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 12 2006 形式化属于使用Coq的量子协议。 Zbl 1477.68528号 博恩德,雅普;弗洛里安·卡姆米勒;拉贾戈帕尔·纳加拉扬 7 2015 量子协议的等效性检查。 兹比尔1381.68144 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 6 2013 关于噪声量子信道的反馈和经典容量。 Zbl 1283.94034号 加里·鲍文;拉贾戈帕尔·纳加拉扬 5 2005 第二量化Kolmogorov复杂性。 Zbl 1153.81471号 卡罗琳·罗杰斯;维特拉科·维达尔;拉贾戈帕尔·纳加拉扬 4 2008 异步系统死锁自由度的一种类型论方法。 Zbl 0882.18002号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 三 1997 模拟和编译序列量子随机存取机的代码。 Zbl 1277.68078号 拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳;大卫·威廉姆斯 三 2007 同步进程死锁自由的规范结构。 Zbl 0932.68061号 艾布拉姆斯基,S。;盖伊,S.J。;纳加拉扬,R。 三 1999 并发量子系统的自动等价性检查。 Zbl 1407.68276号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 2 2018 使用量子过程演算分析量子纠错码。 兹比尔1462.81068 蒂莫西·戴维森。;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;Puthoor,Ittoop Vergheese公司 2 2012 无损量子数据压缩和量子Kolmogorov复杂性。 Zbl 1219.81065号 卡罗琳·罗杰斯;拉贾戈帕尔·纳加拉扬 1 2011 交互类别的内部语言。 Zbl 0842.03047号 罗伊·克罗;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 1 1995 量子纠错输出码。 Zbl 1407.81082号 戴维·温德里奇;里卡多·蒙戈尼;拉贾戈帕尔·纳加拉扬 1 2018 使用离散延迟的logistic增长HIV-1感染模型的最优控制。 Zbl 1375.49003号 纳加拉扬,R。;Krishnan,K。;克里希纳皮亚,P。 1 2017 并发量子系统的自动等价性检查。 Zbl 1407.68276号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 2 2018 量子纠错输出码。 Zbl 1407.81082号 戴维·温德里奇;里卡多·门戈尼;拉贾戈帕尔·纳加拉扬 1 2018 使用离散延迟的logistic增长HIV-1感染模型的最优控制。 Zbl 1375.49003号 纳加拉扬,R。;Krishnan,K。;克里希纳普里亚,P。 1 2017 形式化属于使用Coq的量子协议。 Zbl 1477.68528号 博恩德,雅普;弗洛里安·卡姆米勒;拉贾戈帕尔·纳加拉扬 7 2015 量子协议的等效性检查。 Zbl 1381.68144号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 6 2013 使用量子过程演算分析量子纠错码。 Zbl 1462.81068号 蒂莫西·戴维森。;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;Puthoor,Ittoop Vergheese公司 2 2012 无损量子数据压缩和量子Kolmogorov复杂性。 Zbl 1219.81065号 卡罗琳·罗杰斯;拉贾戈帕尔·纳加拉扬 1 2011 量子协议的规范和验证。 Zbl 1196.68135号 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳 12 2010 第二量化Kolmogorov复杂性。 Zbl 1153.81471号 卡罗琳·罗杰斯;维特拉科·维达尔;拉贾戈帕尔·纳加拉扬 4 2008 模拟和编译序列量子随机存取机的代码。 Zbl 1277.68078号 拉贾戈帕尔·纳加拉扬;尼古拉斯·帕帕尼科劳;大卫·威廉姆斯 三 2007 通信量子过程的类型和类型检查。 兹比尔1122.68059 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 12 2006 通信量子过程。 兹比尔1369.68207 西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 23 2005 关于噪声量子信道的反馈和经典容量。 Zbl 1283.94034号 加里·鲍文;拉贾戈帕尔·纳加拉扬 5 2005 同步进程死锁自由的规范结构。 Zbl 0932.68061号 艾布拉姆斯基,S。;盖伊,S.J。;纳加拉扬,R。 三 1999 异步系统死锁自由的一种类型理论方法。 兹比尔0882.18002 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 三 1997 交互类别和类型化并发编程的基础。 Zbl 0934.18007号 萨姆森·艾布拉姆斯基;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 19 1996 交互类别的内部语言。 Zbl 0842.03047号 罗伊·克罗;西蒙·盖伊;拉贾戈帕尔·纳加拉扬 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名131位作者引用 6 冯、袁 6 英明生 5 拉贾戈帕尔·纳加拉扬 4 萨姆森·艾布拉姆斯基 4 邓玉欣 4 Ellie D'Hondt 4 王勇 三 福萨蒂,卢卡 三 西蒙·盖伊。 2 亚历山大·本特坎普 2 贾斯敏·克里斯蒂安·布兰切特 2 戴桂平 2 文森特·达诺斯 2 克拉科夫,迪特里希 2 李,杨佳 2 丹尼尔·瓦拉卡 2 于能坤 1 阿达梅克,吉安尼 1 佩德罗·阿德奥 1 亚历杭德罗·阿吉雷 1 琳达·安蒂科利 1 罗伯特·艾奇 1 塞巴斯蒂安·巴丁 1 斯特凡·巴乌尔 1 西迪·穆罕默德·贝拉希 1 查尔斯·亨利·贝内特 1 弗朗索瓦·博博特 1 Jaap P.博恩德。 1 蔡、余 1 尤里·凯西奥·坎贝尔-博格斯 1 马尔科·卡博尼 1 克利斯朵夫·查尔顿 1 科科特,J.罗宾B。 1 达罗查·科斯塔(da Rocha Costa)、安东尼奥·卡洛斯(António Carlos) 1 戴、宋松 1 奥尔内拉·达达 1 欧内斯特·戴维斯 1 苏里亚·西特加·德苏 1 伊戈尔·德维塔克 1 丁大伟 1 卢卡斯·狄克逊 1 杜文杰 1 段润耀 1 罗斯·邓肯 1 穆纳乔·埃切宁 1 伏玉溪 1 埃琳娜·贾奇诺 1 杰里米·吉本斯 1 Ernst Moritz哈恩 1 韩志光 1 郝玉杰 1 本田、肯塔罗 1 Huang,程超 1 阿特菲·贾贝里 1 纪正峰 1 Jing、Xiaoli 1 川谷义彦 1 弗洛里安·卡姆米勒 1 埃勒姆·卡舍菲 1 加藤,走 1 胜本,Shin-ya 1 川野康仁 1 高弘久保田 1 兰、香 1 科西莫·拉内夫 1 黎惠阮 1 李爱德华·阿什福德 1 萨姆·林德利 1 刘俊毅 1 穆罕默德·尤斯里·马哈茂德 1 保罗·C·马特乌斯。 1 迈赫迪·姆哈拉 1 斯特凡·米利厄斯 1 雅罗斯瓦夫·亚当·米兹扎克 1 法布里西奥·蒙泰西 1 J.Garrett莫里斯 1 劳伦斯·莫斯。 1 帕南加登,普拉卡什 1 尼古拉斯·帕帕尼科劳一世。 1 詹妮弗·佩金 1 西蒙·佩德里克斯 1 佩雷斯(Jorge A.Pérez)。 1 瓦伦丁·佩雷尔 1 柯斯汀·彼得斯 1 卡拉广场 1 何塞·罗伯托·卡斯蒂略(JoséRoberto Castilho Piqueira) 1 皮罗格,马西耶 1 普特胡尔,Ittoop Vergheese 1 秦旭东 1 M.V.Panduranga Rao 1 若昂·拉斯加 1 任兴田 1 卡罗琳·罗杰斯 1 阿穆尔·萨布里 1 梅赫努什·萨德扎德 1 樱田秀树 1 瓦莱里奥·斯卡拉尼 1 安娜·施密特 1 卡斯滕·舒尔曼 1 拉尔夫·施韦迈耶 …还有31位作者 全部的 前5名23篇连载文章中引用 6 国际理论物理杂志 4 信息学报 4 理论计算机科学 三 国际量子信息杂志 2 自动推理杂志 2 ACM计算逻辑事务 1 富兰克林学院学报 1 数学物理杂志 1 信息传输问题 1 波兰科学院公报。技术科学 1 信息科学 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 Studia Logica公司 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 数学与人工智能年鉴 1 物理审查信函 1 自然计算 1 数学扩展杂志 1 物理学年鉴 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 61 计算机科学(68至XX) 43 量子理论(81-XX) 7 信息与通信理论、电路(94-XX) 5 数学逻辑和基础(03-XX) 5 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 非结合环和代数(17-XX) 1 偏微分方程(35-XX) 1 算子理论(47-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文