巴拉特·阿德苏尔
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [第15条] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 山塔努·库尔卡尼 , 帕斯卡·韦尔 :
Mazurkiewicz迹上的一个表示完整的局部过去命题动态逻辑及其应用。 低收入国家 2024 : 2:1-2:13 [i17] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 山塔努·库尔卡尼 , 帕斯卡·韦尔 :
常规跟踪语言的命题动态逻辑和异步级联分解。 CoRR公司 abs/2405.11308 ( 2024 ) 2023 [j6] 巴拉特·阿德苏尔 , 萨普塔什·萨卡尔 , A.V.Sreejith公司 :
可数词上一阶逻辑及其无限量词扩展的代数特征和块积分解。 J.计算。 系统。 科学。 136 : 302-326 ( 2023 ) [i16] 巴拉特·阿德苏尔 , 米林德·索霍尼 , K.V.Subrahmanyam公司 :
轨道闭合、稳定器极限和中间G类。 CoRR公司 abs/2309.15816 ( 2023 ) 2022 [j5] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 萨普塔什·萨卡尔 , 帕斯卡·韦尔 :
并发行为的异步环积和级联分解。 日志。 方法计算。 科学。 18 ( 2 ) ( 2022 ) [第14条] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 萨普塔什·萨卡尔 , 帕斯卡·韦尔 :
正则跟踪语言的命题动态逻辑和异步级联分解。 CONCUR公司 2022 : 28:1-28:19 【i15】 巴拉特·阿德苏尔 , 米林德·索霍尼 , K.V.Subrahmanyam公司 :
几何复杂性理论-稳定点射影极限的李代数方法。 CoRR公司 abs/2201.00135 ( 2022 ) 2021 【j4】 巴拉特·阿德苏尔 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 , 伯恩哈德·冯·斯坦格尔 :
秩-1双矩阵游戏的快速算法。 操作。 物件。 69 ( 2 ) : 613-631 ( 2021 ) [第13条] 巴拉特·阿德苏尔 , 萨普塔什·萨卡尔 , A.V.Sreejith公司 :
一阶逻辑及其对可数词的无限量词扩展。 FCT公司 2021 : 39-52 [第14条] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 萨普塔什·萨卡尔 , 帕斯卡·韦尔 :
并发行为的异步环积和级联分解。 CoRR公司 abs/2105.10897 ( 2021 ) [i13] 巴拉特·阿德苏尔 , 萨普塔什·萨卡尔 , A.V.Sreejith公司 :
一阶逻辑及其对可数词的无限量词扩展。 CoRR公司 abs/2107.01468 ( 2021 ) 2020 [第12条] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 萨普塔什·萨卡尔 , 帕斯卡·韦尔 :
Mazurkiewicz痕迹并发设置的圈/级联积和相关分解结果。 CONCUR公司 2020 : 19:1-19:17 [i12] 巴拉特·阿德苏尔 , 保罗·加斯廷 , 萨普塔什·萨卡尔 , 帕斯卡·韦尔 :
Mazurkiewicz轨迹并发设置的圈/级联产物和相关分解结果(扩展版本)。 CoRR公司 abs/2007.07940 ( 2020 )
2010 – 2019
2019 [c11] 巴拉特·阿德苏尔 , 萨普塔什·萨卡尔 , A.V.Sreejith公司 :
可数词上代数的块积及其在逻辑中的应用。 低收入国家 2019 : 1-13 2018 [i11] 巴拉特·阿德苏尔 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 , 伯恩哈德·冯·斯坦格尔 :
秩-1双矩阵游戏的快速算法。 CoRR公司 abs/1812.04611 ( 2018 ) 2016 [j3] Abhisekh Sankaran公司 , 巴拉特·阿德苏尔 , Supratik Chakraborty公司 :
对Łosi-Tarski保持定理的推广。 Ann.纯粹应用。 日志。 167 ( 三 ) : 189-210 ( 2016 ) [注2] 巴拉特·阿德苏尔 , 基内什·马奇哈尔 , 米林德·索霍尼 :
在通用实体扫描框架中加入尖锐特征。 计算。 图表。 论坛 35 ( 5 ) : 21-31 ( 2016 ) 2014 [j1] 巴拉特·阿德苏尔 , 基内什·马奇哈尔 , 米林德·索霍尼 :
参数化实体扫掠的局部和全局分析。 计算。 辅助几何。 设计。 31 ( 6 ) : 294-316 ( 2014 ) [第10条] Abhisekh Sankaran公司 , 巴拉特·阿德苏尔 , Supratik Chakraborty公司 :
有限结构类上Łosi-Tarski保持定理的推广。 MFCS(1) 2014 : 474-485 [i10] Abhisekh Sankaran公司 , 巴拉特·阿德苏尔 , Supratik Chakraborty公司 :
有限结构类上Łosi-Tarski保持定理的推广。 CoRR公司 abs/1401.5953 ( 2014 ) [第九章] 巴拉特·阿德苏尔 , 基内什·马奇哈尔 , 米林德·索霍尼 :
实体扫描边界表示的计算框架。 CoRR公司 abs/1404.0119 ( 2014 ) [i8] 巴拉特·阿德苏尔 , 基内什·马奇哈尔 , 米林德·索霍尼 :
在通用实体扫描框架中加入尖锐特征。 CoRR公司 abs/1405.7457 ( 2014 ) 2013 [i7] Abhisekh Sankaran公司 , 巴拉特·阿德苏尔 , Supratik Chakraborty公司 :
Los-Tarski保持定理的推广。 CoRR公司 abs/1302.4350 ( 2013 ) [i6] 巴拉特·阿德苏尔 , 基内什·马奇哈尔 , 米林德·索霍尼 :
参数化实体扫描的局部和全局分析。 CoRR公司 abs/1305.7351 ( 2013 ) 2012 【c9】 Abhisekh Sankaran公司 , 巴拉特·阿德苏尔 , 维维克·马丹 , 普里蒂什·卡马特 , Supratik Chakraborty公司 :
下部结构下的保护模数约束岩芯。 沃尔利克 2012 : 291-305 [i5] 巴拉特·阿德苏尔 , 基内什·马奇哈尔 , 米林德·索霍尼 :
实体扫掠的程序框架和数学分析。 CoRR公司 腹肌/1204.0908 ( 2012 ) [i4] Abhisekh Sankaran公司 , 巴拉特·阿德苏尔 , 维维克·马丹 , 普里蒂什·卡马特 , Supratik Chakraborty公司 :
下部结构下的保护模数约束岩芯。 CoRR公司 abs/1205.1358 ( 2012 ) 2011 【c8】 巴拉特·阿德苏尔 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 :
秩-1双矩阵对策:同胚和多项式时间算法。 STOC公司 2011 : 195-204 2010 【c7】 巴拉特·阿德苏尔 , Ch.Sobhan巴布 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 :
Fisher市场的类单纯形算法。 SAGT公司 2010 : 18-29 【c6】 巴拉特·阿德苏尔 , Ch.Sobhan巴布 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 :
费希尔市场中的纳什均衡。 SAGT公司 2010 : 30-41 [i3] 巴拉特·阿德苏尔 , Ch.Sobhan巴布 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 :
费希尔市场的纳什均衡。 CoRR公司 abs/1002.4832 ( 2010 ) [i2] 巴拉特·阿德苏尔 , 朱加尔·加格 , 鲁塔·梅塔 , 米林德·索霍尼 :
秩-1双矩阵游戏:同胚和多项式时间算法。 CoRR公司 abs/1010.3083 ( 2010 )
2000 – 2009
2009 [i1] 巴拉特·阿德苏尔 , 米林德·索霍尼 , K.V.Subrahmanyam公司 :
GL约束的量子形变 锰 (C) -模块到总账 米 (C) ×总账 n个 (C) ●●●●。 CoRR公司 abs/0905.0094 ( 2009 ) 2005 【c5】 巴拉特·阿德苏尔 , 马达瓦恩·穆昆德 , K.Narayan Kumar , 瓦苏马提·纳拉亚南 :
MSC语言的因果闭包。 FSTTCS公司 2005 : 335-347 2004 【c4】 巴拉特·阿德苏尔 , 米林德·索霍尼 :
非周期跟踪语言的异步自动机理论表征。 FSTTCS公司 2004 : 84-96 2002 【c3】 巴拉特·阿德苏尔 , 米林德·索霍尼 :
迹上逻辑的局部范式。 FSTTCS公司 2002 : 47-58 【c2】 巴拉特·阿德苏尔 , 米林德·索霍尼 :
迹上的完全可追踪局部线性时间时序逻辑。 ICALP公司 2002 : 926-937 2000 【c1】 巴拉特·阿德苏尔 , 阿兰亚克·梅塔 , 米林德·索霍尼 :
跟踪共享内存系统中的最新消息。 FSTTCS公司 2000 : 477-488