编辑配置文件(在新选项卡中打开) 帕南加登,普拉卡什 合著者距离 作者ID: 帕南加登.普拉卡什 发布日期: 帕南加登,普拉卡什;帕南加登,P。;帕纳加登,普拉卡什 更多。。。较少的 已编制索引的文档: 113出版物自1979年以来,包括1本书和2个附加arXiv预打印 编辑贡献20篇 传记参考: 2出版物 合著者: 103合著者具有115联合出版物 2290名合作作者 全部的 前5名合著者 17 单作者的 13 拉杜·马达尔 10 何塞·德斯哈奈斯 9 文森特·达诺斯 9 戈登·普洛金(Gordon D.Plotkin)。 8 理查德·布鲁特(Richard F.Blute)。 8 拉德哈·贾加迪桑 6 佛罗伦萨克莱尔克 6 葡萄藤古普塔 6 埃勒姆·卡舍菲 5 鲍勃·科克 5 德克斯特·C·科赞。 5 凯·马丁 5 普雷库普,多伊纳 4 乔治·巴奇 4 博尔贾·巴勒 4 康斯坦蒂诺斯·查齐科科拉基斯 4 陈丽安 4 Ellie D'Hondt 4 索菲亚·奈特 4 卡图西亚帕拉米德斯 4 瓦桑特·香博格 三 菲利普·查普特 三 金·古德斯特兰·拉森 三 彼得·塞林格 2 卢卡·埃特罗 2 库珀、斯图亚特·巴里 2 纳塔娜·菲亚尔科夫 2 尼古拉斯·加涅 2 帕斯卡尔·古尔多 2 一郎·哈索 2 托马斯·希尔德布兰特。 2 Ivan T.伊万诺夫。 2 巴托克·克林 2 拉尔夫·戴维·科珀曼 2 简·J·M·M·鲁顿。 2 罗伯特·A·G·西利。 2 迈克尔·史密斯。 2 斯普林,迪特 2 尤金·斯塔克。 2 格林·温斯克尔 1 萨姆森·艾布拉姆斯基 1 詹姆斯·阿尔图彻。 1 巴勃罗·阿里吉 1 科斯汀·伯德斯库 1 尼克·贝扎尼什维利 1 菲律宾邦奇 1 马塞洛·玛丽亚·邦桑格 1 卡米勒·布拉德勒 1 安娜·M·布兰登伯格。 1 安德鲁·凯夫 1 陈一香 1 兰斯·克莱维兰 1 克里奇洛夫,C。 1 卡罗尔·克里奇洛 1 科林·丹尼尔斯 1 扬尼克·德尔贝克 1 莫妮卡·丁库列斯库 1 邓肯,罗斯 1 阿巴斯·埃达拉特 1 阿努萨尔·法鲁基 1 蕨类,诺姆 1 费雷拉,Francisco H.G。 1 阿莱西奥·古列尔米 1 Helle Hvid汉森 1 帕特里克·M·海登。 1 马蒂·霍班。 1 哈里森·汉弗莱 1 克里斯托弗·亨特 1 巴特·雅各布斯 1 尼基·卡姆兰 1 阿特姆·卡兹纳切夫 1 罗伯特·M·凯勒。 1 史蒂夫·克莱默 1 克莱门斯·库普克 1 Marta Z.Kwiatkowska。 1 弗朗索瓦·拉维奥莱特 1 伊恩·麦基 1 谢恩·曼斯菲尔德 1 大卫·艾伦·麦卡利斯特 1 加文·麦克拉肯 1 Nax Paul Mendler 1 乌韦·内斯特曼 1 格钦·诺曼 1 卢克·翁 1 埃里克·奥利弗·帕奎特 1 西蒙·佩德里克斯 1 碧姬·品特卡 1 乔尔·皮诺 1 基沙夫·平加里。 1 多雷特·普龙克。 1 詹姆斯·罗素。 1 梅赫努什·萨德扎德 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 亚历山德拉·席尔瓦 1 谢尔盖·斯拉夫诺夫 1 卢茨斯特拉汉堡 1 金·泰勒 1 巴伦西亚,弗兰克·D。 1 贝诺缬氨酸 ……还有另外5位合著者 全部的 前5名系列 9 信息与计算 7 理论计算机科学 7 理论计算机科学电子笔记 5 MSCS公司。计算机科学中的数学结构 4 理论计算机科学电子论文集(EPTCS) 三 计算机科学中的逻辑方法 2 信息学报 2 数学物理中的通信 2 北欧计算机杂志 2 美国医学会杂志 2 ACM计算逻辑事务 1 国际理论物理杂志 1 信息处理信件 1 数学物理杂志 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 SIAM计算机杂志 1 新一代计算 1 国际并行程序设计杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 分布式计算 1 应用的分类结构 1 理论和数学物理进展 1 逻辑与代数程序设计杂志 1 物理学基础 1 CRM专题系列 1 计算机科学课堂讲稿 1 量子信息与计算 全部的 前5名领域 95 计算机科学(68至XX) 30 量子理论(81-XX) 26 数理逻辑与基础(03-XX) 19 总体主题;集合(00-XX) 15 概率论与随机过程(60-XX) 13 范畴理论;同调代数(18-XX) 10 阶、格、有序代数结构(06-XX) 7 相对论和引力理论(83至XX) 4 一般代数系统(08-XX) 4 信息与通信理论、电路(94-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 2 算子理论(47-XX) 2 微分几何(53-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 差分方程和函数方程(39至XX) 1 功能分析(46倍X倍) 1 一般拓扑结构(54至XX) 1 整体分析,流形分析(58至XX) 1 经典热力学,传热(80-XX) 1 天文学和天体物理学(85-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 91出版物有被引用1052次679文件 引用人▼ 年份▼ 标记马尔可夫过程的互模拟。 Zbl 1096.68103号 何塞·德斯哈奈斯;阿巴斯·埃达拉特;帕南加登,普拉卡什 122 2002 标记马尔可夫过程的度量。 Zbl 1068.68093号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 94 2004 标记马尔可夫过程。 Zbl 1190.60001号 帕南加登,普拉卡什 56 2009 标记马尔可夫系统的度量。 Zbl 0939.68081号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 45 1999 测量演算。 Zbl 1311.81076号 文森特·达诺斯;埃勒姆·卡舍菲;帕南加登,普拉卡什 35 2007 近似标记马尔可夫过程。 Zbl 1028.68091号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 34 2003 概率系统的互模拟和同余。 Zbl 1110.68083号 文森特·达诺斯;何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;帕南加登,普拉卡什 32 2006 匿名协议作为噪声信道。 Zbl 1147.68394号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 31 2008 广义相对论中时空间隔的一个领域。 Zbl 1188.83071号 凯·马丁;帕南加登,普拉卡什 27 2006 连续马尔可夫决策过程的互模拟度量。 Zbl 1253.39018号 蕨类,诺姆;帕南加登,普拉卡什;普雷库普,多伊纳 27 2011 定量代数推理。 Zbl 1391.68021号 拉杜·马达尔;帕南加登,普拉卡什;戈登·普洛金 25 2016 连续随机逻辑描述了连续时间马尔可夫过程的互模拟。 Zbl 1053.68065号 何塞·德斯哈奈斯;帕南加登,普拉卡什 25 2003 W和GHZ态的计算能力。 Zbl 1152.81703号 D’Hondt,E。;帕南加登,P。 24 2006 量子最弱的前提条件。 Zbl 1122.68058号 Ellie D'Hondt;帕南加登,普拉卡什 23 2006 Brzozowski最小化算法中的代数余代数对偶。 Zbl 1288.68174号 菲律宾邦奇;马塞洛·M·邦桑格。;Helle H.汉森。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 张量范畴中的核理想和迹理想。 Zbl 0946.18004号 萨姆森·艾布拉姆斯基;理查德·布鲁特;帕南加登,普拉卡什 21 1999 pCTL*的弱互模拟是合理且完整的。 Zbl 1012.68139号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 21 2002 计算、残差和不确定性的力量。 兹比尔0649.68019 帕南加登,普拉卡什;尤金·斯塔克。 20 1988 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 基于约束的过程计算中的空间和认知方式。 Zbl 1364.68290号 索菲亚·奈特;卡图西亚帕拉米德斯;帕南加登,普拉卡什;巴伦西亚,弗兰克·D。 15 2012 pCTL\(^*\)的弱互模拟是合理且完整的。 Zbl 1189.68080号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 14 2010 通过二元性最小化。 Zbl 1361.68157号 尼克·贝扎尼什维利;克莱门斯·库普克;帕南加登,普拉卡什 14 2012 马尔可夫过程的斯通对偶性。 Zbl 1433.06006号 德克斯特·科岑;Larsen,Kim G。;拉杜·马达尔;帕南加登,普拉卡什 14 2013 Rindler时空中的量子通信。 Zbl 1257.83003号 卡米勒·布拉德勒;帕特里克·海登;帕南加登,普拉卡什 12 2012 扩展测量演算。 Zbl 1209.68250号 文森特·达诺斯;埃勒姆·卡舍菲;帕南加登,普拉卡什;西蒙·佩德里克斯 11 2010 不确定数据流原语的表达能力。 兹伯利0754.68082 帕南加登,普拉卡什;瓦桑特·香博格 11 1992 离散量子因果动力学。 Zbl 1037.81012号 理查德·布鲁特(Richard F.Blute)。;Ivan T.伊万诺夫。;帕南加登,普拉卡什 11 2003 并发公共知识:定义异步系统的协议。 Zbl 0773.68009号 帕南加登,普拉卡什;金·泰勒 10 1992 通过平均值逼近马尔可夫过程。 兹比尔1248.68322 菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 10 2009 加权自动机的标准形式及其在近似最小化中的应用。 Zbl 1401.68145号 博尔贾·巴勒;帕南加登,普拉卡什;普雷库普,多伊纳 10 2015 数据流网络的稳定性和序列性。 Zbl 0766.68090号 帕南加登,普拉卡什;瓦桑特·香博格;尤金·斯塔克。 9 1990 极限:马尔可夫过程的近似推理。 Zbl 1365.68344号 金·古德斯特兰·拉森;拉杜·马达尔;帕南加登,普拉卡什 9 2012 通过平均值逼近马尔可夫过程。 兹比尔1295.68167 菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 9 2014 并发约束编程的逻辑视图。 Zbl 0839.68020号 Nax P.门德勒。;帕南加登,普拉卡什;P.J.斯科特。;西利,R.A.G。 8 1995 量子计算的唯一途径。 Zbl 1133.68342号 文森特·达诺斯;埃勒姆·卡舍菲;帕南加登,普拉卡什 8 2006 用任意子进行量子计算的分类表示。 Zbl 1218.81036号 帕南加登,P。;爱沙尼亚·帕奎特。O。 8 2011 并发理论家的度量和概率。 Zbl 0956.68058号 帕南加登,P。 7 2001 条件期望和标记马尔可夫过程的近似。 Zbl 1274.68265号 文森特·达诺斯;何塞·德斯哈奈斯;帕南加登,普拉卡什 6 2003 公平的反应式编程。 Zbl 1284.68127号 安德鲁·凯夫;弗朗西斯科·费雷拉;帕南加登,普拉卡什;碧姬·品特卡 6 2014 匿名协议作为噪声信道。 Zbl 1211.94025号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 6 2007 类型理论和并发。 兹比尔0678.68017 兰斯·克莱维兰;帕南加登,普拉卡什 6 1988 马尔科夫逻辑的强完备性。 兹比尔1510.03013 德克斯特·科岑;拉杜·马达尔;帕南加登,普拉卡什 6 2013 线性逻辑中指数型的全纯模型。 Zbl 1509.18020号 R.F.布鲁特。;帕南加登,普拉卡什;西利,R.A.G。 6 1994 关于数量代数的公理化。 Zbl 1452.08005号 拉杜·马达尔;帕南加登,普拉卡什;戈登·普洛金 6 2017 实时概率过程的近似推理。 Zbl 1126.68055号 葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 5 2006 非确定性数据流的关系模型。 Zbl 0940.68078号 托马斯·希尔德布兰特;帕南加登,普拉卡什;格林·温斯克尔 5 1998 非确定性数据流的关系模型。 Zbl 1093.68063号 托马斯·希尔德布兰特。;帕纳加登,普拉卡什;格林·温斯克尔 5 2004 概率模态逻辑的表达。 Zbl 1442.68137号 纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 5 2017 概率模态逻辑的表达:渐进方法。 Zbl 1422.68167号 佛罗伦萨克莱尔克;纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 4 2019 包含不确定运算符的网络语义。 Zbl 0565.68004号 罗伯特·M·凯勒。;帕南加登,普拉卡什 4 1985 量子商店的游戏语义。 Zbl 1286.81044号 扬尼克·德尔贝克;帕纳加登,普拉卡什 4 2008 匕首类别和正式分布。 Zbl 1253.81006号 布鲁特,R。;帕南加登,P。 4 2011 加权自动机的互模拟度量。 Zbl 1442.68080号 博尔贾·巴勒;帕斯卡尔·古尔多;帕南加登,普拉卡什 4 2017 马尔可夫过程的代数理论。 Zbl 1453.08002号 乔治·巴奇;拉杜·马达尔;帕南加登,普拉卡什;戈登·普洛金 4 2018 高阶过程演算的域理论模型。 Zbl 0766.68089号 拉德哈·贾加迪桑;帕南加登,普拉卡什 三 1990 弯曲时空中的正负频率分解。 Zbl 0448.58028号 帕南加登,普拉卡什 三 1979 Feller-Dynkin过程的相互模拟。 Zbl 07515954号 陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 三 2019 克尔几何中光子极化的精确表达式。 Zbl 1309.83055号 阿努萨尔·法鲁基;尼基·卡姆兰;帕南加登,普拉卡什 三 2014 深度推理和概率相干空间。 Zbl 1260.03117号 理查德·布鲁特;帕南加登,普拉卡什;谢尔盖·斯拉夫诺夫 三 2012 标准Borel空间上相对熵的分类表征。 Zbl 1525.60011号 尼古拉斯·加涅;帕南加登,普拉卡什 三 2018 量子进化和纠缠的逻辑基础。 Zbl 1286.81013号 理查德·布鲁特(Richard F.Blute)。;阿莱西奥·古列尔米;Ivan T.伊万诺夫。;帕南加登,普拉卡什;卢茨斯特拉汉堡 三 2014 验证测量值的技术。 Zbl 1286.06011号 凯·马丁;帕南加登,普拉卡什 三 2008 基于分布式测量的量子计算。 Zbl 1277.68174号 文森特·达诺斯;Ellie D'Hondt;埃勒姆·卡舍菲;帕南加登,普拉卡什 三 2007 领域理论和广义相对论。 Zbl 1218.83016号 马丁,K。;帕南加登,P。 三 2011 量子交替:前景和问题。 Zbl 1477.81026号 科斯汀·伯德斯库;帕南加登,普拉卡什 三 2015 物理学和计算中的因果关系。 Zbl 1360.68634号 帕南加登,普拉卡什 三 2014 马尔可夫过程的两类。 Zbl 1431.18013号 佛罗伦萨克莱尔克;哈里森·汉弗莱;帕南加登,普拉卡什 2 2017 抽象解释和不确定性。 Zbl 0565.68005号 帕南加登,普拉卡什 2 1985 因果结构和度量的时空几何。 Zbl 1260.83073号 凯·马丁;帕南加登,普拉卡什 2 2012 计算、逻辑、游戏和量子基础。萨姆森·阿布拉姆斯基的许多方面。在萨姆森·阿布拉姆斯基60岁生日之际献给他的散文。 Zbl 1263.68015号 2 2013 带有逻辑变量的函数语言的完全抽象语义。 Zbl 0716.68061号 拉德哈·贾加迪桑;帕南加登,普拉卡什;基沙夫·平加里 2 1989 再次逼近标记马尔可夫过程! 兹比尔1239.68050 菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 2 2009 不确定原语在异步计算中的表达能力。 Zbl 1354.68080号 帕南加登,普拉卡什 2 1995 在不断变化的世界中学习,代数模态逻辑方法。 Zbl 1308.68111号 帕南加登,普拉卡什;梅赫努什·萨德扎德 2 2011 专题:空间表示:离散与连续计算模型。研讨会论文,Schloss Dagstuhl,德国,2004年8月。 Zbl 1125.68312号 2 2006 麦卡锡的amb无法实现公平合并。 Zbl 0667.68035号 帕纳加登,普拉卡什;瓦桑特·香博格 2 1988 对连续时间马尔可夫过程中的行为等效性进行分类。 Zbl 07516371号 陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 1 2020 马尔可夫核的范畴。 兹伯利0920.68067 帕南加登,普拉卡什 1 1998 将认知逻辑与轩尼诗-米尔纳逻辑相结合。 兹比尔1354.68255 索菲亚·奈特;拉杜·马达尔;帕南加登,普拉卡什 1 2012 公平和信号的不可表达性。 Zbl 0801.68112号 大卫·麦卡利斯特;帕南加登,普拉卡什;瓦桑特·香博格 1 1993 关于量子知识的推理。 兹比尔1172.68622 Ellie D'Hondt;帕南加登,普拉卡什 1 2005 并发过程的认知策略和游戏。 Zbl 1206.68211号 康斯坦蒂诺斯·查齐科科拉基斯;索菲亚·奈特;帕南加登,普拉卡什 1 2009 概率互模拟。 Zbl 1285.68109号 帕南加登,普拉卡什 1 2012 逻辑和计算的双重性(特邀论文)。 兹比尔1433.06005 帕南加登,普拉卡什 1 2013 实加权自动机的双模拟度量和范数。 Zbl 1483.68154号 博尔贾·巴勒;帕斯卡尔·古尔多;帕南加登,普拉卡什 1 2022 奇异值自动机和近似最小化。 Zbl 1434.68227号 博尔贾·巴勒;帕南加登,普拉卡什;普雷库普,多伊纳 1 2019 范畴理论中一种机械辅助的构造性证明。 Zbl 1509.68293号 詹姆斯·阿尔图彻。;帕南加登,普拉卡什 1 1990 无界不确定性的分类理论语义。 Zbl 1509.68052号 帕南加登,普拉卡什;詹姆斯·罗素。 1 1990 加权自动机是紧凑的,可以主动学习。 Zbl 1516.68046号 阿特姆·卡兹纳切夫;帕南加登,普拉卡什 1 2021 随机(lambda)演算的布尔值语义。 Zbl 1453.03006号 乔治·巴奇;罗伯特·福伯;德克斯特·科岑;拉杜·马达尔;帕南加登,普拉卡什;斯科特,达纳 1 2018 Markov过程的无限制Stone对偶。 Zbl 1452.06009号 罗伯特·福伯;德克斯特·科岑;金·拉森;拉杜·马达尔;帕南加登,普拉卡什 1 2017 实加权自动机的双模拟度量和范数。 Zbl 1483.68154号 博尔贾·巴勒;帕斯卡尔·古尔多;帕南加登,普拉卡什 1 2022 加权自动机是紧凑的,可以主动学习。 Zbl 1516.68046号 阿特姆·卡兹纳切夫;帕南加登,普拉卡什 1 2021 对连续时间马尔可夫过程中的行为等效性进行分类。 Zbl 07516371号 陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 1 2020 概率模态逻辑的表达:渐进方法。 Zbl 1422.68167号 佛罗伦萨克莱尔克;纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 4 2019 Feller-Dynkin过程的相互模拟。 Zbl 07515954号 陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 三 2019 奇异值自动机和近似最小化。 Zbl 1434.68227号 博尔贾·巴勒;帕南加登,普拉卡什;普雷库普,多伊纳 1 2019 马尔可夫过程的代数理论。 Zbl 1453.08002号 乔治·巴奇;拉杜·马达尔;帕南加登,普拉卡什;戈登·普洛金 4 2018 标准Borel空间上相对熵的分类表征。 Zbl 1525.60011号 尼古拉斯·加涅;帕南加登,普拉卡什 三 2018 随机(lambda)演算的布尔值语义。 Zbl 1453.03006号 乔治·巴奇;罗伯特·福伯;德克斯特·科岑;拉杜·马达尔;帕南加登,普拉卡什;斯科特,达纳 1 2018 关于数量代数的公理化。 Zbl 1452.08005号 拉杜·马达尔;帕南加登,普拉卡什;戈登·普洛金 6 2017 概率模态逻辑的表达。 Zbl 1442.68137号 纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 5 2017 加权自动机的互模拟度量。 Zbl 1442.68080号 博尔贾·巴勒;帕斯卡尔·古尔多;帕南加登,普拉卡什 4 2017 马尔可夫过程的两类。 Zbl 1431.18013号 佛罗伦萨克莱尔克;哈里森·汉弗莱;帕南加登,普拉卡什 2 2017 Markov过程的无限制Stone对偶。 Zbl 1452.06009号 罗伯特·福伯;德克斯特·科岑;金·拉森;拉杜·马达尔;帕南加登,普拉卡什 1 2017 定量代数推理。 Zbl 1391.68021号 拉杜·马达尔;帕南加登,普拉卡什;戈登·普洛金 25 2016 加权自动机的标准形式及其在近似最小化中的应用。 Zbl 1401.68145号 博尔贾·巴勒;帕南加登,普拉卡什;普雷库普,多伊纳 10 2015 量子交替:前景和问题。 Zbl 1477.81026号 科斯汀·伯德斯库;帕南加登,普拉卡什 三 2015 Brzozowski最小化算法中的代数余代数对偶。 Zbl 1288.68174号 菲律宾邦奇;马塞洛·M·邦桑格。;Helle H.汉森。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 通过平均值逼近马尔可夫过程。 兹比尔1295.68167 菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 9 2014 公平的反应式编程。 Zbl 1284.68127号 安德鲁·凯夫;弗朗西斯科·费雷拉;帕南加登,普拉卡什;碧姬·品特卡 6 2014 克尔几何中光子极化的精确表达式。 Zbl 1309.83055号 阿努萨尔·法鲁基;尼基·卡姆兰;帕南加登,普拉卡什 三 2014 量子进化和纠缠的逻辑基础。 Zbl 1286.81013号 理查德·布鲁特(Richard F.Blute)。;阿莱西奥·古列尔米;Ivan T.伊万诺夫。;帕南加登,普拉卡什;卢茨斯特拉汉堡 三 2014 物理学和计算中的因果关系。 Zbl 1360.68634号 帕南加登,普拉卡什 三 2014 马尔可夫过程的斯通对偶性。 Zbl 1433.06006号 德克斯特·科岑;Larsen,Kim G。;拉杜·马达尔;帕南加登,普拉卡什 14 2013 马尔科夫逻辑的强完备性。 兹比尔1510.03013 德克斯特·科岑;拉杜·马达尔;帕南加登,普拉卡什 6 2013 计算、逻辑、游戏和量子基础。萨姆森·阿布拉姆斯基的许多方面。在萨姆森·阿布拉姆斯基60岁生日之际献给他的散文。 Zbl 1263.68015号 2 2013 逻辑和计算的双重性(特邀论文)。 兹比尔1433.06005 帕南加登,普拉卡什 1 2013 基于约束的过程计算中的空间和认知方式。 Zbl 1364.68290号 索菲亚·奈特;卡图西亚帕拉米德斯;帕南加登,普拉卡什;巴伦西亚,弗兰克·D。 15 2012 通过二元性最小化。 Zbl 1361.68157号 尼克·贝扎尼什维利;克莱门斯·库普克;帕南加登,普拉卡什 14 2012 Rindler时空中的量子通信。 Zbl 1257.83003号 卡米勒·布拉德勒;帕特里克·海登;帕南加登,普拉卡什 12 2012 极限:马尔可夫过程的近似推理。 Zbl 1365.68344号 金·古德斯特兰·拉森;拉杜·马达尔;帕南加登,普拉卡什 9 2012 深度推理和概率相干空间。 Zbl 1260.03117号 理查德·布鲁特;帕南加登,普拉卡什;谢尔盖·斯拉夫诺夫 三 2012 因果结构和度量的时空几何。 Zbl 1260.83073号 凯·马丁;帕南加登,普拉卡什 2 2012 将认知逻辑与轩尼诗-米尔纳逻辑相结合。 兹比尔1354.68255 索菲亚·奈特;拉杜·马达尔;帕南加登,普拉卡什 1 2012 概率互模拟。 Zbl 1285.68109号 帕南加登,普拉卡什 1 2012 连续马尔可夫决策过程的互模拟度量。 Zbl 1253.39018号 蕨类,诺姆;帕南加登,普拉卡什;普雷库普,多伊纳 27 2011 用任意子进行量子计算的分类表示。 Zbl 1218.81036号 帕南加登,P。;爱沙尼亚·帕奎特。O。 8 2011 匕首类别和正式分布。 Zbl 1253.81006号 布鲁特,R。;帕南加登,P。 4 2011 领域理论和广义相对论。 Zbl 1218.83016号 马丁,K。;帕南加登,P。 三 2011 在不断变化的世界中学习,代数模态逻辑方法。 Zbl 1308.68111号 帕南加登,普拉卡什;梅赫努什·萨德扎德 2 2011 pCTL\(^*\)的弱互模拟是合理且完整的。 Zbl 1189.68080号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 14 2010 扩展测量演算。 Zbl 1209.68250号 文森特·达诺斯;埃勒姆·卡舍菲;帕南加登,普拉卡什;西蒙·佩德里克斯 11 2010 标记马尔可夫过程。 Zbl 1190.60001号 帕南加登,普拉卡什 56 2009 通过平均值逼近马尔可夫过程。 兹比尔1248.68322 菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 10 2009 再次逼近标记马尔可夫过程! 兹比尔1239.68050 菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 2 2009 并发过程的认知策略和游戏。 Zbl 1206.68211号 康斯坦蒂诺斯·查齐科科拉基斯;索菲亚·奈特;帕南加登,普拉卡什 1 2009 匿名协议作为噪声信道。 Zbl 1147.68394号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 31 2008 量子商店的游戏语义。 Zbl 1286.81044号 扬尼克·德尔贝克;帕纳加登,普拉卡什 4 2008 验证测量值的技术。 Zbl 1286.06011号 凯·马丁;帕南加登,普拉卡什 三 2008 测量演算。 Zbl 1311.81076号 文森特·达诺斯;埃勒姆·卡舍菲;帕南加登,普拉卡什 35 2007 匿名协议作为噪声信道。 Zbl 1211.94025号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 6 2007 基于分布式测量的量子计算。 Zbl 1277.68174号 文森特·达诺斯;D’Ellie Hondt;埃勒姆·卡舍菲;帕南加登,普拉卡什 三 2007 概率系统的互模拟和同余。 Zbl 1110.68083号 文森特·达诺斯;何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;帕南加登,普拉卡什 32 2006 广义相对论中时空间隔的一个领域。 Zbl 1188.83071号 凯·马丁;帕南加登,普拉卡什 27 2006 W和GHZ态的计算能力。 Zbl 1152.81703号 D’E.洪特。;帕南加登,P。 24 2006 量子最弱的前提条件。 Zbl 1122.68058号 D’Ellie Hondt;帕南加登,普拉卡什 23 2006 量子计算的唯一途径。 Zbl 1133.68342号 文森特·达诺斯;埃勒姆·卡舍菲;帕南加登,普拉卡什 8 2006 实时概率过程的近似推理。 Zbl 1126.68055号 葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 5 2006 专题:空间表示:离散与连续计算模型。研讨会论文,Schloss Dagstuhl,德国,2004年8月。 Zbl 1125.68312号 2 2006 关于量子知识的推理。 兹比尔1172.68622 D’Ellie Hondt;帕南加登,普拉卡什 1 2005 标记马尔可夫过程的度量。 Zbl 1068.68093号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 94 2004 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 20 2004 非确定性数据流的关系模型。 Zbl 1093.68063号 托马斯·希尔德布兰特。;帕纳加登,普拉卡什;格林·温斯克尔 5 2004 近似标记马尔可夫过程。 Zbl 1028.68091号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 34 2003 连续随机逻辑描述了连续时间马尔可夫过程的互模拟。 Zbl 1053.68065号 何塞·德斯哈奈斯;帕南加登,普拉卡什 25 2003 离散量子因果动力学。 Zbl 1037.81012号 理查德·布鲁特(Richard F.Blute)。;Ivan T.伊万诺夫。;帕南加登,普拉卡什 11 2003 条件期望和标记马尔可夫过程的近似。 Zbl 1274.68265号 文森特·达诺斯;何塞·德斯哈奈斯;帕南加登,普拉卡什 6 2003 标记马尔可夫过程的互模拟。 Zbl 1096.68103号 何塞·德斯哈奈斯;阿巴斯·埃达拉特;帕南加登,普拉卡什 122 2002 pCTL*的弱互模拟是合理且完整的。 Zbl 1012.68139号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 21 2002 并发理论家的度量和概率。 Zbl 0956.68058号 帕南加登,P。 7 2001 标记马尔可夫系统的度量。 Zbl 0939.68081号 何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 45 1999 张量范畴中的核理想和迹理想。 Zbl 0946.18004号 萨姆森·艾布拉姆斯基;理查德·布鲁特;帕南加登,普拉卡什 21 1999 非确定性数据流的关系模型。 Zbl 0940.68078号 托马斯·希尔德布兰特;帕南加登,普拉卡什;格林·温斯克尔 5 1998 马尔可夫核的范畴。 兹伯利0920.68067 帕南加登,普拉卡什 1 1998 并发约束编程的逻辑视图。 Zbl 0839.68020号 Nax P.门德勒。;帕南加登,普拉卡什;P.J.斯科特。;西利,R.A.G。 8 1995 不确定原语在异步计算中的表达能力。 Zbl 1354.68080号 帕南加登,普拉卡什 2 1995 线性逻辑中指数型的全纯模型。 Zbl 1509.18020号 R.F.布鲁特。;帕南加登,普拉卡什;西利,R.A.G。 6 1994 公平和信号的不可表达性。 Zbl 0801.68112号 大卫·麦卡利斯特;帕南加登,普拉卡什;瓦桑特·香博格 1 1993 不确定数据流原语的表达能力。 兹伯利0754.68082 帕南加登,普拉卡什;瓦桑特·香博格 11 1992 并发公共知识:定义异步系统的协议。 Zbl 0773.68009号 帕南加登,普拉卡什;金·泰勒 10 1992 数据流网络的稳定性和序列性。 Zbl 0766.68090号 帕南加登,普拉卡什;瓦桑特·香博格;尤金·斯塔克。 9 1990 高阶过程演算的域理论模型。 Zbl 0766.68089号 拉德哈·贾加迪桑;帕南加登,普拉卡什 三 1990 范畴理论中一种机械辅助的构造性证明。 Zbl 1509.68293号 詹姆斯·阿尔图彻。;帕南加登,普拉卡什 1 1990 无界不确定性的分类理论语义。 Zbl 1509.68052号 帕南加登,普拉卡什;詹姆斯·罗素。 1 1990 带有逻辑变量的函数语言的完全抽象语义。 Zbl 0716.68061号 拉德哈·贾加迪桑;帕南加登,普拉卡什;基沙夫·平加里 2 1989 计算、残差和不确定性的力量。 兹比尔0649.68019 帕南加登,普拉卡什;尤金·斯塔克。 20 1988 类型理论和并发。 兹比尔0678.68017 兰斯·克莱维兰;帕南加登,普拉卡什 6 1988 麦卡锡的amb无法实现公平合并。 Zbl 0667.68035号 帕纳加登,普拉卡什;瓦桑特·香博格 2 1988 包含不确定运算符的网络语义。 Zbl 0565.68004号 罗伯特·M·凯勒。;帕南加登,普拉卡什 4 1985 抽象解释和不确定性。 Zbl 0565.68005号 帕南加登,普拉卡什 2 1985 弯曲时空中的正负频率分解。 Zbl 0448.58028号 帕南加登,普拉卡什 三 1979 所有引用出版物 排名前五的出版物 全部的 前5名899位作者引用 38 帕南加登,普拉卡什 23 金·古德斯特兰·拉森 17 拉杜·马达尔 16 Ernst-Erich Doberkat 15 巴特·雅各布斯 15 卡图西亚帕拉米德斯 15 蒂妮,西蒙 14 埃勒姆·卡舍菲 13 文森特·达诺斯 13 弗兰克·范·布鲁格尔 11 乔治·巴奇 10 巴伦西亚,弗兰克·D。 9 拜尔,克里斯特尔 9 康斯坦蒂诺斯·查齐科科拉基斯 8 乔瓦尼·巴奇 8 瓦伦蒂娜·卡斯蒂格利奥尼 8 乌戈·达尔拉戈 8 何塞·德斯哈奈斯 8 霍尔格·赫尔曼斯 8 Joost-Pieter卡托恩 8 Legay、Axel 8 卡洛斯·奥拉特 8 西蒙·佩德里克斯 8 卢茨·施罗德 8 英明生 7 亚历山德罗·阿巴特 7 邓玉欣 7 克里斯·希恩 7 拉诺特、拉格罗 7 米歇尔·洛雷蒂 7 斯特凡·米利厄斯 7 卡米洛·鲁埃达 7 詹姆斯·沃雷尔。 7 张丽君 6 马可·贝尔纳多 6 乌里法伦伯格 6 冯、袁 6 米歇尔·古兹曼 6 奥斯曼·哈桑 6 托马斯·亨辛格(Thomas A.Henzinger)。 6 拉德哈·贾加迪桑 6 索菲亚·奈特 6 简·J·M·M·鲁顿。 6 索菲涅·塔哈尔 5 阿达梅克,吉安尼 5 博尔贾·巴勒 5 理查德·布鲁特(Richard F.Blute)。 5 米歇尔·博雷尔 5 曹永志 5 佛罗伦萨克莱尔克 5 鲍勃·科克 5 佩德罗·鲁宾·达吉尼奥 5 Ellie D'Hondt 5 曼弗雷德·德罗斯特 5 莫雷诺法拉斯基 5 伊利亚斯·加尼尔 5 Daniel E.Gebler。 5 葡萄藤古普塔 5 凯·马丁 5 Petrisan、Daniela Luan 5 亚历山德拉·席尔瓦 5 唐启毅 5 格林·温斯克尔 5 托尔斯滕·维曼 4 马里奥·阿尔维姆。 4 Nathalie Bertrand 4 马塞洛·玛丽亚·邦桑格 4 卢卡·卡德利 4 弗雷德里克·达尔奎斯特 4 洛科·德尼古拉 4 毛里齐奥·加布里埃利 4 阿希姆·荣格 4 Marta Z.Kwiatkowska。 4 弗朗索瓦·拉维奥莱特 4 帕斯夸尔马拉卡里亚 4 马里诺·米库兰 4 Mislove,Michael W。 4 内维斯、雷纳托 4 伊莱恩·皮门特尔 4 圣地亚哥金特罗 4 约书亚·萨克 4 佩德罗·桑切斯·特拉夫 4 谢尔盖·斯拉夫诺夫 4 尤金·斯塔克。 4 萨姆·斯塔顿 4 威尔德,保罗 三 萨姆森·艾布拉姆斯基 三 苏珊娜·安多瓦 三 阿道夫芭蕾舞团 三 Jort Martinus Bergfeld 三 法布里西奥·比昂迪 三 安德烈亚斯·拉斐尔·布拉斯 三 菲律宾邦奇 三 费利佩·布拉乔 三 克里斯特尔·布劳恩 三 Černý,帕沃尔 三 陈丽安 三 安里克·科斯梅·洛佩斯 三 西尔维亚·克拉法 三 尼尔·德·博德拉普 …还有799位作者 全部的 前5名90篇连载文章中引用 90 理论计算机科学 49 信息与计算 36 MSCS公司。计算机科学中的数学结构 33 计算机科学中的逻辑方法 22 量子信息处理 19 程序设计中的逻辑和代数方法杂志 9 信息学报 9 计算机与系统科学杂志 9 计算的形式方面 8 纯逻辑与应用逻辑年鉴 7 信息处理信件 7 系统设计中的形式化方法 6 新物理学杂志 5 国际理论物理杂志 5 纯粹与应用代数杂志 5 物理学报A:数学与理论 4 数学物理中的通信 4 Automatica公司 4 分布式计算 4 应用的分类结构 4 高能物理杂志 4 应用逻辑杂志 三 人工智能 三 经典引力和量子引力 三 新一代计算 三 国际近似推理杂志 三 离散事件动态系统 三 范畴的理论与应用 三 软计算 三 逻辑与代数程序设计杂志 三 机器学习研究杂志 三 国际量子信息杂志 三 物理学基础 2 数学物理杂志 2 物理快报。A类 2 模糊集与系统 2 信息科学 2 自动推理杂志 2 机器学习 2 物理学年报 2 美国医学会杂志 2 引力与宇宙学 2 自然计算 2 ACM计算逻辑事务 2 泛逻辑 1 计算机与数学及其应用 1 离散数学 1 广义相对论与引力 1 国际系统科学杂志 1 数学物理报告 1 数学学报 1 数学进展 1 数学心理学杂志 1 数论杂志 1 符号逻辑杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 SIAM控制与优化杂志 1 Studia Logica公司 1 逻辑科公报 1 拓扑及其应用 1 计算机程序设计科学 1 电路、系统和信号处理 1 全球分析与几何年鉴 1 数学进展(北京) 1 生理学D 1 国际并行程序设计杂志 1 运筹学年鉴 1 数学与应用杂志。Neuvième Série 1 线性代数及应用 1 凸分析杂志 1 函数编程杂志 1 人工智能研究杂志 1 约束条件 1 数学化学杂志 1 欧洲控制杂志 1 数学物理、分析和几何 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 欧洲数学学会期刊 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 相对论生活评论 1 逻辑程序设计理论与实践 1 动力系统与几何理论杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 非交换几何杂志 1 非线性分析。混合动力系统 1 符号逻辑述评 1 科学史与哲学研究。第二部分近代物理史与哲学研究 1 南非荷兰语Matematika 1 计算机科学前沿 全部的 前5名43个领域被引用 502 计算机科学(68至XX) 139 数理逻辑与基础(03-XX) 131 量子理论(81-XX) 99 范畴理论;同调代数(18-XX) 53 概率论与随机过程(60-XX) 37 信息与通信理论、电路(94-XX) 27 阶、格、有序代数结构(06-XX) 27 相对论和引力理论(83至XX) 22 博弈论、经济学、金融和其他社会和行为科学(91-XX) 20 系统论;控制(93-XX) 17 一般拓扑结构(54至XX) 17 运筹学、数学规划(90-XX) 15 功能分析(46倍X倍) 13 统计学(62-XX) 11 微分几何(53-XX) 8 生物学和其他自然科学(92-XX) 7 测量和集成(28-XX) 6 一般代数系统(08-XX) 5 动力系统和遍历理论(37至XX) 5 算子理论(47-XX) 4 组合数学(05-XX) 4 结合环与代数(16-XX) 4 拓扑群、李群(22日至XX日) 三 常微分方程(34-XX) 三 代数拓扑(55-XX) 三 粒子和系统力学(70-XX) 三 统计力学,物质结构(82-XX) 2 总体主题;集合(00-XX) 2 代数几何(14-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 群论与推广(20-XX) 2 数值分析(65-XX) 2 光学、电磁理论(78-XX) 2 天文学和天体物理学(85-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 \(K\)理论(19-XX) 1 实际功能(26年X月X日) 1 变分法与最优控制;最优化(49至XX) 1 几何图形(51至XX) 1 凸和离散几何(52至XX) 1 流形和细胞复合体(57至XX) 1 整体分析,流形分析(58至XX) 按年份列出的引文