编辑配置文件(在新选项卡中打开) 苏米特·库马尔·贾阿 合著者距离 作者ID: 吉哈苏米特·库马尔 发布日期: 苏米特·库马尔·贾阿;Jha,Sumit K。 主页: http://sumitkumarjha.com/www/jha 外部链接: MGP公司 已编制索引的文档: 22出版物自2005年以来,包括1个附加arXiv预打印 合著者: 16位合著者具有8联合出版物 595位合作作者 全部的 前5名合著者 14 单作者的 三 布鲁斯·H·克罗。 2 克拉克(Edmund Melson jun Clarke)。 1 安德鲁斯、乔治·爱 1 Shubhendu巴辛 1 哈维尔·埃斯帕尔扎 1 安斯加·芬克 1 戈兰·弗雷斯 1 苏斯米特·贾 1 克里斯托弗·詹姆斯·兰米德 1 马达瓦恩·穆昆德 1 桑妮·拉吉 1 罗伊,萨扬·巴苏 1 拉图尔·萨哈 1 Natarajan Shankar 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 詹姆斯·韦默(James E.Weimer)。 全部的 前5名系列 5 整数 2 整数序列杂志 1 洛基山数学杂志 1 IEEE自动控制汇刊 1 理论计算机科学 1 Ramanujan杂志 1 分析(慕尼黑) 1 密苏里州数学科学杂志 1 离散数学、算法和应用 1 莫斯科组合数学与数论杂志 全部的 前5名领域 12 数论(11-XX) 7 计算机科学(68至XX) 5 系统论;控制(93至XX) 三 组合数学(05-XX) 2 概率论与随机过程(60-XX) 1 数学逻辑和基础(03-XX) 1 实际功能(26年X月X日) 1 特殊功能(33至XX) 1 序列、级数、可和性(40-XX) 1 变分法与最优控制;最优化(49至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用43次34文件 引用人▼ 年份▼ 线性混合自动机参数综合的反例指导方法。 Zbl 1143.68435号 戈兰·弗雷斯;苏米特·库马尔·贾阿;布鲁斯·H·克罗。 11 2008 使用迭代松弛抽象的线性混合自动机的可达性。 Zbl 1221.93115号 Jha,Sumit K。;布鲁斯·H·克罗。;詹姆斯·韦默(James E.Weimer)。;埃德蒙·克拉克(Edmund M.Clarke)。 8 2007 使用反例片段细化混合系统的抽象。 Zbl 1078.93041号 安斯加·芬克;埃德蒙·克拉克;苏米特·库马尔·贾阿;布鲁斯·克罗格 6 2005 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 Zbl 1211.92021号 苏米特·库马尔;克里斯托弗·詹姆斯·兰米德 三 2011 基于初始激励的LTI系统近似最优控制迭代算法。 Zbl 1482.93309号 苏米特·库马尔·贾阿;罗伊,萨扬·巴苏;Shubhendu巴辛 三 2019 涉及欧拉数的伯努利数的一个新的显式公式。 Zbl 1447.11036号 苏米特·库马尔·贾阿 2 2019 奇数除数的逆和与平方和的表示数有关的恒等式。 Zbl 1479.11021号 苏米特·库马尔·贾阿 2 2021 用偏贝尔多项式表示\(n\)的分区数的一个公式。 Zbl 1483.05008号 苏米特·库马尔·贾阿 2 2022 涉及\(p_r(n)\)的除数和函数的组合恒等式。 Zbl 1458.11007号 苏米特·库马尔·贾阿 1 2020 分布式马尔可夫链。 Zbl 1432.68266号 拉图尔·萨哈;哈维尔·埃斯帕尔扎;苏米特·库马尔·贾阿;马达瓦恩·穆昆德;蒂亚加拉扬,P.S。 1 2015 d-IRA:用于分析线性混合自动机的分布式可达性算法。 兹比尔1144.93310 苏米特·库马尔·贾阿 1 2008 平方和、三角数和除数和。 Zbl 1516.11012号 安德鲁斯,G.E。;苏米特·库马尔·贾阿;López-Bonilla,J。 1 2023 正弦欧拉积展开的一个初等证明。 Zbl 1434.33002号 苏米特·库马尔·贾阿 1 2019 根据表示为平方和的表示数,计算\(n)的过分割数的公式。 Zbl 1483.11225号 苏米特·库马尔·贾阿 1 2021 平方和、三角数和除数和。 Zbl 1516.11012号 安德鲁斯,G.E。;苏米特·库马尔;López-Bonilla,J。 1 2023 用偏Bell多项式表示(n)的分块数的公式。 Zbl 1483.05008号 苏米特·库马尔·贾阿 2 2022 奇数除数的逆和与平方和的表示数有关的恒等式。 Zbl 1479.11021号 苏米特·库马尔·贾阿 2 2021 根据表示为平方和的表示数,计算\(n)的过分割数的公式。 Zbl 1483.11225号 苏米特·库马尔·贾阿 1 2021 涉及\(p_r(n)\)的除数和函数的一个组合恒等式。 Zbl 1458.11007号 苏米特·库马尔·贾阿 1 2020 基于初始激励的LTI系统近似最优控制迭代算法。 Zbl 1482.93309号 苏米特·库马尔·贾阿;罗伊,萨扬·巴苏;Shubhendu巴辛 三 2019 涉及欧拉数的伯努利数的一个新的显式公式。 Zbl 1447.11036号 苏米特·库马尔·贾阿 2 2019 正弦欧拉积展开的一个初等证明。 Zbl 1434.33002号 苏米特·库马尔 1 2019 分布式马尔可夫链。 Zbl 1432.68266号 拉图尔·萨哈;哈维尔·埃斯帕尔扎;苏米特·库马尔·贾阿;马达瓦恩·穆昆德;蒂亚加拉扬,P.S。 1 2015 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 Zbl 1211.92021号 苏米特·库马尔·贾阿;克里斯托弗·詹姆斯·兰米德 三 2011 线性混合自动机参数综合的反例指导方法。 Zbl 1143.68435号 戈兰·弗雷斯;苏米特·库马尔·贾阿;布鲁斯·H·克罗。 11 2008 d-IRA:用于分析线性混合自动机的分布式可达性算法。 Zbl 1144.93310号 苏米特·库马尔·贾阿 1 2008 使用迭代松弛抽象的线性混合自动机的可达性。 Zbl 1221.93115号 Jha,Sumit K。;布鲁斯·H·克罗。;詹姆斯·韦默(James E.Weimer)。;埃德蒙·克拉克(Edmund M.Clarke)。 8 2007 使用反例片段细化混合系统的抽象。 Zbl 1078.93041号 安斯加·芬克;埃德蒙·克拉克;苏米特·库马尔·贾阿;布鲁斯·克罗格 6 2005 所有引用出版物 前5名被引用出版物 全部的 前5名82位作者引用 5 苏米特·库马尔·贾阿 三 维奥里卡Sofrone-Stokkerman 2 达姆,沃纳 2 杜吉拉拉,帕拉萨拉·斯里达尔 2 戈兰·弗雷斯 2 米尔科·贾科布 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 科马克·奥沙利文 1 亚历山德罗·阿巴特 1 安德鲁斯、乔治·爱 1 Annaswamy,Anuradha M。 1 巴尔·哈托什·辛格 1 Shubhendu巴辛 1 高拉夫·巴特纳格尔 1 塞尔吉·博戈莫洛夫 1 卢博什·布里姆 1 卜、雷 1 坎贝尔,约翰·马克斯韦尔 1 弗兰克·卡塞兹 1 科什卡,米兰 1 彼得·F·克里斯托弗森。 1 Thao Dang先生 1 Dannenberg,弗里茨 1 Hidde德容 1 阿比舍克·达尔 1 亚历山大·唐泽 1 托马索·德罗西 1 埃斯特尔·杜马斯 1 安斯加·芬克 1 彼得·费希尔(Peter A.Fisher)。 1 约瑟夫·高迪奥(Joseph E.Gaudio)。 1 马尼什·戈亚尔 1 拉森·金(Larsen Kim Guldstrand) 1 苏菲·海瑟特 1 米克尔·汉森 1 马蒂亚斯·海兹曼 1 霍尔格·赫尔曼斯 1 Jochen Hoenicke公司 1 马提亚斯·霍巴赫 1 拉尔夫·胡克 1 卡斯滕·伊勒曼 1 彼得·格约尔·詹森 1 费利克斯·克莱特克 1 Krčál,简 1 布鲁斯·H·克罗。 1 Marta Z.Kwiatkowska。 1 兰维尧 1 克里斯托弗·詹姆斯·兰米德 1 拉森,金·古尔德斯特朗 1 李宣东 1 努诺·P·洛佩斯。 1 伙计,卡洛克 1 拉杜·马代尔 1 安德斯·马里加德 1 拉杜·马特埃斯库 1 萨扬·密特拉 1 佩德罗·蒙泰罗。 1 奥托普,简 1 尼古拉·保莱蒂 1 卡拉广场 1 安德烈亚斯·波德尔斯基 1 帕维特拉Prabhakar 1 阿克沙·拉汉斯 1 斯特凡·拉特肖恩 1 米歇尔·阿德里安·雷尼尔 1 朱利安·特里尔,林斯莫斯 1 雅各布斯·E·罗达。 1 罗伊,萨扬·巴苏 1 安德烈·里巴尔琴科 1 阿纳布·萨克 1 R.R.H.希弗勒。 1 西弗利德,肖恩 1 她,志坤 1 范·比克,D.A。 1 Van den Hof,Paul M.J。 1 Steen背心 1 马赫什·维斯瓦纳坦 1 谢丁宝 1 谢克迪 1 于、肖 1 埃纳州扎法内拉 1 赵建华 全部的 前5名15篇连载文章中引用 三 Automatica公司 三 整数序列杂志 2 理论计算机科学 2 系统设计中的形式化方法 2 整数 1 信息学报 1 人工智能 1 马西马蒂克修道院 1 数学说明 1 欧洲控制杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 1 非线性分析。混合动力系统 1 数论研究 全部的 前5名11个领域引用 20 计算机科学(68至XX) 7 数论(11-XX) 6 系统论;控制(93至XX) 4 生物学和其他自然科学(92-XX) 三 运筹学、数学规划(90-XX) 2 组合数学(05-XX) 2 统计学(62-XX) 1 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 按年份列出的引文