编辑配置文件（在新选项卡中打开） 阿什图什·古普塔 合著者距离 作者ID： 古普塔·阿舒托什 发布日期： 阿什图什·古普塔 已编制索引的文档： 48出版物自1958年以来 2作为编辑的贡献 合著者： 36位合著者具有30联合出版物 858位合作作者 全部的 前5名合著者 1 单作者的 7 托马斯·亨辛格（Thomas A.Henzinger）。 5 萨提安舒·库马尔·乌帕迪亚伊 4 苏尼塔·阿加瓦尔 4 查克拉波蒂，苏普拉特克 4 安德烈·里巴尔琴科 三 巴斯瓦蒂·穆克吉 三 科尼利亚·亚历山大·波皮亚 三 迪夫耶什·乌纳德卡特 2 米尔科·贾科布 2 猜猜，柯林·C。 2 科瓦奇，劳拉·伊尔迪科 2 伯恩哈德·克拉格尔 2 索米亚·马尼 2 提亚哥，派克斯昂 2 塔贾纳·彼得罗夫 2 安吉特·舒克拉 2 穆昆德·塔泰 1 尼蓬阿罗拉 1 巴赫加，Supreet S。 1 阿纳布·巴塔查里亚 1 安舒曼·比斯沃斯 1 雷吉斯·布朗 1 Daca，Przemysław公司 1 迪帕克·库马尔（Dipak Kumar） 1 卡利亚尼·多尔 1 德瑞克·恩格斯 1 埃斯瓦兰，维纳亚克 1 加伊，G.L。 1 S.R.戈蒂。 1 拉胡尔·贾恩 1 小跑，P.D。 1 康德，塔伦 1 安基特·科哈尔 1 J.Kuisalaas。 1 迪内什·坎特·库马尔 1 郭森美。 1 拉克希曼·库普萨米 1 V.J.兰巴。 1 莱姆斯，G。 1 Lödding，H。 1 鲁帕克·马朱姆达尔 1 Sham S.马利克。 1 A.H.马歇塔斯。 1 梅格娜·米苏拉 1 阿琼·拉德哈克利什纳 1 雷耶斯·阿尔达索罗、康斯坦丁诺·卡洛斯 1 维奈·里希瓦尔 1 萨曼塔（Samanta，Roopsha） 1 马萨诸塞州萨拉夫。 1 小薇，嘘 1 R.D.斯里拉姆。 1 曼达扬·K·斯利瓦斯。 1 大亚·拉尔·苏塔尔 1 托尔斯滕·塔拉赫 1 曾，Mitchell M。 1 安德烈·沃伦科夫 1 徐如刚 全部的 前5名系列 2 信息学报 2 计算机和结构 2 流体力学杂志 2 国际生产研究杂志 2 统计计算与模拟杂志 2 桑基拉。B系列 1 计算机与数学及其应用 1 国际流体数值方法杂志 1 声音与振动杂志 1 分子模拟 1 运筹学学会杂志 1 Opsearch（操作搜索） 1 CAD。计算机辅助设计 1 IEEE信号处理汇刊 1 IEEE声学、语音和信号处理汇刊 1 终身数据分析 1 美国计算机学会模型和计算机仿真汇刊 1 振动与控制杂志 1 Apulensis大学学报。数学-信息学 1 印度物理杂志 1 计算机科学课堂讲稿 1 数学物理进展 全部的 前5名领域 23 计算机科学（68至XX） 8 生物学和其他自然科学（92-XX） 6 统计学（62-XX） 5 数值分析（65-XX） 5 流体力学（76-XX） 4 可变形固体力学（74-XX） 4 运筹学、数学规划（90-XX） 三 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 2 总体主题；集合（00-XX） 1 复变量的函数（30年XX月） 1 粒子和系统力学（70-XX） 1 统计力学，物质结构（82-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用102中的次95文件 引用人▼ 年份▼ 通过马尔可夫链蒙特卡罗模拟对修正威布尔分布进行贝叶斯分析。 Zbl 1187.62058号 Upadhyay，S.K。；阿什图什·古普塔 21 2010 证明非终止。 Zbl 1295.68158号 阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；鲁帕克·马朱姆达尔；安德烈·里巴尔琴科；徐如刚 19 2008 用于验证多线程程序的谓词抽象和精化。 Zbl 1284.68427号 阿什图什·古普塔；波皮娅，科尼柳；安德烈·里巴尔琴科 15 2011 高阶剪切变形梁理论的有限元模型。 Zbl 1235.74291号 康德，T。；A.古普塔。 7 1988 广泛的危机和身份证明。 Zbl 1448.68459号 阿什图什·古普塔；劳拉·科瓦奇；伯恩哈德·克拉格尔；安德烈·沃伦科夫 7 2014 一种在单机上调度作业族的遗传算法，具有任意的提前/延迟惩罚和不受限制的共同到期日。 Zbl 0953.90527号 韦伯斯特，S。；小跑，P.D。；A.古普塔。 5 1998 使用各种Weibull扩展和模型选择的相关问题对浴缸形状风险率进行贝叶斯建模。 Zbl 1257.62030号 Upadhyay，S.K。；阿什图什·古普塔；迪帕克·戴伊。 5 2012 某些解析单叶函数上超几何分布型级数卷积的一些性质。 Zbl 1438.30090号 波瓦尔，S。；A.古普塔。 5 2018 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布；猜猜，柯林·C。；阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；提亚哥，派克斯昂；塔贾纳·彼得罗夫 4 2015 用全程序归纳法验证数组操作程序。 兹比尔1507.68082 查克拉波蒂，苏普拉特克；阿什图什·古普塔；迪夫耶什·乌纳德卡特 三 2020 Vampire中的树插值。 Zbl 1406.68104号 雷吉斯·布朗；阿什图什·古普塔；劳拉·科瓦奇；伯恩哈德·克拉格尔 三 2013 抽象驱动混合测试。 Zbl 1475.68079号 Daca，Przemysław公司；阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。 三 2016 通过平铺验证数组操作程序。 Zbl 1420.68066号 查克拉波蒂，苏普拉特克；阿什图什·古普塔；迪夫耶什·乌纳德卡特 三 2017 轴对称壳体有限元分析的三次B样条曲线。 Zbl 0825.73709号 A.古普塔。；J.Kuisalaas。；马萨诸塞州萨拉夫。 2 1991 改进的单程算法可降低分辨率。 Zbl 1374.68489号 阿什图什·古普塔 2 2012 使用并行自适应陷波滤波器的窄带有源噪声和振动控制系统的分析。 Zbl 1229.70090号 杨，F。；A.古普塔。；郭先生。 2 2008 针对显示浴缸危险率的数据，对威布尔扩展和修正威布尔模型进行了贝叶斯比较。 Zbl 1348.62087号 Upadhyay，S.K。；阿什图什·古普塔；巴斯瓦蒂·穆克吉；安基特·科哈尔 2 2013 系统生物学中的计算方法。2013年9月22日至24日，第11届国际会议，CMSB 2013，奥地利克洛斯特内堡。诉讼程序。 Zbl 1321.92032号 2 2013 基于Birnbaum-Saunders分布的加速测试系统强度模型：完整的贝叶斯分析和比较。 Zbl 1282.62220号 Upadhyay，S.K。；巴斯瓦蒂·穆克吉；阿什图什·古普塔 2 2009 局部半完全有向图的最小代价同态二分法。 Zbl 1168.05312号 A.古普塔。；卡里米，M。；E.J.金。；A.拉菲。 2 2008 位向量公式中的匹配乘法。 Zbl 1484.68098号 查克拉波蒂，苏普拉特克；阿什图什·古普塔；拉胡尔·贾恩 2 2017 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布；猜猜，柯林·C。；阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；提亚哥，派克斯昂；塔贾纳·彼得罗夫 2 2017 并发跟踪集的简洁表示。 Zbl 1345.68108号 阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 2 2015 通过求解无递归Horn子句进行广义插值。 Zbl 1464.68204号 阿什图什·古普塔；波皮娅，科尼柳；安德烈·里巴尔琴科 2 2014 差异：使用差分不变量对数组程序进行归纳推理。 兹比尔1493.68101 查克拉波蒂，苏普拉特克；阿什图什·古普塔；迪夫耶什·乌纳德卡特 1 2021 聚糖生产规则的自动推断。 Zbl 1491.92050 安舒曼·比斯沃斯；阿什图什·古普塔；梅格娜·米苏拉；穆昆德·塔泰 1 2021 基于动态规划、神经网络和替代值的库存优化应用混合模型。 Zbl 1054.90515号 雷耶斯·阿尔达索罗，C.C。；甘古里，A.R。；莱姆斯，G。；A.古普塔。 1 1999 囊泡交通系统的合成。 Zbl 1397.92138号 阿什图什·古普塔；索米亚·马尼；安吉特·舒克拉 1 2018 使用扭转弹簧模型分析推进插入板的被动屈曲。 兹比尔1415.76786 北卡罗来纳州阿罗拉。；康，C.-K。；西·夏伊。；A.古普塔。 1 2018 离散正弦变换的快速递归算法。 Zbl 0727.65127号 A.古普塔。；拉奥，K.R。 1 1990 差异：使用差分不变量对数组程序进行归纳推理。 Zbl 1493.68101号 查克拉波蒂，苏普拉特克；阿什图什·古普塔；迪夫耶什·乌纳德卡特 1 2021 聚糖生产规则的自动推断。 Zbl 1491.92050 安舒曼·比斯沃斯；阿什图什·古普塔；梅格娜·米苏拉；穆昆德·塔泰 1 2021 用全程序归纳法验证数组操作程序。 Zbl 1507.68082号 查克拉波蒂，苏普拉特克；阿什图什·古普塔；迪夫耶什·乌纳德卡特 三 2020 某些解析单价函数上超几何分布型级数卷积的一些性质。 Zbl 1438.30090号 波瓦尔，S。；A.古普塔。 5 2018 囊泡交通系统的合成。 Zbl 1397.92138号 阿什图什·古普塔；索米亚·马尼；安吉特·舒克拉 1 2018 使用扭转弹簧模型分析推进插入板的被动屈曲。 Zbl 1415.76786号 北卡罗来纳州阿罗拉。；康，C.-K。；西·夏伊。；A.古普塔。 1 2018 通过平铺验证数组操作程序。 Zbl 1420.68066号 查克拉波蒂，苏普拉特克；阿什图什·古普塔；迪夫耶什·乌纳德卡特 三 2017 位向量公式中的匹配乘法。 Zbl 1484.68098号 查克拉波蒂，苏普拉特克；阿什图什·古普塔；拉胡尔·贾恩 2 2017 检查基因调控网络进化的模型。 Zbl 1380.68273号 米尔科·贾科布；盖特，Călin C。；阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；提亚哥，派克斯昂；塔贾纳·彼得罗夫 2 2017 抽象驱动混合测试。 Zbl 1475.68079号 Daca，Przemysław公司；阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。 三 2016 模型检查基因调控网络。 Zbl 1420.92041号 米尔科·贾科布；猜猜，柯林·C。；阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；提亚哥，派克斯昂；塔贾纳·彼得罗夫 4 2015 并发跟踪集的简洁表示。 Zbl 1345.68108号 阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 2 2015 广泛的危机和身份证明。 Zbl 1448.68459号 阿什图什·古普塔；劳拉·科瓦奇；伯恩哈德·克拉格尔；安德烈·沃伦科夫 7 2014 通过求解无递归Horn子句进行广义插值。 兹比尔1464.68204 阿什图什·古普塔；波皮娅，科尼柳；安德烈·里巴尔琴科 2 2014 Vampire中的树插值。 Zbl 1406.68104号 雷吉斯·布朗；阿什图什·古普塔；劳拉·科瓦奇；伯恩哈德·克拉格尔 三 2013 针对显示浴缸危险率的数据，对威布尔扩展和修正威布尔模型进行了贝叶斯比较。 Zbl 1348.62087号 Upadhyay，S.K。；阿什图什·古普塔；巴斯瓦蒂·穆克吉；安基特·科哈尔 2 2013 系统生物学中的计算方法。2013年9月22日至24日，第11届国际会议，CMSB 2013，奥地利克洛斯特内堡。诉讼程序。 Zbl 1321.92032号 2 2013 使用各种Weibull扩展和模型选择的相关问题对浴缸形状风险率进行贝叶斯建模。 兹比尔1257.62030 Upadhyay，S.K。；阿什图什·古普塔；迪帕克·戴伊。 5 2012 改进的单程算法可降低分辨率。 Zbl 1374.68489号 阿什图什·古普塔 2 2012 用于验证多线程程序的谓词抽象和精化。 Zbl 1284.68427号 阿什图什·古普塔；波皮娅，科尼柳；安德烈·里巴尔琴科 15 2011 通过马尔可夫链蒙特卡罗模拟对修正威布尔分布进行贝叶斯分析。 Zbl 1187.62058号 Upadhyay，S.K。；阿什图什·古普塔 21 2010 基于Birnbaum-Saunders分布的加速测试系统强度模型：完整的贝叶斯分析和比较。 Zbl 1282.62220号 Upadhyay，S.K。；巴斯瓦蒂·穆克吉；阿什图什·古普塔 2 2009 证明非终止。 Zbl 1295.68158号 阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；鲁帕克·马朱姆达尔；安德烈·里巴尔琴科；徐如刚 19 2008 使用并行自适应陷波器分析窄带有源噪声和振动控制系统。 Zbl 1229.70090号 杨，F。；A.古普塔。；郭先生。 2 2008 局部半完全有向图的最小代价同态二分法。 兹比尔1168.05312 A.古普塔。；卡里米，M。；E.J.金。；A.拉菲。 2 2008 基于动态规划、神经网络和替代值的库存优化应用混合模型。 Zbl 1054.90515号 雷耶斯·阿尔达索罗，C.C。；甘古里，A.R。；莱姆斯，G。；A.古普塔。 1 1999 在具有任意提前/拖期惩罚和无限制公共到期日的单机上调度作业族的遗传算法。 Zbl 0953.90527号 韦伯斯特，S。；小跑，P.D。；A.古普塔。 5 1998 轴对称壳体有限元分析的三次B样条曲线。 Zbl 0825.73709号 A.古普塔。；J.Kuisalaas。；萨拉夫，M。 2 1991 离散正弦变换的快速递归算法。 Zbl 0727.65127号 A.古普塔。；拉奥，K.R。 1 1990 高阶剪切变形梁理论的有限元模型。 Zbl 1235.74291号 康德，T。；A.古普塔。 7 1988 所有引用出版物 前5名被引用出版物 全部的 前5名235位作者引用 7 阿什图什·古普塔 4 查克拉波蒂，苏普拉特克 三 阿卜杜勒·哈米德，阿拉·H。 三 穆罕默德·阿斯拉姆 三 赛义德·F·阿泰亚。 三 亚历山大·本特坎普 三 贾斯敏·克里斯蒂安·布兰切特 三 亚历山德罗·西马蒂 三 纳维德·费罗泽 三 阿尔贝托·格里乔 三 丹尼尔·科宁 三 恩里科·马格纳戈 三 安德烈亚斯·波德尔斯基 三 安德烈·里巴尔琴科 三 娜塔莎·莎莉吉娜 三 萨提安舒·库马尔·乌帕迪亚伊 三 乌韦·沃尔德曼 2 塔哈尼·A·阿布沙尔。 2 塞皮德·阿萨迪 2 尼古拉·贝内什 2 马丁·布利查 2 卢博什·布里姆 2 格里戈里·费迪尤科维奇 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 安蒂·E·J·海瓦·里宁。 2 亚历山大·凯泽。 2 科瓦奇，劳拉·伊尔迪科 2 弗雷德·梅斯纳德 2 贾库布·米查利辛 2 赫巴·穆罕默德。 2 萨拉利斯·纳达拉杰 2 Kedar S.Namjoshi。 2 直纪西田 2 奥托普，简 2 塞缪尔·帕斯特瓦 2 埃蒂安·佩耶特 2 贾尔斯·里格尔 2 萨夫拉内克，大卫 2 索菲·托雷特 2 迪夫耶什·乌纳德卡特 2 安德烈·沃伦科夫 2 佩塔·武克米罗维奇 2 托马斯·沃尔 1 亚历山德罗·阿巴特 1 艾哈迈德·哈米德·阿布德·埃拉 1 马哈茂德·穆萨。 1 马雷克·阿达姆齐克 1 帕拉克·阿加瓦尔 1 阿洛马里·穆罕默德·艾哈迈德 1 埃萨姆·艾哈迈德。 1 亚历克斯·艾肯 1 Al-Hussaini，Essam Khalaf 1 尤塞夫·费亚兹·阿尔哈比 1 阿提姆·阿尔哈佐夫 1 莫拉德·阿里扎德 1 沙乌尔·阿尔马戈 1 安德里亚诺夫，P.S。 1 哈西卜·阿塔尔 1 塞耶德·法泽尔·巴赫里 1 艾哈迈德·雷扎·巴赫斯坦尼 1 哈桑·萨拉·巴库 1 巴拉克里希南，纳拉亚纳斯瓦米 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 西迪·穆罕默德·贝拉希 1 吉尔斯·伯诺 1 Tewodros A.Beyene。 1 阿纳布·巴塔查里亚 1 艾哈迈德·巴亚特 1 艾伦·鲍罗丁。 1 克里斯蒂娜·博拉莱拉斯 1 艾哈迈德·博阿贾尼 1 奥利维尔·布瓦索 1 拉迪姆·布里什 1 马克·布罗克施米特 1 罗伯特·布鲁托梅索 1 詹皮埃罗·卡波迪 1 曹振福 1 乔恩，帕沃 1 陈杰 1 克利斯朵夫·切斯诺 1 查塔尼·迪内什 1 德米特里五世·奇斯蒂科夫。 1 杰根，基督 1 克拉克（Edmund Melson jun Clarke）。 1 Jean-Paul彗星 1 库克，拜伦 1 Frank P.A.库伦。 1 西蒙·克鲁恩斯 1 保罗·达米恩 1 克里斯蒂娜·大卫 1 巴特·德·凯伊泽 1 安托万·笛福内 1 朱尔斯·德沙奈斯 1 迪帕克·库马尔（Dipak Kumar） 1 迪亚洛，纳菲 1 丹尼尔·迪特施 1 阿拉斯泰尔·唐纳森。 1 董晓雷 1 克莱门斯·艾森霍费尔 …和135多位作者 全部的 前5名28篇连载文章中引用 10 系统设计中的形式化方法 6 统计传播。模拟和计算 5 应用统计学杂志 4 自动推理杂志 三 统计传播。理论与方法 三 统计计算与模拟杂志 2 信息学报 2 计算机与系统科学杂志 2 信息与计算 2 埃及数学学会杂志 1 信息处理信件 1 编程和计算机软件 1 理论计算机科学 1 统计 1 国际近似推理杂志 1 软计算 1 商业和工业中应用的随机模型 1 系统科学与复杂性杂志 1 印度国家科学院院刊。A部分：物理科学 1 应用数学电子笔记 1 逻辑程序设计理论与实践 1 应用数学杂志 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 1 桑基拉。B系列 1 数学杂志 1 程序设计中的逻辑和代数方法杂志 1 AIMS数学 全部的 前5名在9个字段中引用 62 计算机科学（68至XX） 30 统计学（62-XX） 14 数学逻辑和基础（03-XX） 6 生物学和其他自然科学（92-XX） 4 数值分析（65-XX） 2 组合数学（05-XX） 2 信息与通信理论、电路（94-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文