编辑配置文件（在新选项卡中打开） 阿尔蒂·古普塔 合著者距离 作者ID： 古普塔·阿提亚 发布日期： 阿尔蒂·古普塔 已编制索引的文档： 59出版物自1958年起，包括1本书 2作为编辑的贡献 合著者： 40位合著者具有42联合出版物 792合著作者 全部的 前5名合著者 0 单作者的 14 弗兰乔·伊万契奇 13 马来K·加奈。 9 王超 8 维尼特·卡隆 7 格里戈里·费迪尤科维奇 6 沙拉德·马利克 6 桑卡拉纳拉亚南，斯里拉姆 6 杨紫江 5 普拉纳夫·阿沙尔 2 高格尔·巴拉克利什南 2 哈利勒·戈尔巴尔 2 利马耶·里希克什 2 佩克，劳伦 2 伊利亚·什利亚克特 2 穆拉利达尔·塔卢普尔 2 杨伟坤 2 杨瑜（Yang，Yu） 2 张洪策 1 尼蓬阿罗拉 1 巴赫加，Supreet S。 1 帕拉萨拉·斯里达尔·达吉拉拉 1 德瑞克·恩格斯 1 埃斯瓦兰，维纳亚克 1 费内科斯（Georgios E.Fainekos）。 1 加伊，G.L。 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 S.R.戈蒂。 1 阿里·古芬克尔 1 威廉·R·哈里斯。 1 叶·诺里斯 1 希曼舒·杰恩 1 小跑，P.D。 1 塔伦·康德 1 直纪小林 1 J.Kuisalaas。 1 Sudipta昆都 1 郭森美。 1 V.J.兰巴。 1 莱姆斯，G。 1 Lödding，H。 1 库马尔·马杜卡尔 1 前田直人 1 Sham S.马利克。 1 A.H.马歇塔斯。 1 特朗·恩吉姆 1 乔治·J·帕帕斯。 1 苏曼特，帕布 1 沙兹·卡迪尔 1 雷耶斯·阿尔达索罗、康斯坦丁诺·卡洛斯 1 萨拉夫，M。 1 小薇，嘘 1 尼尚·辛哈 1 R.D.斯里拉姆。 1 普拉莫德·苏布拉曼扬 1 大亚·拉尔·苏塔尔 1 唐大觉 1 泰瑟·图利 1 曾，Mitchell M。 1 亚基尔·维泽尔 1 魏、欧 1 张月玲 全部的 前5名系列 2 计算机和结构 2 流体力学杂志 2 国际生产研究杂志 1 国际流体数值方法杂志 1 声音与振动杂志 1 分子模拟 1 运筹学学会杂志 1 理论计算机科学 1 CAD。计算机辅助设计 1 计算的形式方面 1 IEEE信号处理汇刊 1 IEEE声学、语音和信号处理汇刊 1 系统设计中的形式化方法 1 振动与控制杂志 1 Apulensis大学学报。数学-信息学 1 印度物理杂志 1 计算机科学课堂讲稿 1 可满足性、布尔建模与计算杂志 1 数学物理进展 全部的 前5名领域 43 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 5 数值分析（65-XX） 5 流体力学（76-XX） 4 可变形固体力学（74-XX） 三 运筹学、数学规划（90-XX） 2 总体主题；集合（00-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 复变量的函数（30年XX月） 1 粒子和系统力学（70-XX） 1 统计力学，物质结构（82-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用173中的次134文件 引用人▼ 年份▼ 关于线程通过锁通信的推理。 Zbl 1081.68623号 维尼特·卡隆；弗兰乔·伊万契奇；阿尔蒂·古普塔 19 2005 用于软件验证的高效的基于SAT的有界模型检查。 Zbl 1293.68079号 弗兰乔·伊万契奇；杨紫江；马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 11 2008 析取数值域中的静态分析。 Zbl 1225.68077号 桑卡拉纳拉亚南，斯里拉姆；弗兰乔·伊万契奇；伊利亚·什利亚克特；阿尔蒂·古普塔 11 2006 非线性混合系统时间特性证伪的蒙特卡罗技术。 Zbl 1361.68149号 特朗·恩吉姆；桑卡拉纳拉亚南，斯里拉姆；乔治·费内科斯；伊万奇，弗兰乔；阿尔蒂·古普塔；乔治·J·帕帕斯。 11 2010 剥离部分顺序减少。 Zbl 1134.68421号 王超；杨紫江；维尼特·卡隆；阿尔蒂·古普塔 11 2008 关于相互作用下推系统的分析。 Zbl 1295.68159号 维尼特·卡隆；阿尔蒂·古普塔 10 2007 单调部分降阶：一种最佳符号部分降阶技术。 Zbl 1242.68166号 维尼特·卡隆；王超；阿尔蒂·古普塔 9 2009 高阶剪切变形梁理论的有限元模型。 Zbl 1235.74291号 康德，T。；A.古普塔。 7 1988 使用符号范围进行程序分析。 Zbl 1211.68101号 桑卡拉纳拉亚南，斯里拉姆；弗兰乔·伊万契奇；阿尔蒂·古普塔 7 2007 句法引导终止分析。 Zbl 1511.68076号 格里戈里·费迪尤科维奇；张月玲；阿尔蒂·古普塔 6 2018 在关系验证中利用同步性和对称性。 Zbl 1511.68166号 佩克，劳伦；格里戈里·费迪尤科维奇；阿尔蒂·古普塔 6 2018 基于SAT的可扩展正式验证解决方案。 Zbl 1138.68037号 马来加奈；阿尔蒂·古普塔 6 2007 创作灵感？反例的因果分析。 Zbl 1161.68588号 王超；杨紫江；弗兰乔·伊万契奇；阿尔蒂·古普塔 6 2006 通过可满足性模路径程序进行程序分析。 Zbl 1312.68058号 威廉·R·哈里斯。；桑卡拉纳拉亚南，斯里拉姆；弗兰乔·伊万契奇；阿尔蒂·古普塔 6 2010 通过语法引导合成量化不变量。 Zbl 07805536号 格里戈里·费迪尤科维奇；苏曼特·普拉布；库马尔·马杜卡尔；阿尔蒂·古普塔 5 2019 一种在单机上调度作业族的遗传算法，具有任意的提前/延迟惩罚和不受限制的共同到期日。 Zbl 0953.90527号 韦伯斯特，S。；小跑，P.D。；A.古普塔。 5 1998 某些解析单价函数上超几何分布型级数卷积的一些性质。 Zbl 1438.30090号 波瓦尔，S。；A.古普塔。 5 2018 F-Soft：软件验证平台。 兹比尔1081.68581 Ivančić，F。；Z.杨。；M.K.加奈。；A.古普塔。；我·什利亚克特。；阿沙尔，P。 5 2005 使用部分订单和实时事务对并发程序进行符号模型检查。 Zbl 1188.68190号 维尼特·卡隆；阿尔蒂·古普塔；尼尚·辛哈 4 2006 并发程序的符号预测分析。 兹比尔1242.68187 王超；Sudipta昆都；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 4 2011 通过SAT和增量负循环消除确定分离逻辑公式。 Zbl 1143.68583号 王超；弗兰乔·伊万契奇；加奈语，马来语；阿尔蒂·古普塔 4 2005 利用反例提高多面体可达性计算的精度。 Zbl 1135.68370号 王超；杨紫江；阿尔蒂·古普塔；弗兰乔·伊万契奇 4 2007 固定点逻辑的折叠/展开转换。 Zbl 1483.68196号 直纪小林；格里戈里·费迪尤科维奇；阿尔蒂·古普塔 三 2020 圆环域：用于抽象解释的高效非凸域。 Zbl 1326.68094号 哈利勒·戈尔巴尔；弗兰乔·伊万契奇；高格尔·巴拉克利什南；前田直人；阿尔蒂·古普塔 三 2012 高效的分布式SAT和基于SAT的分布式有界模型检查。 Zbl 1179.68084号 马来K加奈；阿尔蒂·古普塔；杨紫江；普拉纳夫·阿沙尔 三 2003 计算机辅助验证。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。 Zbl 1139.68005号 三 2008 原子性违规的基于痕迹的符号分析。 Zbl 1284.68418号 王超；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 三 2010 轴对称壳体有限元分析的三次B样条曲线。 Zbl 0825.73709号 A.古普塔。；J.Kuisalaas。；萨拉夫，M。 2 1991 SDSAT：在分离逻辑求解器中紧密集成小域编码和惰性方法。 Zbl 1180.68241号 马来K加奈；穆拉利达尔·塔卢普尔；阿尔蒂·古普塔 2 2006 基于SAT的验证方法及其在硬件验证中的应用。 Zbl 1182.68119号 阿尔蒂·古普塔；马来K·加奈。；王超 2 2006 模型检查并发程序。 Zbl 1392.68251号 阿尔蒂·古普塔；维尼特·卡隆；沙兹·卡迪尔；泰瑟·图利 2 2018 使用并行自适应陷波滤波器的窄带有源噪声和振动控制系统的分析。 Zbl 1229.70090号 杨，F。；A.古普塔。；郭先生。 2 2008 局部半完全有向图的最小代价同态二分法。 Zbl 1168.05312号 A.古普塔。；卡里米，M。；E.J.金。；A.拉菲。 2 2008 谓词抽象的本地化和寄存器共享。 Zbl 1087.68593号 希曼舒·杰恩；弗兰乔·伊万契奇；阿尔蒂·古普塔；马来K·加奈。 2 2005 并发程序的快速准确静态数据空间检测。 Zbl 1135.68368号 维尼特·卡隆；杨瑜（Yang，Yu）；桑卡拉纳拉亚南，斯里拉姆；阿尔蒂·古普塔 2 2007 懒惰的自我组合用于安全验证。 Zbl 1511.68171号 杨伟坤；亚基尔·维泽尔；普拉莫德·苏布拉曼扬；阿尔蒂·古普塔；沙拉德·马利克 2 2018 来自有边界环境的无边界过程摘要。 Zbl 1472.68093号 皮克，劳伦；格里戈里·费迪尤科维奇；阿尔蒂·古普塔 1 2021 硬件模型检查中用于生成引理的语法引导合成。 Zbl 1472.68096号 张洪策；阿尔蒂·古普塔；沙拉德·马利克 1 2021 基于动态规划、神经网络和替代值的库存优化应用混合模型。 Zbl 1054.90515号 雷耶斯·阿尔达索罗，C.C。；甘古里，A.R。；莱姆斯，G。；A.古普塔。 1 1999 有界模型检测中嵌入式存储器的高效建模。 Zbl 1103.68615号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2004 使用属性驱动剪枝进行动态模型检查以检测竞争条件。 Zbl 1183.68383号 王超；杨瑜（Yang，Yu）；阿尔蒂·古普塔；加内什·戈帕拉克里什南 1 2008 为模块化硬件验证合成环境不变量。 兹比尔07228508 张洪策；杨伟坤；格里戈里·费迪尤科维奇；阿尔蒂·古普塔；沙拉德·马利克 1 2020 DiVer：用于验证大型系统的基于SAT的模型检查平台。 Zbl 1087.68588号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2005 使用扭转弹簧模型分析推进插入板的被动屈曲。 Zbl 1415.76786号 北卡罗来纳州阿罗拉。；康，C.-K。；西·夏伊。；A.古普塔。 1 2018 离散正弦变换的快速递归算法。 Zbl 0727.65127号 A.古普塔。；Rao，K.R。 1 1990 来自有界环境的无界过程摘要。 Zbl 1472.68093号 佩克，劳伦；格里戈里·费迪尤科维奇；阿尔蒂·古普塔 1 2021 硬件模型检查中用于生成引理的语法引导合成。 Zbl 1472.68096号 张洪策；阿尔蒂·古普塔；沙拉德·马利克 1 2021 固定点逻辑的折叠/展开转换。 Zbl 1483.68196号 直纪小林；格里戈里·费迪尤科维奇；阿尔蒂·古普塔 三 2020 为模块化硬件验证合成环境不变量。 兹比尔07228508 张洪策；杨伟坤；格里戈里·费迪尤科维奇；阿尔蒂·古普塔；沙拉德·马利克 1 2020 通过语法引导合成量化不变量。 Zbl 07805536号 格里戈里·费迪尤科维奇；苏曼特·普拉布；库马尔·马杜卡尔；阿尔蒂·古普塔 5 2019 句法引导终止分析。 Zbl 1511.68076号 格里戈里·费迪尤科维奇；张月玲；阿尔蒂·古普塔 6 2018 在关系验证中利用同步性和对称性。 Zbl 1511.68166号 佩克，劳伦；格里戈里·费迪尤科维奇；阿尔蒂·古普塔 6 2018 某些解析单价函数上超几何分布型级数卷积的一些性质。 Zbl 1438.30090号 波瓦尔，S。；A.古普塔。 5 2018 模型检查并发程序。 Zbl 1392.68251号 阿尔蒂·古普塔；维尼特·卡隆；沙兹·卡迪尔；泰瑟·图利 2 2018 懒惰的自我组合用于安全验证。 Zbl 1511.68171号 杨伟坤；亚基尔·维泽尔；普拉莫德·苏布拉曼扬；阿尔蒂·古普塔；沙拉德·马利克 2 2018 使用扭转弹簧模型分析推进插入板的被动屈曲。 Zbl 1415.76786号 北卡罗来纳州阿罗拉。；康，C.-K。；西·夏伊。；A.古普塔。 1 2018 圆环域：用于抽象解释的高效非凸域。 Zbl 1326.68094号 哈利勒·戈尔巴尔；弗兰乔·伊万契奇；高格尔·巴拉克利什南；前田直人；阿尔蒂·古普塔 三 2012 并发程序的符号预测分析。 Zbl 1242.68187号 王超；Sudipta昆都；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 4 2011 非线性混合系统时间特性证伪的蒙特卡罗技术。 Zbl 1361.68149号 郑恩谦；桑卡拉纳拉亚南，斯里拉姆；乔治·费内科斯；弗兰乔·伊万奇；阿尔蒂·古普塔；乔治·J·帕帕斯。 11 2010 通过可满足性模路径程序进行程序分析。 Zbl 1312.68058号 威廉·R·哈里斯。；桑卡拉纳拉亚南，斯里拉姆；弗兰乔·伊万契奇；阿尔蒂·古普塔 6 2010 原子性违规的基于痕迹的符号分析。 兹比尔1284.68418 王超；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 三 2010 单调部分降阶：一种最佳符号部分降阶技术。 Zbl 1242.68166号 维尼特·卡隆；王超；阿尔蒂·古普塔 9 2009 用于软件验证的高效SAT有界模型检查。 Zbl 1293.68079号 弗兰乔·伊万契奇；杨紫江；马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 11 2008 Peephore部分订单减少。 Zbl 1134.68421号 王超；杨紫江；维尼特·卡隆；阿尔蒂·古普塔 11 2008 计算机辅助验证。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。 Zbl 1139.68005号 三 2008 使用并行自适应陷波滤波器的窄带有源噪声和振动控制系统的分析。 Zbl 1229.70090号 杨，F。；A.古普塔。；郭先生。 2 2008 局部半完全有向图的最小代价同态二分法。 Zbl 1168.05312号 A.古普塔。；卡里米，M。；E.J.金。；A.拉菲。 2 2008 使用属性驱动剪枝进行动态模型检查以检测竞争条件。 Zbl 1183.68383号 王超；杨瑜（Yang，Yu）；阿尔蒂·古普塔；加内什·戈帕拉克里什南 1 2008 关于相互作用下推系统的分析。 Zbl 1295.68159号 维尼特·卡隆；阿尔蒂·古普塔 10 2007 使用符号范围进行程序分析。 Zbl 1211.68101号 桑卡拉纳拉亚南，斯里拉姆；弗兰乔·伊万契奇；阿尔蒂·古普塔 7 2007 基于SAT的可扩展正式验证解决方案。 Zbl 1138.68037号 马来加奈；阿尔蒂·古普塔 6 2007 利用反例提高多面体可达性计算的精度。 Zbl 1135.68370号 王超；杨紫江；阿尔蒂·古普塔；弗兰乔·伊万契奇 4 2007 针对并发程序的快速准确的静态数据空间检测。 Zbl 1135.68368号 维尼特·卡隆；杨瑜（Yang，Yu）；桑卡拉纳拉亚南，斯里拉姆；阿尔蒂·古普塔 2 2007 析取数值域中的静态分析。 Zbl 1225.68077号 桑卡拉纳拉亚南，斯里拉姆；弗兰乔·伊万契奇；伊利亚·什利亚克特；阿尔蒂·古普塔 11 2006 创作灵感？反例的因果分析。 Zbl 1161.68588号 王超；杨紫江；弗兰乔·伊万契奇；阿尔蒂·古普塔 6 2006 使用部分订单和实时事务对并发程序进行符号模型检查。 Zbl 1188.68190号 维尼特·卡隆；阿尔蒂·古普塔；尼尚·辛哈 4 2006 SDSAT：在分离逻辑求解器中紧密集成小域编码和惰性方法。 Zbl 1180.68241号 马来K加奈；穆拉利达尔·塔卢普尔；阿尔蒂·古普塔 2 2006 基于SAT的验证方法及其在硬件验证中的应用。 Zbl 1182.68119号 阿尔蒂·古普塔；马来K·加奈。；王超 2 2006 关于线程通过锁通信的推理。 Zbl 1081.68623号 维尼特·卡隆；弗兰乔·伊万契奇；阿尔蒂·古普塔 19 2005 F-Soft：软件验证平台。 Zbl 1081.68581号 Ivančić，F。；Z.杨。；M.K.加奈。；A.古普塔。；我·什利亚克特。；Ashar，P。 5 2005 通过SAT和增量负循环消除确定分离逻辑公式。 Zbl 1143.68583号 王超；弗兰乔·伊万契奇；马来加奈；阿尔蒂·古普塔 4 2005 谓词抽象的本地化和寄存器共享。 Zbl 1087.68593号 希曼舒·杰恩；弗兰乔·伊万契奇；阿尔蒂·古普塔；马来K·加奈。 2 2005 DiVer：基于SAT的模型检查平台，用于验证大规模系统。 兹比尔1087.68588 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2005 有界模型检测中嵌入式存储器的高效建模。 Zbl 1103.68615号 马来K·加奈。；阿尔蒂·古普塔；普拉纳夫·阿沙尔 1 2004 高效的分布式SAT和基于SAT的分布式有界模型检查。 Zbl 1179.68084号 加奈语，马来语K；阿尔蒂·古普塔；杨紫江；普拉纳夫·阿沙尔 三 2003 基于动态规划、神经网络和替代值的库存优化应用混合模型。 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.古普塔。；Rao，K.R。 1 1990 高阶剪切变形梁理论的有限元模型。 Zbl 1235.74291号 康德，T。；A.古普塔。 7 1988 所有引用出版物 前5名被引用出版物 全部的 前5名336位作者引用 7 阿尔蒂·古普塔 6 泰瑟·图利 5 格里戈里·费迪尤科维奇 4 穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 直纪小林 三 埃齐奥·巴托西 三 罗德里克·布洛姆 三 陈丽倩 三 亚历山德罗·西马蒂 三 维杰·迪尔瓦 三 阿尔贝托·格里乔 三 丹尼尔·科宁 三 德扬·尼科维奇 三 代表，Thomas W。 三 赫尔穆特·塞德尔 三 王，季 2 艾尔维拉·阿尔伯特 2 贝恩德·贝克尔 2 阿明·比尔 2 艾哈迈德·博阿贾尼 2 蔡少伟 2 查克拉波蒂，苏普拉特克 2 伊曼纽尔·德·安吉利斯 2 段振华 2 帕拉萨拉·斯里达尔·达吉拉拉 2 吉登·恩斯特 2 费内科斯（Georgios E.Fainekos）。 2 法比奥·菲奥拉万蒂 2 马来K·加奈。 2 尼古拉斯·哈尔巴赫斯 2 Heule，Marijn J.H。 2 维尼特·卡隆 2 尼古拉斯·基德 2 国王，安迪 2 埃里克·科斯金 2 阿卡什·拉尔 2 李伯翰 2 卡梅什·马杜里 2 恩里科·马格纳戈 2 阿尔贝托·佩特罗西 2 毛里齐奥·普罗埃蒂 2 罗德里格斯，塞萨尔·马林 2 阿尔伯特·鲁比奥 2 桑卡拉纳拉亚南，斯里拉姆 2 佐藤隆介 2 克里斯托夫·斯科尔 2 沙尔马，苏博德·K·。 2 娜塔莎·莎莉吉娜 2 宋，傅 2 马丁·斯特芬 2 克里希纳·苏布拉马尼 2 田聪 2 津田，武士 2 不，Hiroshi 2 城市，卡特里娜 2 王超 2 拉尔夫·维默（Ralf D.Wimmer）。 2 吴雪光 2 杨紫江 2 张楠 2 张新迪 1 艾丽卡·阿尔布拉汉姆 1 沃尔夫冈·阿伦特 1 艾切尔尼格，伯恩哈德·K。 1 马哈穆杜尔·费萨尔·阿梅恩 1 巴沙尔·拉维 1 泽维尔·阿拉米吉恩 1 吉安卢卡·阿马托 1 亚什万斯·安普雷迪 1 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 1 卡默·阿皮尼 1 塞皮德·阿萨迪 1 普拉纳夫·阿沙尔 1 苏海卜·巴里尔 1 斯坦利·巴克 1 克什蒂吉班萨尔 1 克拉克·W·巴雷特。 1 啤酒，伊兰 1 肖姆·本·达维德 1 艾哈迈德·巴亚特 1 迪帕利·布塔达 1 多梅尼科·比安库利 1 马丁·布利查 1 拉斯蒂斯拉夫·博迪克 1 奥利维尔·布瓦索 1 雷米·波顿 1 劳拉·博泽利 1 布莱恩，马丁 1 基南·布雷克 1 卜康康 1 马雷克查鲁帕 1 阿尼鲁德·钱德拉特 1 托马斯·查泰恩 1 克里希南德·查特吉 1 Cheremisinova，L.D。 1 哈娜·乔克勒 1 科宁，诺琳 1 赫莱内·科拉维扎 1 克里斯蒂安·科伦坡 1 迈克尔·科隆。 …还有236位作者 全部的 前5名30篇连载文章中引用 8 理论计算机科学 7 系统设计中的形式化方法 5 自动推理杂志 三 信息与计算 三 约束条件 三 逻辑与代数程序设计杂志 2 计算 2 计算的形式方面 2 逻辑程序设计理论与实践 2 Modelirovanie i Analiz信息系统 1 信息学报 1 国际通用系统杂志 1 信息处理信件 1 应用数学与计算 1 Automatica公司 1 SIAM计算机杂志 1 计算机程序设计科学 1 符号计算杂志 1 离散事件动态系统 1 自动化和远程控制 1 函数编程杂志 1 计算系统理论 1 高阶和符号计算 1 ACM计算逻辑汇刊 1 ACM实验算法杂志 1 浙江大学学报。科学A 1 可满足性、布尔建模与计算杂志 1 非线性分析。混合动力系统 1 程序设计中的逻辑和代数方法杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名在12个字段中引用 128 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 8 系统论；控制（93至XX） 6 运筹学、数学规划（90-XX） 5 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 2 数值分析（65-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文