编辑配置文件(在新选项卡中打开) 桑吉瓦·普拉萨德 合著者距离 作者ID: 帕萨德·桑吉瓦 发布日期: 桑吉瓦·普拉萨德 外部链接: MGP公司 已编制索引的文档: 19出版物自1982年以来 3作为编辑的贡献 合著者: 15位合著者具有14联合出版物 321位Co-Co作者 全部的 前5名合著者 三 单作者的 2 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 钱德里卡·巴德瓦吉 2 马尼,J.P。 2 Lenore D.扎克。 1 阿伦库马尔,S。 1 维克拉曼·阿尔文德 1 B.K.巴关。 1 迪帕克·加格 1 苏加塔·戈什 1 亚历山德罗·贾卡隆 1 让·古鲍特·拉雷克 1 萨利尔·乔希 1 桑吉夫·卡普尔 1 阿卡什·拉尔 1 普拉蒂克·米什拉 1 Paramhans,S.A.公司。 1 纽约州普拉萨德。 1 阿瓦德赫·库马尔·辛格 1 库马尔·内拉吉(Kumar Neeraj Verma) 1 Yerragundla,R.马杜卡尔 全部的 前5名系列 三 计算机科学课堂讲稿 2 印度国家科学院院刊。剖面图A 2 程序设计中的逻辑和代数方法杂志 1 天体物理和太空科学 1 数论及相关主题公报 1 兰奇大学数学杂志 1 应用数学快报 全部的 前5名领域 16 计算机科学(68至XX) 三 总体主题;集合(00-XX) 三 流体力学(76-XX) 2 经典热力学,传热(80-XX) 1 数理逻辑与基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 特殊功能(33至XX) 1 积分变换,运算微积分(44-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用45中的次41文件 引用人▼ 年份▼ facile的操作语义和代数语义:并发编程和函数编程的对称集成。 Zbl 0765.68109号 桑吉瓦·普拉萨德;亚历山德罗·贾卡隆;普拉蒂克·米什拉 16 1990 位置和故障(扩展摘要)。 兹比尔1044.68682 罗伯特·阿马迪奥(Roberto M.Amadio)。;桑吉瓦·普拉萨德 15 1994 在Coq中反映BDD。 Zbl 0988.68600号 库马尔·内拉吉(Kumar Neeraj Verma);让·古鲍特·拉雷克;桑吉瓦·普拉萨德;阿伦·库马尔,S。 6 2000 非线性方程组的牛顿-条件Krylov子空间解:数值实验。 Zbl 0974.65049号 圣达,S。;B.K.巴关。;普拉萨德,S。 5 2001 密码表中名称的游戏。 Zbl 0989.94506号 罗伯特·阿马迪奥(Roberto M.Amadio)。;桑吉瓦·普拉萨德 2 1999 仅连接牢固。 Zbl 07800279号 钱德里卡·巴德瓦吉;桑吉瓦·普拉萨德 1 2019 保护信息流连接。 Zbl 07531437号 钱德里卡·巴德瓦吉;桑吉瓦·普拉萨德 1 2022 同步和异步的有效化学。 Zbl 1088.68641号 迪帕克·加格;阿卡什·拉尔;桑吉瓦·普拉萨德 1 2004 Best-by-simulations:一个用于比较可重构架构在工作负载和截止日期上的效率的框架。 兹比尔1400.68043 桑吉瓦·普拉萨德 1 2018 逻辑及其应用。2017年1月5日至7日在印度坎普尔举行的第七届印度会议,ICLA 2017。诉讼程序。 Zbl 1416.03005号 1 2017 FSTTCS 2007:软件技术和理论计算机科学基础。第27届国际会议,印度新德里,2007年12月12-14日。诉讼程序。 Zbl 1134.68001号 1 2007 保护信息流连接。 Zbl 07531437号 钱德里卡·巴德瓦吉;桑吉瓦·普拉萨德 1 2022 仅连接牢固。 Zbl 07800279号 钱德里卡·巴德瓦吉;桑吉瓦·普拉萨德 1 2019 Best-by-simulations:一个用于比较可重构架构在工作负载和截止日期上的效率的框架。 兹比尔1400.68043 桑吉瓦·普拉萨德 1 2018 逻辑及其应用。2017年1月5日至7日在印度坎普尔举行的第七届印度会议,ICLA 2017。诉讼程序。 Zbl 1416.03005号 1 2017 FSTTCS 2007:软件技术和理论计算机科学基础。第27届国际会议,印度新德里,2007年12月12-14日。诉讼程序。 Zbl 1134.68001号 1 2007 同步和异步的有效化学。 Zbl 1088.68641号 迪帕克·加格;阿卡什·拉尔;桑吉瓦·普拉萨德 1 2004 非线性方程组的牛顿-条件Krylov子空间解:数值实验。 Zbl 0974.65049号 圣达,S。;B.K.巴关。;普拉萨德,S。 5 2001 在Coq中反映BDD。 Zbl 0988.68600号 库马尔·内拉吉(Kumar Neeraj Verma);让·古鲍特·拉雷克;桑吉瓦·普拉萨德;阿伦·库马尔,S。 6 2000 密码表中名称的游戏。 Zbl 0989.94506号 罗伯特·阿马迪奥(Roberto M.Amadio)。;桑吉瓦·普拉萨德 2 1999 位置和故障(扩展摘要)。 兹比尔1044.68682 罗伯特·阿马迪奥(Roberto M.Amadio)。;桑吉瓦·普拉萨德 15 1994 facile的操作语义和代数语义:并发编程和函数编程的对称集成。 Zbl 0765.68109号 桑吉瓦·普拉萨德;亚历山德罗·贾卡隆;普拉蒂克·米什拉 16 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名65位作者引用 7 轩尼诗,Matthew C.B。 5 弗莱明·尼尔森 5 汉内·里斯·尼尔森 4 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 皮耶保罗·德加诺 2 阿德里安·弗兰卡兰扎 2 科西莫·拉涅夫 2 伊恩·梅森。 2 卢卡·帕多瓦尼 2 科拉多·普里亚米 2 詹姆斯·里利 2 卡罗琳·塔尔科特。 2 本特·汤姆森 1 哈桑·阿姆贾德 1 斯蒂芬妮·巴尔泽 1 克劳斯·巴塞尔曼 1 乌尔里希·伯杰 1 斯特凡·贝尔霍费尔 1 奇亚拉博迪 1 米歇尔·博雷尔 1 托马斯·布雷班特 1 巴斯米,玛丽亚·格拉齐亚 1 路易斯·凯雷斯 1 卢卡·卡德利 1 萨缪尔·卡皮内蒂 1 丹妮尔·奇菲 1 汤姆·乔西亚 1 达姆,麦兹 1 达斯,比勒斯瓦尔 1 尼古拉·德拉戈尼 1 多米尼克·达根 1 吉安·路易吉,法拉利 1 威廉·费雷拉 1 菲利普·安·加德纳 1 毛罗·加斯帕里 1 乔治·盖利 1 安德鲁·戈登。 1 菲利普·哈勒 1 汉森、雷内·里多夫 1 克劳斯·哈维隆德 1 雅克·亨利·乔尔丹 1 金·古德斯特兰·拉森 1 安德鲁·劳伦斯 1 莱思,孤独 1 丹尼斯·卢吉兹 1 朱利叶斯·迈克利斯 1 大卫·莫尼奥(David P.Monniaux)。 1 R.D.尼古拉。 1 托比亚斯·尼普科 1 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 1 桑吉瓦·普拉萨德 1 罗萨里奥·普格利泽 1 马库斯·雷特 1 帕特里克·沙普芬内克 1 乔治·希德 1 莫尼卡·塞森伯格 1 雅各布·托兰 1 文森特·瓦纳凯尔 1 Vascoconcelos、Vasco Thudichum 1 贝蒂·文奈里 1 雨果·托雷斯·维埃拉 1 罗伯托·维戈 1 卢西安·维希克 1 吉田、Nobuko 1 Lenore D.扎克。 全部的 前5名8篇连载文章中引用 9 理论计算机科学 6 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 逻辑与代数程序设计杂志 1 信息学报 1 计算机程序设计科学 1 自动推理杂志 1 逻辑、语言与信息杂志 在5个字段中引用 39 计算机科学(68至XX) 5 数理逻辑与基础(03-XX) 三 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的引文