编辑配置文件（在新选项卡中打开） 阿什什·库马尔·蒂瓦里 合著者距离 作者ID： 蒂瓦里·阿什什·库马尔 发布日期： 阿什什·蒂瓦里;蒂瓦里，A。;阿什什·库马尔·蒂瓦里 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 82出版物自1990年以来，包括1个附加arXiv预打印 4作为编辑的贡献 合著者： 76位合著者具有65联合出版物 1536合著作者 全部的 前5名合著者 11 单作者的 12 吉勒姆·戈多伊 9 苏米特·古尔瓦尼 6 Leo巴赫迈尔 5 阿德里亚·加斯科恩 4 德奥，萨蒂亚 3 拉杜·格罗苏 3 阿尔卡·S·古达德。 3 普拉莫德·库马尔·亚达夫 3 帕特里克·D·林肯。 3 哈拉尔德街 3 Natarajan Shankar 3 斯科特·斯莫尔卡。 3 Rakesh M.维尔玛。 2 卢卡斯·埃斯特利 2 阿纳托利·菲利波夫 2 爱德华·亨廷福德 2 苏斯米特·贾 2 高拉夫·坎纳 2 安娜·卢基纳 2 罗马克里希南，I.V。 2 马丁·施瓦夫 2 曼弗雷德·施密特·沙乌 2 辛格，阿肖克·库马尔 2 普里扬卡·辛格 2 安库尔·塔利 2 劳伦·维格纳龙 2 杨俊兴 1 亚历山德罗·阿巴特 1 拉文德拉·K·阿胡加。 1 拉詹·阿罗拉 1 萨米赫·S·阿斯卡尔。 1 路易斯·巴尔古尼奥 1 埃齐奥·巴托西 1 纳尔杰斯·贝雷格布 1 布伦特·卡默 1 帕拉斯·钱德兰 1 Satyendra Singh Chauhan 1 陈欣 1 卡莱斯·克鲁斯 1 达斯，B.N。 1 莱昂纳多·德·莫拉 1 布鲁诺·杜特雷 1 Souradeep杜塔 1 Daniel Schnetzer，法瓦 1 Ganaie，硕士。 1 罗诺霍伊·高什 1 乔·佩德罗·赫斯帕尼亚 1 赫希，克里斯蒂安 1 Khanukaeva，Daria Yu。 1 梅里尔·纳普 1 基思·雷德鲁特 1 简·莱克 1 马蒂厄·莱梅尔 1 弗朗西斯科·马萨内斯 1 乌芒·马图尔 1 比尔·麦克洛斯基 1 乌萨马·梅穆德 1 约恩·梅恩 1 Necula，George C。 1 罗伯特·纽文胡斯 1 迈克尔·奥多尔蒂。 1 尼古拉·奥利维蒂 1 詹姆斯·奥林（James B.Orlin）。 1 萨姆·奥雷 1 罗马克里希南，C.R。 1 Riadh罗巴纳 1 恩里克·罗德里格斯-卡博内尔 1 罗伊·舒维克 1 约翰·拉什比 1 尼马尔·萨切蒂。 1 沙海、图欣 1 萨伊迪，哈森 1 桑卡拉纳拉亚南，斯里拉姆 1 S.Shankar，萨斯特里 1 曼弗雷德·施密特·舒斯 1 桑吉特·阿伦库马尔·塞希亚 1 辛戈尔斯，朱利安 1 玛丽亚，索里亚 1 斯科特·斯托勒。 1 托马斯·斯特姆 1 卡罗琳·塔尔科特。 1 巴拉特·提瓦里 1 拉什米·蒂瓦里 1 克莱尔·汤姆林。 1 谢尔盖·瓦辛 全部的 前5名系列 3 机械学报 3 系统设计中的形式化方法 2 M.A.C.T.杂志。 2 自动推理杂志 2 欧洲力学杂志。B.流体 2 计算机科学课堂讲稿 1 印度纯粹与应用数学杂志 1 数学教育 1 应用数学与计算 1 Automatica公司 1 加尔各答数学学会公报 1 纯逻辑与应用逻辑年鉴 1 物理D 1 符号计算杂志 1 计算机与运筹学 1 运筹学年鉴 1 机器学习 1 应用数学建模 1 工程、通信和计算中的应用代数 1 应用力学与技术物理杂志 1 离散数学和理论计算机科学。DMTCS公司 1 ACM计算逻辑事务 1 财务审查 1 计算机科学中的逻辑方法 1 智能和软计算的进展 1 LIPIcs–莱布尼茨国际信息学会议录 1 AMM公司。应用数学和力学。（英文版） 1 计算与理论传输杂志 全部的 前5名领域 57 计算机科学（68至XX） 13 系统论；控制（93至XX） 10 数学逻辑和基础（03-XX） 10 流体力学（76-XX） 6 生物学和其他自然科学（92-XX） 4 运筹学、数学规划（90-XX） 3 一般性和全局性主题；集合（00-XX） 3 功能分析（46倍X倍） 3 信息与通信理论、电路（94-XX） 2 一般代数系统（08-XX） 2 动力系统和遍历理论（37至XX） 2 积分变换，运算微积分（44-XX） 2 可变形固体力学（74-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 交换代数（13-XX） 1 常微分方程（34-XX） 1 序列、级数、可和性（40-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 68出版物有被引用500次中的次377文件 引用人▼ 年份▼ 二次分配问题的贪婪遗传算法。 Zbl 0970.90067号 拉文德拉·K·阿胡加。;詹姆斯·奥林（James B.Orlin）。;阿什什·蒂瓦里 40 2000 生物激励动力系统中的盒不变性。 Zbl 1197.34088号 亚历山德罗·阿巴特;阿什什·蒂瓦里;Shankar Sastry公司 35 2009 线性程序的终止。 Zbl 1103.68037号 阿什什·蒂瓦里 31 2004 基于约束的混合系统分析方法。 Zbl 1155.68437号 苏米特·古尔瓦尼;阿什什·蒂瓦里 28 2008 混合自动机的一系列抽象。 Zbl 1044.93523号 阿什什·蒂瓦里;高拉夫·坎纳 23 2002 线性系统的近似可达性。 Zbl 1032.93518号 阿什什·蒂瓦里 18 2003 混合系统的抽象。 Zbl 1133.68368号 阿什什·蒂瓦里 17 2008 将抽象解释器提升到量化的逻辑域。 Zbl 1295.68085号 苏米特·古尔瓦尼;比尔·麦克洛斯基;阿什什·蒂瓦里 17 2008 自动符号可达性分析；应用于Delta-Notch信令自动机。 Zbl 1032.92500号 罗诺霍伊·高什;阿什什·蒂瓦里;克莱尔·汤姆林 17 2003 抽象同余闭包。 Zbl 1040.03006号 利奥·巴赫迈尔;阿什什·蒂瓦里;劳伦·维格纳龙 17 2003 符号系统生物学：生物网络的混合建模和分析。 Zbl 1135.93308号 帕特里克·林肯;阿什什·蒂瓦里 14 2004 使用实量词消除进行验证和合成。 Zbl 1323.68385号 托马斯·斯特姆;阿什什·蒂瓦里 14 2011 演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 Zbl 07120164号 Souradeep杜塔;陈欣;苏斯米特·贾;桑卡拉纳拉亚南，斯里拉姆;阿什什·蒂瓦里 13 2019 SAL 2。 Zbl 1103.68644号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;Shankar，北卡罗来纳州。;玛丽亚，索里亚;阿什什·蒂瓦里 13 2004 生成混合系统的多项式不变量。 Zbl 1078.93026号 恩里克·罗德里格斯-卡博内尔;阿什什·蒂瓦里 13 2005 由多孔壳覆盖的球形颗粒构成的膜的流体动力渗透率：应力跳跃条件的影响。 Zbl 1398.76223号 普拉莫德·库马尔·雅达夫;阿什什·蒂瓦里;德奥，萨蒂亚;阿纳托利·菲利波夫;谢尔盖·瓦辛 12 2010 浅层右线性重写系统的汇合。 Zbl 1136.68411号 吉勒姆·戈多伊;阿什什·蒂瓦里 11 2005 连续动力系统的演绎验证。 Zbl 1248.68336号 安库尔·塔利;阿什什·蒂瓦里 10 2009 非线性系统：近似可达集。 Zbl 1135.93318号 阿什什·蒂瓦里;高拉夫·坎纳 9 2004 多目标优化问题的一阶最优性条件和对偶结果。 Zbl 1208.90151号 S.S.阿斯卡尔。;蒂瓦里，A。 8 2009 关于线性浅项重写系统的汇流。 Zbl 1035.68058号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 8 2003 生成方框不变量。 兹比尔1144.93311 阿什什·蒂瓦里 8 2008 缓慢的粘性流体通过由具有不渗透核心的多孔圆柱形颗粒构成的膜。 Zbl 1186.76685号 德奥，萨蒂亚;普拉莫德·库马尔·雅达夫;阿什什·蒂瓦里 7 2010 使用right-flat规则终止重写。 Zbl 1203.68074号 吉勒姆·戈多伊;爱德华·亨廷福德;阿什什·蒂瓦里 6 2007 对线性算术和未解释函数的组合抽象进行断言检查。 Zbl 1178.68153号 苏米特·古尔瓦尼;阿什什·蒂瓦里 6 2006 同余闭包模结合性和交换性。 Zbl 0962.68085号 巴赫迈尔。;罗马克里希南，I.V。;蒂瓦里，A。;Vigneron，L。 6 2000 逻辑解释：使用定理证明进行静态程序分析。 Zbl 1213.68210号 阿什什·蒂瓦里;苏米特·古尔瓦尼 6 2007 平行于带有多孔层的圆柱形细胞轴的微孔流体的蠕变流动。 Zbl 1473.76057号 Khanukaeva，D.Yu。;菲利波夫，A.N。;Yadav，P.K。;蒂瓦里，A。 6 2019 不变量生成技术。 Zbl 0978.68091号 蒂瓦里，A。;H·路。;H·塞迪。;北卡罗来纳州Shankar。 6 2001 非线性约束不可满足性的代数方法。 Zbl 1136.68522号 阿什什·蒂瓦里 6 2005 统一断言检查。 Zbl 1132.68470号 苏米特·古尔瓦尼;阿什什·蒂瓦里 5 2007 计算程序间分析的程序摘要。 Zbl 1187.68153号 苏米特·古尔瓦尼;阿什什·蒂瓦里 5 2007 使用约束求解合成开关逻辑。 Zbl 1206.68191号 安库尔·塔利;苏米特·古尔瓦尼;阿什什·蒂瓦里 5 2009 TeLEx：使用紧密度度量从正面示例学习信号时序逻辑。 Zbl 1425.68349号 苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar 5 2019 用于分析堆操作低级软件的抽象域。 兹比尔1135.68366 苏米特·古尔瓦尼;阿什什·蒂瓦里 4 2007 抽象同余闭包和特化。 Zbl 0963.68233号 利奥·巴赫迈尔;阿什什·蒂瓦里 4 2000 刚性\（E\）-统一修订。 Zbl 0963.68187号 阿什什·蒂瓦里;利奥·巴赫迈尔;哈拉尔德·鲁斯 4 2000 多项式时间内某些项重写系统的合流判定。 Zbl 1072.68051号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 4 2004 通过重写闭包确定右（基或变量）重写系统的基本属性。 Zbl 1126.68566号 吉勒姆·戈多伊;阿什什·蒂瓦里 3 2004 使用双重解释的程序合成。 Zbl 1465.68051号 阿什什·蒂瓦里;阿德里亚·加斯科恩;布鲁诺·杜特雷 3 2015 多项式套索程序的合成。 Zbl 1428.68187号 简·莱克;阿什什·蒂瓦里 3 2014 用过程调用检查程序的不变量。 Zbl 1248.68143号 吉勒姆·戈多伊;阿什什·蒂瓦里 3 2009 由被多孔层覆盖的球形颗粒构成的膜的流体动力渗透率。 兹比尔1390.74052 普拉莫德·库马尔·亚达夫;阿什什·蒂瓦里;普里扬卡·辛格 3 2018 通过重写闭包和右基项重写系统表征汇流。 Zbl 1112.68078号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 3 2004 使用浅右线性、折叠和右轮规则终止重写系统。 Zbl 1135.68448号 吉勒姆·戈多伊;阿什什·蒂瓦里 3 2005 与一个上下文变量的上下文统一。 Zbl 1192.68431号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 2 2010 软计算的应用。从理论到实践。 Zbl 1185.68012号 2 2009 非线性实数算法的基于搜索的过程。 Zbl 1358.68149号 阿什什·蒂瓦里;帕特里克·林肯 2 2016 空腔内的自然对流，空腔的倾斜上表面填充有各向异性多孔材料。 Zbl 1330.76132号 蒂瓦里，A.K。;A.K.辛格。;P·钱德兰。;北卡罗来纳州萨切蒂。 2 2012 大型弹球双支持向量机。 Zbl 07624280号 M·坦维尔。;蒂瓦里，A。;乔达里，R。;Ganaie，医学硕士。 2 2022 未解释函数理论的连接算法。 Zbl 1117.03340号 苏米特·古尔瓦尼;阿什什·蒂瓦里;Necula，George C。 2 2004 寻找证据来找到程序：基于装饰组件的程序合成。 Zbl 1494.68057号 阿德里亚·加斯科恩;阿什什·蒂瓦里;布伦特·卡默;乌芒·马图尔 2 2017 关于在双球极坐标系中表示无旋流的偏微分方程的解。 Zbl 1163.76014号 德奥，萨蒂亚;阿什什·蒂瓦里 2 2008 混合系统：计算和控制。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。 Zbl 1103.68006号 2 2006 通过小血管流动的非牛顿流体中的溶质分散：一种不同粘度的方法。 Zbl 1487.76117号 Satyendra Singh Chauhan;阿什什·蒂瓦里 2 2022 结合方程式推理。 Zbl 1193.68239号 阿什什·蒂瓦里 1 2009 使用基于SAT的方法分析路径。 兹比尔1126.92021 阿什什·蒂瓦里;卡罗琳·塔尔科特;梅里尔·纳普;帕特里克·林肯;基思·雷德鲁特 1 2007 对冲基金复制：一种模型组合方法。 Zbl 1402.91722号 迈克尔·奥多尔蒂。;萨文，N.E。;阿什什·蒂瓦里 1 2017 一类具有多项式合流问题的项重写系统。 Zbl 1367.68132号 吉勒姆·戈多伊;罗伯特·纽文胡斯;阿什什·蒂瓦里 1 2004 自动推理。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。 Zbl 1337.68016号 1 2016 非线性重写闭包和弱归一化。 Zbl 1314.68171号 卡莱斯·克鲁斯;吉勒姆·戈多伊;弗朗西斯科·马萨内斯;阿什什·蒂瓦里 1 2013 \交换Noetherian环上多项式理想的（D\）-基。 Zbl 1379.68362号 利奥·巴赫迈尔;阿什什·蒂瓦里 1 1997 通过重写闭包进行规范化。 Zbl 0943.68090号 巴赫迈尔。;罗马克里希南，C.R。;罗马克里希南，I.V。;蒂瓦里，A。 1 1999 斯托克斯流通过由非均匀多孔圆柱形颗粒构成的膜。 Zbl 1443.76225号 Yadav，P.K。;辛格，P。;蒂瓦里，A。;Deo，S。 1 2019 通过球形容器中带有非均匀多孔层的球形液滴的运动。 Zbl 1457.76171号 Yadav，P.K。;蒂瓦里，A。;辛格，P。 1 2020 神经群集：群集控制器的基于MPC的监督学习。 兹比尔1442.68212 乌萨马·梅穆德;Roy，Shouvik（舒维克·罗伊）;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。;阿什什·蒂瓦里 1 2020 重写接地和抵消AC理论的闭包。 Zbl 1052.68068号 阿什什·蒂瓦里 1 2001 ARES：最优方案的自适应滚动时域综合。 Zbl 1453.90181号 安娜·卢基纳;卢卡斯·埃斯特利;赫希，克里斯蒂安;埃齐奥·巴托西;杨俊兴;阿什什·蒂瓦里;斯科特·斯莫尔卡。;拉杜·格罗苏 1 2017 大型弹球双支持向量机。 Zbl 07624280号 M·坦维尔。;蒂瓦里，A。;乔达里，R。;Ganaie，医学硕士。 2 2022 非牛顿流体中通过小血管流动的溶质分散：一种变粘度方法。 兹比尔1487.76117 Satyendra Singh Chauhan;阿什什·蒂瓦里 2 2022 通过球形容器中带有非均匀多孔层的球形液滴的运动。 Zbl 1457.76171号 Yadav，P.K。;蒂瓦里，A。;辛格，P。 1 2020 神经群集：群集控制器的基于MPC的监督学习。 Zbl 1442.68212号 乌萨马·梅穆德;Roy，Shouvik（舒维克·罗伊）;拉杜·格罗苏;斯科特·斯莫尔卡。;斯科特·斯托勒。;阿什什·蒂瓦里 1 2020 演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 Zbl 07120164号 杜塔，苏拉德普;陈欣;苏斯米特·贾;桑卡拉纳拉亚南，斯里拉姆;阿什什·蒂瓦里 13 2019 平行于带有多孔层的圆柱形细胞轴的微孔流体的蠕变流动。 Zbl 1473.76057号 Khanukaeva，D.Yu。;菲利波夫，A.N。;Yadav，P.K。;蒂瓦里，A。 6 2019 TeLEx：使用紧密度度量从正面示例学习信号时序逻辑。 Zbl 1425.68349号 苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar 5 2019 斯托克斯流动通过由非均匀多孔圆柱形颗粒形成的膜。 Zbl 1443.76225号 Yadav，P.K。;辛格，P。;蒂瓦里，A。;Deo，S。 1 2019 由被多孔层覆盖的球形颗粒构成的膜的流体动力渗透率。 Zbl 1390.74052号 普拉莫德·库马尔·亚达夫;阿什什·蒂瓦里;普里扬卡·辛格 3 2018 寻找证据来找到程序：基于修饰组件的程序合成。 Zbl 1494.68057号 阿德里亚·加斯科恩;阿什什·蒂瓦里;布伦特·卡默;乌芒·马图尔 2 2017 对冲基金复制：一种模型组合方法。 Zbl 1402.91722号 运营；迈克尔·多尔蒂。;萨文，N.E。;阿什什·蒂瓦里 1 2017 ARES：最优方案的自适应滚动时域综合。 兹比尔1453.90181 安娜·卢基纳;卢卡斯·埃斯特利;赫希，克里斯蒂安;埃齐奥·巴托西;杨俊兴;阿什什·蒂瓦里;斯科特·斯莫尔卡。;拉杜·格罗苏 1 2017 非线性实数算法的基于搜索的过程。 Zbl 1358.68149号 阿什什·蒂瓦里;帕特里克·林肯 2 2016 自动推理。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。 Zbl 1337.68016号 1 2016 使用双重解释的程序综合。 Zbl 1465.68051号 阿什什·蒂瓦里;阿德里亚·加斯科恩;布鲁诺·杜特雷 3 2015 多项式套索程序的合成。 Zbl 1428.68187号 简·莱克;阿什什·蒂瓦里 3 2014 非线性重写闭包和弱归一化。 Zbl 1314.68171号 卡莱斯·克鲁斯;吉勒姆·戈多伊;弗朗西斯科·马萨内斯;阿什什·蒂瓦里 1 2013 上表面倾斜且充满各向异性多孔材料的腔体中的自然对流。 Zbl 1330.76132号 蒂瓦里，A.K。;A.K.辛格。;P·钱德兰。;北卡罗来纳州萨切蒂。 2 2012 使用实量词消去的验证和合成。 Zbl 1323.68385号 托马斯·斯特姆;阿什什·蒂瓦里 14 2011 由多孔壳覆盖的球形颗粒构成的膜的流体动力渗透率：应力跳跃条件的影响。 Zbl 1398.76223号 普拉莫德·库马尔·雅达夫;阿什什·蒂瓦里;德奥，萨蒂亚;阿纳托利·菲利波夫;谢尔盖·瓦辛 12 2010 缓慢的粘性流体通过由具有不渗透核心的多孔圆柱形颗粒构成的膜。 Zbl 1186.76685号 德奥，萨蒂亚;普拉莫德·库马尔·雅达夫;阿什什·蒂瓦里 7 2010 与一个上下文变量的上下文统一。 Zbl 1192.68431号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 2 2010 生物激励动力系统中的盒不变性。 Zbl 1197.34088号 亚历山德罗·阿巴特;阿什什·蒂瓦里;Shankar Sastry公司 35 2009 连续动力系统的演绎验证。 Zbl 1248.68336号 Taly，安库尔;阿什什·蒂瓦里 10 2009 多目标优化问题的一阶最优性条件和对偶结果。 Zbl 1208.90151号 S.S.阿斯卡尔。;蒂瓦里，A。 8 2009 使用约束求解合成开关逻辑。 Zbl 1206.68191号 安库尔·塔利;苏米特·古尔瓦尼;阿什什·蒂瓦里 5 2009 用过程调用检查程序的不变量。 Zbl 1248.68143号 吉勒姆·戈多伊;阿什什·蒂瓦里 3 2009 软计算的应用。从理论到实践。 Zbl 1185.68012号 2 2009 结合了等式推理。 Zbl 1193.68239号 阿什什·蒂瓦里 1 2009 基于约束的混合系统分析方法。 Zbl 1155.68437号 苏米特·古尔瓦尼;阿什什·蒂瓦里 28 2008 混合系统的抽象。 Zbl 1133.68368号 阿什什·蒂瓦里 17 2008 将抽象解释器提升到量化的逻辑域。 Zbl 1295.68085号 苏米特·古尔瓦尼;比尔·麦克洛斯基;阿什什·蒂瓦里 17 2008 生成方框不变量。 Zbl 1144.93311号 阿什什·蒂瓦里 8 2008 关于在双球极坐标系中表示无旋流的偏微分方程的解。 Zbl 1163.76014号 德奥，萨蒂亚;阿什什·蒂瓦里 2 2008 使用right-flat规则终止重写。 Zbl 1203.68074号 吉勒姆·戈多伊;爱德华·亨廷福德;阿什什·蒂瓦里 6 2007 逻辑解释：使用定理证明进行静态程序分析。 Zbl 1213.68210号 阿什什·蒂瓦里;苏米特·古尔瓦尼 6 2007 统一断言检查。 Zbl 1132.68470号 苏米特·古尔瓦尼;阿什什·蒂瓦里 5 2007 计算程序间分析的程序摘要。 Zbl 1187.68153号 苏米特·古尔瓦尼;阿什什·蒂瓦里 5 2007 用于分析堆操作低级软件的抽象域。 Zbl 1135.68366号 苏米特·古尔瓦尼;阿什什·蒂瓦里 4 2007 使用基于SAT的方法分析路径。 兹比尔1126.92021 阿什什·蒂瓦里;卡罗琳·塔尔科特;克纳普，美林;帕特里克·林肯;基思·雷德鲁特 1 2007 对线性算术和未解释函数的组合抽象进行断言检查。 Zbl 1178.68153号 苏米特·古尔瓦尼;阿什什·蒂瓦里 6 2006 混合系统：计算和控制。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。 Zbl 1103.68006号 2 2006 生成混合系统的多项式不变量。 Zbl 1078.93026号 恩里克·罗德里格斯-卡博内尔;阿什什·蒂瓦里 13 2005 浅层右线性重写系统的汇合。 Zbl 1136.68411号 吉勒姆·戈多伊;阿什什·蒂瓦里 11 2005 非线性约束不可满足性的一种代数方法。 Zbl 1136.68522号 阿什什·蒂瓦里 6 2005 使用浅右线性、折叠和右轮规则终止重写系统。 Zbl 1135.68448号 吉勒姆·戈多伊;阿什什·蒂瓦里 3 2005 线性程序的终止。 Zbl 1103.68037号 阿什什·蒂瓦里 31 2004 符号系统生物学：生物网络的混合建模和分析。 Zbl 1135.93308号 帕特里克·林肯;阿什什·蒂瓦里 14 2004 SAL 2。 Zbl 1103.68644号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;北卡罗来纳州Shankar。;玛丽亚，索里亚;阿什什·蒂瓦里 13 2004 非线性系统：近似可达集。 Zbl 1135.93318号 阿什什·蒂瓦里;高拉夫·坎纳 9 2004 多项式时间内某些项重写系统的合流判定。 Zbl 1072.68051号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 4 2004 通过重写闭包确定右（基或变量）重写系统的基本属性。 Zbl 1126.68566号 吉勒姆·戈多伊;阿什什·蒂瓦里 3 2004 通过重写闭包和右基项重写系统表征汇流。 Zbl 1112.68078号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 3 2004 用于未解释函数理论的联接算法。 Zbl 1117.03340号 苏米特·古尔瓦尼;阿什什·蒂瓦里;Necula，George C。 2 2004 一类具有多项式合流问题的项重写系统。 Zbl 1367.68132号 吉勒姆·戈多伊;罗伯特·纽文胡斯;阿什什·蒂瓦里 1 2004 线性系统的近似可达性。 Zbl 1032.93518号 阿什什·蒂瓦里 18 2003 自动符号可达性分析；应用于Delta-Notch信令自动机。 Zbl 1032.92500号 罗诺霍伊·高什;阿什什·蒂瓦里;克莱尔·汤姆林 17 2003 抽象同余闭包。 Zbl 1040.03006号 利奥·巴赫迈尔;阿什什·蒂瓦里;洛朗·维格纳龙 17 2003 关于线性浅项重写系统的汇流。 Zbl 1035.68058号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 8 2003 混合自动机的一系列抽象。 Zbl 1044.93523号 阿什什·蒂瓦里;高拉夫·坎纳 23 2002 不变量生成技术。 兹伯利0978.68091 蒂瓦里，A。;H·路。;H·塞迪。;北卡罗来纳州Shankar。 6 2001 重写接地和抵消AC理论的闭包。 Zbl 1052.68068号 阿什什·蒂瓦里 1 2001 二次分配问题的贪婪遗传算法。 Zbl 0970.90067号 拉文德拉·K·阿胡加。;詹姆斯·奥林（James B.Orlin）。;阿什什·蒂瓦里 40 2000 同余闭包模结合性和交换性。 Zbl 0962.68085号 巴赫迈尔。;罗马克里希南，I.V。;蒂瓦里，A。;维格纳龙，L。 6 2000 抽象同余闭包和特化。 Zbl 0963.68233号 利奥·巴赫迈尔;阿什什·蒂瓦里 4 2000 刚性\（E\）-统一修正。 Zbl 0963.68187号 阿什什·蒂瓦里;利奥·巴赫迈尔;哈拉尔德·鲁斯 4 2000 通过重写闭包进行规范化。 Zbl 0943.68090号 巴赫迈尔。;罗马克里希南，C.R。;罗马克里希南，I.V。;蒂瓦里，A。 1 1999 \交换Noetherian环上多项式理想的（D\）-基。 Zbl 1379.68362号 利奥·巴赫迈尔;阿什什·蒂瓦里 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名736位作者引用 12 潘卡杰·库马尔·蒂瓦里 11 阿什什·库马尔·蒂瓦里 10 詹乃军 9 吉勒姆·戈多伊 9 卡普尔，迪帕克 9 安德烈·普拉泽 7 卡拉广场 6 亚历山德罗·阿巴特 6 埃齐奥·巴托西 6 普拉莫德·库马尔·亚达夫 6 Ouaknine，Joel O。 6 安德鲁·索戈孔 6 詹姆斯·沃雷尔。 6 夏碧灿 6 杨正峰 5 乔伊德夫·查托帕迪亚伊 5 Thao Dang先生 5 兹维州德雷兹纳 5 英德拉吉·戈什 5 吉尔根·吉斯尔 5 林，王 5 曾振兵 5 张志海 4 阿尔贝托·卡萨格兰德 4 德奥，萨蒂亚 4 纳迪尔·马特林格 4 阿文德·库马尔·米斯拉 4 阿纳多·维埃拉·穆拉 4 雷比哈，拉希德 4 菲利普·吕默 4 Masahiko酒井 4 苏迪普·萨曼塔 4 桑卡拉纳拉亚南，斯里拉姆 4 斯科特·斯莫尔卡。 4 Rakesh M.维尔玛。 4 吴敏 4 赵恒军 3 彼得·贝克曼 3 弗兰科·布兰奇尼 3 玛丽亚·保拉（Maria Paola Bonacina） 3 米歇尔·博雷尔 3 迪米特里斯·博斯科斯 3 查克拉波蒂，苏普拉特克 3 亚历山德罗·西马蒂 3 克拉克（Edmund Melson jun Clarke）。 3 弗拉维奥·科拉迪尼 3 迪马罗戈纳斯，迪莫斯五世。 3 埃米利亚·恩切娃 3 阿德里亚·加斯科恩 3 哈利勒·戈尔巴尔 3 朱利亚·佐丹诺 3 安托万·吉拉德 3 拉杜·格罗苏 3 巴德省霍克萨 3 保罗·B·杰克逊。 3 佛罗伦萨·杰克马尔 3 Joost-Pieter卡托恩 3 玛亚·马尔切娃 3 何塞·梅塞盖尔·瓜伊塔 3 帕尔，萨马雷什 3 乔治·帕帕斯。 3 丹尼尔·普罗霍罗夫。 3 齐文海 3 拉贾尼什·库马尔·雷伊 3 S.Shankar，萨斯特里 3 斯特凡诺·托内塔 3 Tran，Hoang-Dung村 3 王国良 3 王秋叶 3 薛、白 2 扎基尔·侯赛因·艾哈迈德 2 阿克西，S。 2 拉杰夫·阿鲁尔 2 穆拉特·阿卡克 2 亚历山德罗·阿曼多 2 弗兰兹·巴德 2 克拉克·W·巴雷特。 2 法哈德·阿尔·巴西尔 2 科尔斯汀·鲍尔 2 阿米尔·本·阿姆拉姆。 2 Bérard，Béatrice公司 2 克里斯蒂娜·博拉莱拉斯 2 艾哈迈德·布瓦贾尼 2 Franz Brauße 2 达里奥·坎帕尼亚 2 达里奥·卡塔鲁扎 2 陈明帅 2 Choi、Sungwoo 2 彼得·柯林斯。 2 Sylvain Conchon公司 2 迪贝拉尔迪尼，玛丽亚·丽塔 2 维杰·迪尔瓦 2 斯蒂芬·福克 2 马亚尔·法兹利亚布 2 弗洛里安·弗洛恩 2 卡斯滕·福斯 2 高贤文 2 拉菲拉真蒂里尼 2 埃里克·古堡 2 阿什图什·古普塔 …还有636名作者 全部的 前5名95篇连载文章中引用 14 理论计算机科学 12 信息与计算 12 自动推理杂志 11 系统设计中的形式化方法 10 Automatica公司 10 非线性分析。混合动力系统 9 符号计算杂志 7 计算的形式方面 5 信息处理信件 5 欧洲运筹学杂志 5 生物系统杂志 5 系统科学与复杂性杂志 5 计算机科学中的逻辑方法 5 国际应用与计算数学杂志 4 应用数学与计算 4 麦加尼卡 4 程序设计中的逻辑和代数方法杂志 3 信息学学报 3 运筹学年鉴 3 离散事件动态系统 3 工程、通信和计算中的应用代数 3 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 3 欧洲力学杂志。B.流体 3 计算机科学评论 2 离散应用数学 2 应用科学中的数学方法 2 数学生物学通报 2 模拟中的数学和计算机 2 Opsearch（操作搜索） 2 计算机程序设计科学 2 国际生产研究杂志 2 计算机与运筹学 2 亚太运筹学杂志 2 MCSS公司。控制、信号和系统数学 2 应用数学建模 2 国际鲁棒非线性控制杂志 2 边界元工程分析 2 工程中的数学问题 2 非线性动力学 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 2 生物动力学杂志 2 计算机科学中的数学 2 信息系统与运筹学 1 机械学报 1 人工智能 1 流体动力学 1 国际系统科学杂志 1 计算物理杂志 1 富兰克林学院学报 1 数学生物学杂志 1 混沌、孤子和分形 1 镓ṇita公司 1 信息科学 1 计算机与系统科学杂志 1 网络 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 SIAM控制与优化杂志 1 系统和控制信件 1 运营研究信件 1 电路、系统和信号处理 1 纯逻辑与应用逻辑年鉴 1 全球优化杂志 1 国际计算机数学杂志 1 SIAM优化杂志 1 国际应用科学与工程分叉与混沌杂志 1 计算优化与应用 1 应用非经典逻辑杂志 1 微分方程电子杂志（EJDE） 1 计算与应用数学 1 运筹学国际交易 1 启发式杂志 1 欧洲控制杂志 1 应用力学与技术物理杂志 1 应用数学与决策科学杂志 1 计算机基础理论 1 定量金融学 1 逻辑程序设计理论与实践 1 马来西亚数学科学学会公报。第二系列 1 ACM计算逻辑事务 1 离散优化 1 工业与管理优化杂志 1 优化信函 1 医学中的计算和数学方法 1 自然现象的数学建模 1 国际生物数学杂志 1 科学中国。信息科学 1 马来西亚数学科学杂志 1 中国计算机科学前沿 1 理论生物学杂志 1 计算机科学前沿 1 流行病学方法 1 国际系统科学杂志。系统与集成原理与应用 1 AMM公司。应用数学和力学。（英文版） 全部的 前5名27个领域被引用 242 计算机科学（68至XX） 74 系统论；控制（93至XX） 50 数学逻辑和基础（03-XX） 50 运筹学、数学规划（90-XX） 44 生物学和其他自然科学（92-XX） 27 流体力学（76-XX） 24 常微分方程（34-XX） 10 数值分析（65-XX） 9 动力系统和遍历理论（37至XX） 8 概率论与随机过程（60-XX） 5 偏微分方程（35-XX） 4 代数几何（14-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 3 交换代数（13-XX） 3 线性代数和多线性代数；矩阵理论（15-XX） 3 变分法与最优控制；最优化（49至XX） 3 统计学（62-XX） 2 数论（11-XX） 2 群论与推广（20-XX） 2 可变形固体力学（74-XX） 1 场论和多项式（12-XX） 1 特殊功能（33至XX） 1 差分和函数方程（39至XX） 1 算子理论（47-XX） 1 凸和离散几何（52至XX） 1 经典热力学，传热（80-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文