停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

S.阿克西0001

>主页 >珀森斯

人员信息

隶属关系： 印度孟买印度理工学院
隶属关系（前）： INRIA/IRISA法国雷恩

其他同名人员

请参阅常见问题解答

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

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

2024
[公元48年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/MeelC024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/MeelC024
库尔德普·S·梅尔,Supratik Chakraborty公司,S.阿克西:
近似模型计数的可审计算法。 AAAI公司 2024:10654-10661
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AkshayBCF24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AkshayBCF24
S.阿克西,埃利亚胡·巴萨,Supratik Chakraborty公司,Dror Fried公司:
反应合成中的相关变量。 TACAS（1） 2024:123-143
【i24】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2401-11290
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2401-11290
S.阿克西,埃利亚胡·巴萨,Supratik Chakraborty公司,Dror Fried公司:
反应合成中的相关变量。 CoRR公司 abs/2401.11290(2024)
2023
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AfzalGA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AfzalGA23
穆罕默德·阿夫扎尔,阿舒托什·古普塔,S.阿克西:
使用反例改进神经网络的鲁棒性验证。 ATVA（1） 2023:422-443
[公元45年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AkshayCMZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AkshayCMZ23
S.阿克西,克里希南德·查特吉,托比亚斯·梅根多夫,多德·齐克里克:
MDP作为配电变压器：安全目标的仿射不变量合成。 CAV（3） 2023:86-112
[公元44年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AkshayGGJS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AkshayGGJS23
S.阿克西,保罗·加斯廷,R.戈文德,阿尼鲁达·乔希（Aniruddha R.Joshi）,B.斯里瓦桑:
实时系统的统一模型：符号技术与实现。 CAV（1） 2023:266-288
[公元43年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AkshayCJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AkshayCJ23
S.阿克西,Supratik Chakraborty公司,萨希勒监狱:
布尔函数综合的反例引导知识编译。 CAV（1） 2023:367-389
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/TorfahJSACS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/TorfahJSACS23
黑泽姆·托尔法,阿尼鲁达·乔希（Aniruddha R.Joshi）,谢塔尔·沙阿,S.阿克西,Supratik Chakraborty公司,桑吉特·塞希亚:
学习操作设计领域的监控信号群。 RV汽车 2023:271-290
[第23条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2305-16796
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-16796
S.阿克西,克里希南德·查特吉,托比亚斯·梅根多夫,多德·齐克里克:
MDP作为配电变压器：安全目标的仿射不变量合成。 CoRR公司 abs/2305.16796(2023)
[i22]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2305-17824
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-17824
S.阿克西,保罗·加斯廷,R.戈文德,阿尼鲁达·乔希（Aniruddha R.Joshi）,B.斯里瓦桑:
实时系统的统一模型：符号技术与实现。 CoRR公司 abs/2305.17824(2023)
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2312-12362
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2312-12362
库尔德普·S·梅尔,Supratik Chakraborty公司,S.阿克西:
近似模型计数的可审计算法。 CoRR公司 abs/2312.12362(2023)
2022
[公元41年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AkshayCP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AkshayCP22
S.阿克西,Supratik Chakraborty公司,Debtanu Pal公司:
关于矩阵加权幂和的最终非负性和正性。国际JCAR 2022:671-690
[公元40年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/0001G0S22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/0001G0S22
S.阿克西,保罗·加斯廷,R.戈文德,B.斯里瓦桑:
事件-时钟自动机仿真。 CONCUR公司 2022:13:1-13:18
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ChakrabortyA22型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ChakrabortyA22
Supratik Chakraborty公司,S.阿克西:
关于一阶逻辑可计算Skolem函数的综合。 MFCS公司 2022:30:1-30:15
[公元38年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/0001BGV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/0001BGV22
S.阿克西,雨果·巴兹勒,布莱斯·基内斯特,米希尔·瓦汉瓦拉:
关于Skolem和正问题的鲁棒性。 STACS公司 2022:5:1-5:20
[i20]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2205-09190
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2205-09190
S.阿克西,Supratik Chakraborty公司,Debtanu Pal公司:
关于矩阵加权幂和的最终非负性和正性。 CoRR公司 abs/2205.09190(2022)
[i19]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-02633
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-02633
S.阿克西,保罗·加斯廷,R.戈文德,B.斯里瓦桑:
事件-时钟自动机仿真。 CoRR公司 abs/2207.02633(2022)
[i18]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2211-02365
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2211-02365
S.阿克西,雨果·巴兹勒,布莱斯·基内斯特,米希尔·瓦汉瓦拉:
关于Skolem的鲁棒性，正性和极限正性问题。 CoRR公司 abs/2211.02365(2022)
2021
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/AkshayCGKS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AkshayCGKS21
S.阿克西,Supratik Chakraborty公司,舒巴姆·戈尔,苏米思·库拉尔,谢塔尔·沙阿:
布尔函数综合：硬度和实用算法。形式方法系统。设计。 57(1):53-86(2021)
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AkshayGP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AkshayGP21
S.阿克西,保罗·加斯廷,卡西克·普拉卡什（Karthik R.Prakash）:
下推时间自动机可达性的快速分区算法。 CAV（1） 2021:619-642
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/TorfahSCAS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/TorfahSCAS21网站
哈泽姆·托法,谢塔尔·沙阿,Supratik Chakraborty公司,S.阿克西,桑吉特·塞希亚:
黑箱模型的综合帕累托最优解释。 FMCAD公司 2021:153-162
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/0001GHKR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/0001GHKR21
S.阿克西,布莱斯·基内斯特,洛伊克·赫鲁特,S.Krishna公司,斯巴萨·罗伊乔杜里:
定时系统的弹性。 FSTTCS公司 2021:33:1-33:22
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ShahBAC21文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ShahBAC21
Preey Shah公司,阿曼·班萨尔,S.阿克西,Supratik Chakraborty公司:
高效布尔Skolem函数综合的范式表征。许可证 2021:1月13日
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-07463
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-07463
S.阿克西,Supratik Chakraborty公司:
关于一阶逻辑公式的Skolem函数综合。 CoRR公司 abs/2102.07463(2021)
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2104-14098
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-14098
Preey Shah公司,阿曼·班萨尔,S.阿克西,Supratik Chakraborty公司:
高效布尔Skolem函数综合的范式表征。 CoRR公司 abs/2104.14098(2021)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-13683
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-13683
S.阿克西,保罗·加斯廷,卡西克·普拉卡什（Karthik R.Prakash）:
下推时间自动机可达性的快速区域算法。 CoRR公司 abs/2105.13683(2021)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2108-07307
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-07307
哈泽姆·托法,谢塔尔·沙阿,Supratik Chakraborty公司,S.阿克西,桑吉特·塞希亚:
黑箱模型的综合帕累托最优解释。 CoRR公司 abs/2108.07307(2021)
2020
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/AkshayHP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/AkshayHP20
S.阿克西,洛伊克·赫鲁特,拉姆昌德拉·帕瓦德:
在Petri网中结合了自由选择和时间。 J.日志。代数方法程序。 110(2020)
[公元33年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fosacs/AkshayGHM20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AkshayGHM20
S.阿克西,布莱斯·基内斯特,洛伊克·赫鲁特,沙维克·米塔尔:
定时谈判。 FoSSaCS公司 2020:37-56
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MeelA20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MeelA20
库尔德普·S·梅尔,S.阿克西:
可缩放近似模型计数的稀疏散列：理论与实践。许可证 2020:728-741
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/AkshayBMV020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/AkshayBMV020
S.阿克西,尼基尔·巴拉吉,阿尼基特·穆赫卡尔（Aniket Murhekar）,罗希斯·瓦尔马,尼基尔·维亚斯:
Skolem问题碎片的近最优复杂度边界。 STACS公司 2020:37:1-37:18
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AkshayGKR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AkshayGKR20
S.阿克西,保罗·加斯廷,S.Krishna公司,斯派萨·罗乔杜里:
重温多推系统的欠近似可达性。 TACAS（1） 2020:387-404
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2002-05950
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2002-05950
S.阿克西,保罗·加斯廷,S.Krishna公司,斯巴萨·罗伊乔杜里:
重温多推系统的欠近似可达性。 CoRR公司 abs/2002.05950(2020)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-14692
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-14692
库尔德普·S·梅尔,S.阿克西:
可缩放近似模型计数的稀疏散列：理论与实践。 CoRR公司 abs/2004.14692(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/AkshayBCSV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/AkshayBCSV19
S.阿克西,苏卡尼亚·巴苏,Supratik Chakraborty公司,兰加布里亚·桑达拉扬,普拉桑娜·文卡特拉曼:
噪声基因调控网络中的功能重要性检查。人物配对关系 2019:767-785
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Akshay0CKRS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Akshay0CKRS19
S.阿克西,杰汀·阿罗拉,Supratik Chakraborty公司,桑卡拉·纳拉亚南·克里希纳,迪维亚·拉胡纳桑,谢塔尔·沙阿:
布尔函数综合的知识编译。 FMCAD公司 2019:161-169
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GuptaSAH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GuptaSAH19
乌特卡什·古普塔,Preey Shah公司,S.阿克西,彼得罗·霍夫曼:
无序数据Petri网的连续可达性以PTime表示。 FoSSaCS公司 2019:260-276
[c26]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsetcs/AkshayBFG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AkshayBFG19
S.阿克西,雨果·巴兹勒,埃里克·法布雷,布莱斯·基内斯特:
隐马尔可夫模型的分类。 FSTTCS公司 2019:29:1-29:14
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AkshayGJK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AkshayGJK19
S.阿克西,保罗·加斯廷,文森特·朱格,桑卡拉·纳拉亚南·克里希纳:
逻辑视角下的定时系统。许可证 2019:1月13日
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1902-05604
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-05604
乌特卡什·古普塔,Preey Shah公司,S.阿克西,彼得罗·霍夫曼:
无序数据Petri网的连续可达性以PTime表示。 CoRR公司 abs/1902.05604(2019)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1903-03773
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1903-03773
S.阿克西,保罗·加斯廷,文森特·朱格,桑卡拉·纳拉亚南·克里希纳:
通过逻辑镜头的定时系统。 CoRR公司 abs/1903.03773(2019)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1908-06275
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1908-06275
S.阿克西,杰汀·阿罗拉,Supratik Chakraborty公司,桑卡拉·纳拉亚南·克里希纳,迪维亚·拉胡纳桑,谢塔尔·沙阿:
布尔函数综合的知识编译。 CoRR公司 abs/1908.06275(2019)
2018
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AkshayGK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AkshayGK18
S.阿克西,保罗·加斯廷,桑卡拉·纳拉亚南·克里希纳:
使用树自动机分析时间系统。日志。方法计算。科学。 14(2)(2018)
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AkshayCGKS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AkshayCGKS18
S.阿克西,Supratik Chakraborty公司,舒巴姆·戈尔,苏米思·库拉尔,谢塔尔·沙阿:
布尔函数合成有什么困难？ CAV（1） 2018:251-269
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AkshayGV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AkshayGV18
S.阿克西,布莱斯·基内斯特,尼基尔·维亚斯:
马尔可夫决策过程的基于分布的目标。许可证 2018:36-45
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-05507
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-05507
S.阿克西,Supratik Chakraborty公司,Shubham Goel公司,苏米思·库拉尔,谢塔尔·沙阿:
布尔函数合成的难点是什么。 CoRR公司 abs/1804.05507(2018)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-09341
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-09341
S.阿克西,布莱斯·基内斯特,尼基尔·维亚斯:
马尔可夫决策过程的基于分布的目标。 CoRR公司 abs/1804.09341(2018)
2017
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/AkshayGKS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AkshayGKS17
S.阿克西,保罗·加斯廷,桑卡拉·纳拉亚南·克里希纳,伊利亚斯·萨卡尔:
时间系统中基于树自动机的高效技术。 CONCUR公司 2017:39:1-39:15
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/AkshayCDJS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AkshayCDJS17
S.阿克西,Supratik Chakraborty公司,Ankush Das公司,维沙尔·贾加纳特,赛·桑迪普:
具有层次特殊弧的Petri网。 CONCUR公司 2017:40:1-40:17
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AkshayBV17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AkshayBV17
S.阿克西,尼基尔·巴拉吉,尼基尔·维亚斯:
斯科勒姆限定变种的复杂性及相关问题。 MFCS公司 2017:78:1-78:14
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AkshayCJS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AkshayCJS17
S.阿克西,Supratik Chakraborty公司,Ajith K.约翰,谢塔尔·沙阿:
走向并行布尔函数综合。 TACAS（1） 2017:337-353
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AkshayCJS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AkshayCJS17
S.阿克西,Supratik Chakraborty公司,Ajith K.约翰,谢塔尔·沙阿:
走向并行布尔函数综合。 CoRR公司 abs/1703.01440(2017)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AkshayCDJS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AkshayCDJS17
S.阿克西,Supratik Chakraborty公司,安库什·达斯,维沙尔·贾加纳特,赛桑迪普:
具有层次特殊弧的Petri网。 CoRR公司腹肌/1707.01157(2017)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AkshayGKS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AkshayGKS17
S.阿克西,保罗·加斯廷,桑卡拉·纳拉亚南·克里希纳,伊利亚斯·萨卡尔:
面向一种高效的基于树自动机的定时系统技术。 CoRR公司 abs/1707.02297(2017)
2016
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/AkshayHJR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/AkshayHJR16
S.阿克西,洛伊克·赫鲁特,克劳德·贾德,皮尔雷·阿莱恩·雷尼尔:
守卫扩张下时间Petri网的鲁棒性。芬丹。信息学 143(3-4):207-234(2016)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/AkshayGH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/AkshayGH16
S.阿克西,布莱斯·基内斯特,洛伊克·赫鲁特:
具有时间和紧急性的无界Petri网的可判定类。 Petri网 2016:301-322
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/AkshayGK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AkshayGK16
S.阿克西,保罗·加斯廷,桑卡拉·纳拉亚南·克里希纳:
使用树自动机分析时间系统。 CONCUR公司 2016:27:1-27:14
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AkshayBKMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AkshayBKMT16
S.阿克西,帕特里夏·鲍耶,桑卡拉·纳拉亚南·克里希纳,拉克希米·马纳萨,阿舒托什·特里维迪:
重温随机计时游戏。 MFCS公司 2016:8:1-8:14
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/AkshayGKV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/AkshayGKV16
S.阿克西,布莱斯·基内斯特,布鲁诺·卡列洛维奇,尼基尔·维亚斯:
一元概率自动机的正则性。 STACS公司 2016:8:1-8:14
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/AkshayHP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/AkshayHP16
S.阿克西,洛伊克·赫鲁特,拉姆昌德拉·帕瓦德:
在Petri网中结合自由选择和时间。时间 2016:120-129
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/fsttcs/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/2016
阿卡什·拉尔,S.阿克西,Saket Saurabh公司,桑迪普·森:
第36届IARCS软件技术和理论计算机科学基础年会，2016年12月13日至15日，印度钦奈。 LIPIcs公司65,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2016，国际标准图书编号978-3-95977-027-9 [目录]
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AkshayGK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AkshayGK16
S.阿克西,保罗·加斯廷,桑卡拉·纳拉亚南·克里希纳:
使用树自动机分析时间系统。 CoRR公司 abs/1604.08443(2016)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/AkshayBKMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AkshayBKMT16
S.阿克西,帕特里夏·鲍耶,桑卡拉·纳拉亚南·克里希纳,拉克希米·马纳萨,阿舒托什·特里维迪:
重温随机计时游戏。 CoRR公司 abs/1607.05671(2016)
2015
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ipl/AkshayAOW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/AkshayAOW15
S.阿克西,蒂莫斯·安东诺普洛斯,乔尔·瓦克宁,詹姆斯·沃雷尔:
马尔可夫链的可达性问题。信息处理。莱特。 115(2):155-158(2015)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/AgrawalAGT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/AgrawalAGT15
马宁德拉·阿格拉沃,S.阿克西,布莱斯·基内斯特,P.S.Thiagarajan先生:
马尔可夫链符号动力学的近似验证。美国临床医学杂志 62(1):2:1-2:34(2015)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AkshayGMK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AkshayGMK15
S.阿克西,保罗·加斯廷,马达瓦恩·穆昆德,K.Narayan Kumar:
检查基于时间约束的场景规范的一致性。西奥。计算。科学。 594:24至43(2015)
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/JohnSCTA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JohnSCTA15
Ajith K.约翰,谢塔尔·沙阿,Supratik Chakraborty公司,阿舒托什·特里维迪,S.阿克西:
因子公式的Skolem函数。 FMCAD公司 2015:73-80
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/更正/JohnCTA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JohnSCTA15
Ajith K.约翰,谢塔尔·沙阿,Supratik Chakraborty公司,阿舒托什·特里维迪,S.阿克西:
因子分解公式的Skolem函数。 CoRR公司 abs/1508.05497(2015)
2014
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/AkshayBGMK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/AkshayBGMK14
S.阿克西,Benedikt Bollig公司,保罗·加斯廷,马达瓦恩·穆昆德,K.Narayan Kumar:
具有独立进化时钟的分布式时间自动机。芬丹。信息学 130(4):377-407(2014)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/AkshayHM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/AkshayHM14
S.阿克西,洛伊克·赫鲁特,马达瓦恩·穆昆德:
具有无限数量代理的会话。 ACSD系统 2014:166-175
2013
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/AkshayBG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AkshayBG13
S.阿克西,Benedikt Bollig公司,保罗·加斯廷:
事件时钟消息传递自动机：逻辑特征和空性检查算法。形式方法系统。设计。 42(三):262-300(2013)
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AkshayDGS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AkshayDGS13
S.阿克西,Ionut Dinca公司,布莱斯·基内斯特,阿林·斯特凡内斯库:
实现真实的异步自动机。 FSTTCS公司 2013:213-224
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/AkshayBHH13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/AkshayBHH13网址
S.阿克西,纳塔莉·贝特朗,谢尔盖·哈达德,洛伊克·赫鲁特:
马尔可夫决策过程的稳态控制问题。 QEST公司 2013:290-304
2012
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ipl/AkshayGHY12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/AkshayGHY12
S.阿克西,布莱斯·基内斯特,洛伊克·赫鲁特,杨绍发:
时间约束MSC图的正则表示集。信息处理。莱特。 112(14-15):592-598(2012)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcbb/PalaniappanA0GT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcbb/PalaniappanA0GT12
苏希恩德拉·K·帕拉尼亚潘,S.阿克西,刘冰（Bing Liu）,布莱斯·基内斯特,P.S.Thiagarajan先生:
动态贝叶斯网络的混合因子前沿算法及其生物通道应用。 IEEE ACM传输。计算。生物信息。 9(5):1352-1365(2012)
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/AkshayHJLR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/AkshayHJLR12
S.阿克西,洛伊克·赫鲁特,克劳德·贾德,迪迪埃·莱姆,奥利维尔·H·鲁:
结构约束下时间Petri网的鲁棒性。格式 2012:11-26
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/AkshayGHY12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/AkshayGHY12
S.阿克西,布莱斯·基内斯特,洛伊克·赫鲁特,杨绍发:
时间约束MSC图中漂移的符号边界。 ICTAC公司 2012:1-15
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AgrawalAGT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AgrawalAGT12
马宁德拉·阿格拉沃,S.阿克西,布莱斯·基内斯特,P.S.Thiagarajan先生:
马尔可夫链符号动力学的近似验证。许可证 2012:55-64
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/AkshayHJR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/AkshayHJR12
S.阿克西,洛伊克·赫鲁特,克劳德·贾德,皮尔雷·阿莱恩·雷尼尔:
守卫扩张下时间Petri网的鲁棒性。 RP公司 2012:92-106
2011
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cmsb/PalaniappanAGT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmsb/PalaniappanAGT11
苏希恩德拉·K·帕拉尼亚潘,S.阿克西,布莱斯·基内斯特,P.S.Thiagarajan先生:
生物通道动态贝叶斯网络模型的混合因子前沿算法。 CMSB公司 2011:35-44岁
2010
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AkshayGMK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AkshayGMK10
S.阿克西,保罗·加斯廷,马达瓦恩·穆昆德,K.Narayan Kumar:
模型检查基于时间约束的场景规范。 FSTTCS公司 2010:204-215

2000 – 2009

请参阅常见问题解答

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

2008
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/AkshayBGMK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AkshayBGMK08
S.阿克西,Benedikt Bollig公司,保罗·加斯廷,马达瓦恩·穆昆德,K.Narayan Kumar:
具有独立进化时钟的分布式时间自动机。 CONCUR公司 2008:82-97
2007
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/AkshayMK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AkshayMK07
S.阿克西,马达瓦恩·穆昆德,K.Narayan Kumar:
检查定时场景无限集合的覆盖范围。 CONCUR公司 2007:181-196
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AkshayBG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AkshayBG07
S.阿克西,Benedikt Bollig公司,保罗·加斯廷:
定时消息序列图的自动机和逻辑。 FSTTCS公司 2007:290-302

合著者索引

请参阅常见问题解答

服务

管理网站设置

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