×
作者ID: 帕南加登.普拉卡什“帕南加登,普拉卡什”最近发表的zbMATH文章
发布日期: 帕南加登,普拉卡什;帕南加登,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位合著者

按年份列出的出版物

zbMATH Open中包含的引文

91出版物有被引用1052679文件 引用人 年份
标记马尔可夫过程的互模拟。 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)

按年份列出的引文