默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

帕里托什·K·潘迪亚

>主页 >珀森斯

人员信息

附属： 印度孟买塔塔基础研究所

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/KarmakarWKP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/KarmakarWKP23
戈皮纳特·卡尔马卡尔,阿莫尔·瓦坎卡,阿什图什·卡布拉,帕里托什·K·潘迪亚:
安全关键系统的开发——架构和软件。施普林格 2023，国际标准图书编号978-3-031-27900-3，第1-326页
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/KrishnaMMP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/KrishnaMMP23
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,小曼纽尔·马佐。,帕里托什·K·潘迪亚:
从不准时到不相邻：用量词探索时间时序逻辑的可判定性。形式方面计算。 35(2):9:1-9:50(2023)
[公元50年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/KrishnaMMP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KrishnaMMP23
桑卡拉·纳拉亚南·克里希纳,Khushraj Nanik Madnani公司,鲁帕克·马朱姆达尔,帕里托什·K·潘迪亚:
具有单侧间隔的多变量TPTL的满意度检验是PSPACE完全的。 CONCUR公司 2023:23:1-23:18
[i17]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2309-00386
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-00386
桑卡拉·纳拉亚南·克里希纳,Khushraj Nanik Madnani公司,鲁帕克·马朱姆达尔,帕里托什·K·潘迪亚:
具有单侧间隔的多变量TPTL的满意度检验是PSPACE完全的。 CoRR公司 abs/2309.00386(2023)
2022
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/PandyaW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/PandyaW22
帕里托什·K·潘迪亚,阿莫尔·瓦坎卡:
运行时强制屏蔽的规范和最佳反应合成。 Inf.计算。 285(零件):104865(2022)
2021
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KrishnaMMP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KrishnaMMP21
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,小曼纽尔·马佐。,帕里托什·K·潘迪亚:
用冻结量词推广时间时序逻辑的非准时性。 FM公司 2021:182-199
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-09534
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-09534
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,小曼纽尔·马佐。,帕里托什·K·潘迪亚:
用冻结量词推广时间时序逻辑的非时间性。 CoRR公司 abs/2105.09534(2021)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2107-12986
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-12986
桑卡拉·纳拉亚南·克里希纳,Khushraj Nanik Madnani公司,小曼纽尔·马佐。,帕里托什·K·潘迪亚:
逻辑满足双向单时钟交替定时自动机。 CoRR公司 abs/2107.12986(2021)
2020
[j8]
- 看法
  - 电子版@episciences.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/lmcs/KrebsLPS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KrebsLPS20
安德烈亚斯·克雷布斯,卡马尔·洛达亚,帕里托什·K·潘迪亚,霍华德·斯特劳宾:
具有某些中间关系的二元逻辑：表达性、可满足性和隶属度。日志。方法计算。科学。 16(三)(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/PandyaW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/PandyaW19（网址：https://dblp.org/rec/conf/memocode/PandyaW19）
帕里托什·K·潘迪亚,阿莫尔·瓦坎卡:
鲁棒控制器的逻辑规范和统一综合。记忆码 2019:15:1-15:11
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/WakankarPM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/WakankarPM19
阿莫尔·瓦坎卡,帕里托什·K·潘迪亚,拉杰·莫汉·马特普拉克尔:
DCSynth：具有软需求的引导反应合成。 VSTTE公司 2019:124-142
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08541
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08541
帕里托什·K·潘迪亚,阿莫尔·瓦坎卡:
实时增强屏蔽的规范和最佳反应合成。甘道夫 2019:91-106
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-05905
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-05905
安德烈亚斯·克雷布斯,卡马尔·洛达亚,帕里托什·K·潘迪亚,霍华德·斯特劳宾:
具有某些中间关系的二元逻辑：表达性、可满足性和隶属度。 CoRR公司 abs/1902.05905(2019)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1903-03991
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1903-03991
阿莫尔·瓦坎卡,帕里托什·K·潘迪亚,拉杰·莫汉·马特普拉克尔:
DCSYNTH：具有软需求的引导反应合成工具。 CoRR公司 abs/1903.03991(2019)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-11157
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-11157
帕里托什·K·潘迪亚,阿莫尔·瓦坎卡:
鲁棒控制器的规范和反应综合。 CoRR公司 abs/1905.11157(2019)
2018
[c45]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/KrishnaMP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KrishnaMP18
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,帕里托什·K·潘迪亚:
逻辑满足1时钟交替定时自动机。 CONCUR公司 2018:39:1-39:17
[公元44年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KrebsLPS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KrebsLPS18
安德烈亚斯·克雷布斯,卡马尔·洛达亚,帕里托什·K·潘迪亚,霍华德·斯特劳宾:
具有Between关系的二元逻辑的代数决策过程。 CSL公司 2018:28:1-28:17
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/fsttcs/2018年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/2018
古力,帕里托什·K·潘迪亚:
第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11日至13日，印度艾哈迈达巴德，FSTTCS 2018。 LIPIcs公司122,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2018，国际标准图书编号978-3-95977-093-4 [目录]
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-02514
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-02514
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,帕里托什·K·潘迪亚:
1时钟ATA的Büchi-Kamp定理。 CoRR公司 abs/1802.02514(2018)
2017
[公元43年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KrishnaMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KrishnaMP17
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,帕里托什·K·潘迪亚:
使度量时态逻辑合理化。 MFCS公司 2017:77:1-77:14
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/MatteplackelPW17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/MatteplackelPW17
拉杰·莫汉·马特普拉克尔,帕里托什·K·潘迪亚,阿莫尔·瓦坎卡:
离散时间微积分中时序图要求的形式化。 SEFM公司 2017:253-268
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/LodayaP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LodayaP17
卡马尔·洛达亚,帕里托什·K·潘迪亚:
确定性时间逻辑和区间约束。 ICLA的M4M 2017:23-40
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KrishnaMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/KrishnaMP17
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,帕里托什·K·潘迪亚:
使度量时态逻辑合理化。 CoRR公司 abs/1705.01501(2017)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/MatteplackelPW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MatteplackelPW17
拉杰·莫汉·马特普拉克尔,帕里托什·K·潘迪亚,阿莫尔·瓦坎卡:
离散时间微积分中时序图要求的形式化。 CoRR公司 abs/1705.04510(2017)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1711-01823
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-01823
阿莫尔·瓦坎卡,帕里托什·K·潘迪亚,拉杰·莫汉·马特普拉克尔:
DCSYNTH：具有鲁棒控制器和屏蔽合成软需求的引导反应合成。 CoRR公司 abs/1711.01823(2017)
2016
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/KrishnaMP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/KrishnaMP16
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,帕里托什·K·潘迪亚:
带计数的度量时态逻辑。 FoSSaCS公司 2016:335-352
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KrebsLPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KrebsLPS16
安德烈亚斯·克雷布斯,卡马尔·洛达亚,帕里托什·K·潘迪亚,霍华德·斯特劳宾:
具有Between关系的双变量逻辑。低收入国家 2016:106-115
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KrebsLPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KrebsLPS16
安德烈亚斯·克雷布斯,卡马尔·洛达亚,帕里托什·K·潘迪亚,霍华德·斯特劳宾:
带Between谓词的双变量逻辑。 CoRR公司 abs/1603.05625(2016)
2015
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/MadnaniKP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MadnaniKP15
库什拉伊·马德纳尼,桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
带计数的度量时态逻辑。 CoRR公司 abs/1512.09032(2015)
2014
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/MadnaniKP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/MadnaniKP14
库什拉伊·马德纳尼,桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
MTL和TPTL在时间词上的一元片段。 ICTAC公司 2014:333-350
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/MadnaniKP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/MadnaniKP14
库什拉伊·马德纳尼,桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
部分准时度量时间逻辑是可决定的。时间 2014:174-183
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/PandyaS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PandyaS14
帕里托什·K·潘迪亚,西莫尼·沙阿:
UL的确定性逻辑。 CoRR公司 abs/1401.2714(2014)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/MadnaniKP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MadnaniKP14
库什拉伊·马德纳尼,桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
部分准时度量时间逻辑是可决定的。 CoRR公司 abs/1404.6965(2014)
2013
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/PandyaS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/PandyaS13
帕里托什·K·潘迪亚,西莫尼·沙阿:
UL的确定性逻辑。 ICTAC公司 2013:301-318
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1305-3204
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1305-3204
帕里托什·K·潘迪亚,西莫尼·沙阿:
度量区间时态逻辑的一元片段：有界与下限约束（完整版）。 CoRR公司 abs/1305.3204(2013)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1305-6137
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1305-6137
库什拉伊·马德纳尼,桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
度量时态逻辑某些片断的可判定性和复杂性。 CoRR公司腹肌/1305.6137(2013)
2012
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/PandyaS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/PandyaS12
帕里托什·K·潘迪亚,西莫尼·沙阿:
度量区间时序逻辑的一元片段：有界与下限约束。 ATVA公司 2012:77-91
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/ws/automata2012/PandyaS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ws/automata2012/PandyaS12
帕里托什·K·潘迪亚,P.维杰·苏曼:
时间自动机简介。自动机理论的现代应用 2012:111-148
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/ws/automata2012/BabuP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ws/automata2012/BabuP12
阿杰什·巴布,帕里托什·K·潘迪亚:
斩波表达式和离散持续时间微积分。自动机理论的现代应用 2012:229-256
2011
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/PandyaS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/PandyaS11网站
帕里托什·K·潘迪亚,西莫尼·沙阿:
时间逻辑的表达能力：比较有界性、非准时性和确定性冻结。 CONCUR公司 2011:60-75
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/KiniKP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/KiniKP11
迪利普·拉胡纳斯·基尼,桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
使用时间投影为$MITL[\：\mathcal{U}，\：\mathcal{S}]$构造安全信号自动机。格式 2011:225-239
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1102-5638
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1102-5638
帕里托什·K·潘迪亚,西莫尼·沙阿:
时间逻辑的表达能力：比较有界性、非时间性和确定性冻结。 CoRR公司 abs/1102.5638(2011)
2010
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dlt/LodayaPS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlt/LodayaPS10
卡马尔·洛达亚,帕里托什·K·潘迪亚,西莫尼·沙阿:
圆点深度2周围。语言理论的发展 2010:303-315
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/PandyaS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/PandyaS10
帕里托什·K·潘迪亚,西莫尼·沙阿:
时间正则语言中的无歧义性：自动机和逻辑学。格式 2010:168-182

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lata/SumanP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lata/SumanP09
P.维杰·苏曼,帕里托什·K·潘迪亚:
具有静默转换的整数重置时间自动机的确定性和表达性。拉丁美洲旅游协会 2009:728-739
2008
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ThomasCP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/ThomasCP08
迪娜·托马斯,Supratik Chakraborty公司,帕里托什·K·潘迪亚:
使用可达性表达式的高效引导符号可达性。国际期刊软件。工具技术。Transf公司。 10(2):113-129(2008)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dac/MhalikRDRSPJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dac/MhaolikRDRSPJ08
Swarup Mohalik公司,A.C.拉杰夫,Manoj G.Dixit公司,S.拉梅什,P.维杰·苏曼,帕里托什·K·潘迪亚,蒋胜兵:
具有时钟漂移的嵌入式实时系统中基于模型检查的端到端延迟分析。数模转换器 2008:296-299
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/SumanPKM08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/SumanPKM08
P.维杰·苏曼,帕里托什·K·潘迪亚,桑卡拉·纳拉亚南·克里希纳,拉克希米·马纳萨:
带整数重置的时间自动机：语言包容性和表达性。格式 2008:78-92
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/LodayaPS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/LodayaPS08
卡马尔·洛达亚,帕里托什·K·潘迪亚,西莫尼·沙阿:
标记印章：明确的时间逻辑。 IFIP TCS 2008:461-476
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/synasc/SumanP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/synasc/SumanP08
P.维杰·苏曼,帕里托什·K·潘迪亚:
SAL中的时间和混合自动机。 SYNASC公司 2008:480-486
2007
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/PandyaKL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/PandyaKL07
帕里托什·K·潘迪亚,桑卡拉·纳拉亚南·克里希纳,昆塔尔·洛亚:
关于具有持续时间的连续时间逻辑的抽样抽象。 TACAS公司 2007:246-260
2006
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEEAres/KazhamakikinPP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEAres/KazhamakikinPP06
拉曼·卡扎米亚金,帕里托什·K·潘迪亚,马可·皮斯托尔:
Web服务组合中的时间建模和分析。 ARES公司 2006:840-846
[c23]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/LodayaP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/LodayaP06
卡马尔·洛达亚,帕里托什·K·潘迪亚:
时间逻辑的剂量，在防范措施。格式 2006:260-273
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icws/卡扎米亚金PP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icws/KazhamakikinPP06
拉曼·卡扎米亚金,帕里托什·K·潘迪亚,马可·皮斯托尔:
Web中时间属性的表示、验证和计算。 ICWS公司 2006:497-504
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/TomasCP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ThomasCP06
迪娜·托马斯,Supratik Chakraborty公司,帕里托什·K·潘迪亚:
使用可达性表达式的高效引导符号可达性。 TACAS公司 2006:120-134
2005
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KrishnaP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KrishnaP05
桑卡拉·纳拉亚南·克里希纳,帕里托什·K·潘迪亚:
量化离散时间演算中的模态强度降低。 FSTTCS公司 2005:444-456
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/SharmaPC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SharmaPC05
巴比塔·夏尔马,帕里托什·K·潘迪亚,Supratik Chakraborty公司:
区间持续时间逻辑的有界有效性检查。 TACAS公司 2005:301-316
2004
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Pandya05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Pandya05
帕里托什·K·潘迪亚:
使用符号搜索查找离散持续时间微积分公式的极值模型。 AVoCS公司 2004:247-262
2003
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/脉搏波P03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakravortyP03
高拉夫·查克拉沃蒂,帕里托什·K·潘迪亚:
数字化间隔持续时间逻辑。腔静脉 2003:167-179
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsettcs/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/2003
帕里托什·K·潘迪亚,杰库马尔·拉德哈克里希南:
FST TCS 2003：软件技术和理论计算机科学基础，第23届会议，印度孟买，2003年12月15日至17日，会议记录。计算机科学课堂讲稿2914,施普林格 2003，国际标准图书编号3-540-20680-9 [目录]
2002
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Pandya02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Pandya02
帕里托什·K·潘迪亚:
同步总线仲裁器的传奇：关于同步程序的定量定时特性的模型检查。 ETAPS时的SLAP 2002:110-124
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Pandya02a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Pandya02a
帕里托什·K·潘迪亚:
区间持续逻辑：表达性和决定性。时间系统理论与实践 2002:254-272
2001
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Pandya01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Pandya01网址
帕里托什·K·潘迪亚:
模型检查CTL*[DC]。 TACAS公司 2001:559-573

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1998
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/PandyaR98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/PandyaR98
帕里托什·K·潘迪亚,Y.S.罗摩克里希纳:
递归中值微积分。 FSTTCS公司 1998:257-268
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/PandyaH98型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/PandyaH98
帕里托什·K·潘迪亚,当文雄（Dang Van Hung）:
弱单调时间的持续演算。 FTRTFT公司 1998:55-64
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/卫星路径HP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/SatpathyHP98
Manoranjan Satpathy公司,当文雄（Dang Van Hung）,帕里托什·K·潘迪亚:
同步解释下工期演算的若干判定结果。 FTRTFT公司 1998:186-197
[c10]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/procomet/PandyaWX98会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/procomet/PandyaWX98
帕里托什·K·潘迪亚,H.-P.王,徐启文:
朝向顺序混合程序理论。比重计 1998:366-384
1996
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/Pandya96型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/Pandya96网址
帕里托什·K·潘迪亚:
中值微积分中的弱Chop逆与活力。 FTRTFT公司 1996:148-167
1995
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HansenPC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HansenPC95
迈克尔·汉森,帕里托什·K·潘迪亚,周朝晨:
有限散度。西奥。计算。科学。 138(1):113-139(1995)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Pandya95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Pandya95
帕里托什·K·潘迪亚:
命题均值演算的一些扩展：表达性和可判定性。 CSL公司 1995:434-451
1994
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KumarP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KumarP94
K.Narayan Kumar,帕里托什·K·潘迪亚:
公平ICSP中算子的计算能力。 FSTTCS公司 1994:231-242
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/YuPS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/YuPS94
于慧群,帕里托什·K·潘迪亚,孙永强:
混合采样数据系统的微积分。 FTRTFT公司 1994:716-737
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/YuWZP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/YuWZP94
余新耀,Ji Wang（王吉）,周朝晨,帕里托什·K·潘迪亚:
混合系统的形式化设计。 FTRTFT公司 1994:738-755
1993
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/KumarP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/KumarP93
K.Narayan Kumar,帕里托什·K·潘迪亚:
CSP中没有无界非确定性的无限并行性。信息学报 30(5):467-487(1993)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/RaoPS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/RaoPS93
M.R.K.Krishna Rao先生,帕里托什·K·潘迪亚,R.K.Shyamasundar先生:
可证明正确的编译器开发中的验证工具。失效模式与后果 1993:442-461
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KumarP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KumarP93
K.Narayan Kumar,帕里托什·K·潘迪亚:
ICSP及其与ACSP和CSP的关系。 FSTTCS公司 1993:358-372
1992
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/GardinerP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/GardinerP92
保罗·H·B·加德纳,帕里托什·K·潘迪亚:
递归代数推理。科学。计算。程序。 18(三):271-280(1992)
1991
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dc/PandyaJ91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dc/PandyaJ91
帕里托什·K·潘迪亚,马泰·约瑟夫:
P-A逻辑-分布式程序的组成证明系统。分布式计算。 5:37-54(1991)
1990
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/plilp/BowenJP90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/plilp/BowenJP90
乔纳森·鲍文,何继峰,帕里托什·K·潘迪亚:
一种可验证编译规范和原型的方法。 PLILP公司 1990:45-59

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1989
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rex/Pandya89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rex/Pandya89网址
帕里托什·K·潘迪亚:
关于分布式程序组合验证的假设-承诺框架的一些评论。 REX研讨会 1989:622-640
1986
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cj/JosephP86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cj/JosephP86
马泰·约瑟夫,帕里托什·K·潘迪亚:
在实时系统中查找响应时间。计算。J。 29(5):390-395(1986)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cj/PandyaJ86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cj/PandyaJ86
帕里托什·K·潘迪亚,马泰·约瑟夫:
递归过程调用的结构导向的完全正确性证明规则。计算。J。 29(6):531-537(1986)

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。