编辑配置文件（在新选项卡中打开） 索菲涅·塔哈尔 合著者距离 作者ID： 塔哈尔硫烯 发布日期： 索菲涅·塔哈尔；索菲安·塔哈尔；南塔哈尔。 更多。。。较少的 已编制索引的文档： 71出版物自1999年起 2作为编辑的贡献 合著者： 50位合著者具有73联合出版物 680名合作作者 全部的 前5名合著者 0 单作者的 36 奥斯曼·哈桑 10 乌迈尔·西迪克 6 文森特·阿拉万提诺斯 5 贝扎德·阿克巴普尔 5 保罗·库松 5 萨纳兹·汗·阿夫沙尔 5 穆罕默德·尤斯里·马哈茂德 4 纳伊姆·阿巴斯 4 奥特曼·阿伊特·穆罕默德 4 刘丽娅 4 塔里克姆哈姆迪 三 瓦卡尔·艾哈迈德 三 熊海燕 2 穆罕默德·阿卜杜勒甘尼 2 萨伊德·阿贝德 2 瓦卡尔·艾哈迈德 2 西迪·穆罕默德·贝拉希 2 布兰福德，安 2 阿卜杜卡德·德克杜克 2 Cvetan Dunchev公司 2 亚斯梅恩·埃尔德哈利 2 梅萨·埃卢克 2 盖森·赫拉利 2 亚辛·莫赫塔里 2 穆尼奥斯，塞萨尔·A。 2 塞迪基，昂山素季 1 Abdel Hamid，Amr T。 1 穆罕默德·阿明·阿比德 1 维克托·卡雷诺（Victor A.Carreño）。 1 埃利夫·丹尼斯 1 茨维坦·邓切夫 1 阿姆贾德·加旺梅 1 阿里·哈比比 1 穆罕默德·萨拉·哈姆迪 1 乔泽夫·约翰内斯·玛丽亚·胡曼 1 Cezary卡利西克 1 伊斯坎德·科特 1 穆罕默德·拉尤尼 1 Le-Ngoc，Tho公司 1 吉加·帕特尔 1 穆罕默德·卡西姆 1 阿德南·拉希德 1 奥马尔·西迪克 1 宋晓宇 1 约瑟夫·乌尔班 1 王芳 1 翁建峰 1 克尔斯滕·温特 1 薛国清 1 哈桑·佐拜尔 全部的 前5名系列 4 计算的形式方面 4 应用逻辑杂志 三 系统设计中的形式化方法 2 计算机与系统科学杂志 2 计算机科学与技术杂志 2 自动推理杂志 2 计算机科学课堂讲稿 2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 1 应用科学中的数学方法 1 IEEE通讯汇刊 1 电气电子工程师学会计算机期刊 1 理论计算机科学 1 北欧计算机杂志 1 计算机科学中的数学 全部的 前5名领域 71 计算机科学（68至XX） 10 信息与通信理论、电路（94-XX） 8 概率论与随机过程（60-XX） 7 光学、电磁理论（78-XX） 5 运筹学、数学规划（90-XX） 4 数学逻辑和基础（03-XX） 三 量子理论（81-XX） 2 总体主题；集合（00-XX） 2 实函数（26年X月X日） 1 测量和集成（28-XX） 1 欧氏空间的调和分析（42至XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用149中的次70文件 引用人▼ 年份▼ 关于HOL中勒贝格积分理论的形式化。 Zbl 1291.68362号 塔雷克·姆哈迪；奥斯曼·哈桑；索菲涅·塔哈尔 22 2010 连续概率分布的形式化。 Zbl 1213.68570号 奥斯曼·哈桑；索菲涅·塔哈尔 12 2007 光学系统的形式分析。 Zbl 1302.68245号 卡恩·阿夫沙尔·萨纳兹；乌迈尔·西迪克；穆罕默德·尤斯里·马哈茂德；文森特·阿拉万提诺斯；塞迪基，昂山素季；奥斯曼·哈桑；索菲涅·塔哈尔 9 2014 使用定理证明来验证离散随机变量的期望和方差。 兹比尔1191.68621 奥斯曼·哈桑；索菲涅·塔哈尔 7 2008 关于HOL中几何光学的形式化分析。 Zbl 1396.68114号 乌迈尔·西迪克；文森特·阿拉万提诺斯；索菲涅·塔哈尔 7 2013 高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。 兹比尔1149.68013 6 2008 HOL中熵测度的形式化。 Zbl 1342.68295号 塔雷克·姆哈迪；奥斯曼·哈桑；索菲涅·塔哈尔 6 2011 HOL中离散随机变量期望性质的验证。 Zbl 1144.68358号 奥斯曼·哈桑；索菲涅·塔哈尔 6 2007 油气管道的正式可靠性分析。 Zbl 1304.68151号 瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲安·塔哈尔；穆罕默德·萨拉·哈姆迪 5 2014 关于HOL中Z变换的形式化。 Zbl 1416.68178号 乌迈尔·西迪克；穆罕默德·尤斯里·马哈茂德；索菲涅·塔哈尔 5 2014 使用定理证明进行形式可靠性分析。 Zbl 1366.94784号 奥斯曼·哈桑；索菲涅·塔哈尔；纳伊姆·阿巴斯 5 2010 HOL中FFT算法的形式验证方法。 Zbl 1117.68484号 贝扎德·阿克巴普尔；索菲涅·塔哈尔 三 2004 使用累积分布函数验证HOL中的概率特性。 兹比尔1213.68380 奥斯曼·哈桑；索菲涅·塔哈尔 三 2007 HOL中有限状态离散时间马尔可夫链的形式化。 Zbl 1348.68221号 刘丽娅；奥斯曼·哈桑；索菲涅·塔哈尔 三 2011 使用千年发展目标在HOL中提供自动化验证。 Zbl 1108.68514号 塔里克姆哈姆迪；索菲涅·塔哈尔 2 2004 HOL中光波导的形式化分析。 Zbl 1252.68256号 奥斯曼·哈桑；萨纳兹·汗·阿夫沙尔；索菲涅·塔哈尔 2 2009 HOL定理证明器中尾部分布界的形式化验证。 Zbl 1167.68053号 奥斯曼·哈桑；索菲涅·塔哈尔 2 2009 利用定理证明对组合电路进行形式化可靠性分析。 Zbl 1217.94140号 奥斯曼·哈桑；吉加·帕特尔；索菲涅·塔哈尔 2 2011 使用连续随机变量进行正式寿命可靠性分析。 Zbl 1306.90040号 纳伊姆·阿巴斯；奥斯曼·哈桑；索菲涅·塔哈尔 2 2010 定理证明器中尾部分布界限的验证。 Zbl 1152.60312号 奥斯曼·哈桑；索菲涅·塔哈尔 2 2007 一种构造多路决策图的新方法。 Zbl 1161.68577号 莫赫塔里，Y。；萨伊德·阿贝德；O·艾特·穆罕默德。；南塔哈尔。；宋，X。 2 2008 高阶逻辑中可靠性框图的形式化。 Zbl 1436.68390号 瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲涅·塔哈尔 2 2016 HOL中不动点算法的形式化。 Zbl 1085.68148号 贝扎德·阿克巴普尔；索菲涅·塔哈尔；阿卜杜卡德·德克杜克 2 2005 HOL中停止等待协议的性能分析和功能验证。 Zbl 1191.68101号 奥斯曼·哈桑；索菲涅·塔哈尔 2 2009 高阶逻辑中复数向量的形式化。 Zbl 1304.68150号 萨纳兹·汗·阿夫沙尔；文森特·阿拉万提诺斯；奥斯曼·哈桑；索菲涅·塔哈尔 2 2014 光学量子翻转门的形式验证。 Zbl 1416.68170号 穆罕默德·尤斯里·马哈茂德；文森特·阿拉万提诺斯；索菲涅·塔哈尔 2 2014 面向高阶逻辑中分数阶微积分的形式化。 Zbl 1417.68194号 乌迈尔·西迪克；奥斯曼·哈桑；索菲涅·塔哈尔 2 2015 使用定理证明进行寿命可靠性分析的方法。 兹比尔1277.68216 纳伊姆·阿巴斯；奥斯曼·哈桑；索菲涅·塔哈尔 2 2014 HOL中有限状态离散时间马尔可夫链的形式化推理。 Zbl 1280.68124号 刘丽娅；奥斯曼·哈桑；索菲涅·塔哈尔 2 2013 将千年发展目标验证结果导入HOL。 Zbl 0969.94503号 熊海燕；保罗·库松；索菲涅·塔哈尔 1 1999 一种使用AsmL验证SystemC设计的方法。 Zbl 1170.68517号 阿里·哈比比；索菲涅·塔哈尔 1 2005 可重构存储器阵列中固定故障的形式概率分析。 Zbl 1211.68032号 奥斯曼·哈桑；纳伊姆·阿巴斯；索菲涅·塔哈尔 1 2009 在高阶逻辑定理证明器中推理条件概率。 兹伯利1216.68234 奥斯曼·哈桑；索菲涅·塔哈尔 1 2011 高阶逻辑中的定理证明。2002年8月20日至23日在美国弗吉尼亚州汉普顿举行的第15届TPHOLs 2002国际会议。诉讼程序。 Zbl 0997.00025号 1 2002 将ASM与MDG工具接口。 Zbl 1021.68523号 加万梅，阿姆贾德；索菲涅·塔哈尔；克尔斯滕·温特 1 2003 利用定理证明对数字滤波器进行误差分析。 Zbl 1099.68719号 贝扎德·阿克巴普尔；索菲涅·塔哈尔 1 2004 基于经验证的千年发展目标系统，将千年发展计划和总部正式联系起来。 Zbl 1057.68637号 熊海燕；保罗·库松；索菲涅·塔哈尔；布兰福德，安 1 2002 使用定理证明评估匿名性和机密性协议。 Zbl 1331.68028号 塔雷克·姆哈迪；奥斯曼·哈桑；索菲涅·塔哈尔 1 2015 几何光学形式推理框架。 Zbl 1304.68162号 乌迈尔·西迪克；索菲涅·塔哈尔 1 2014 HOL中正态随机变量的形式化。 Zbl 1344.68212号 穆罕默德·卡西姆；奥斯曼·哈桑；梅萨·埃卢克；索菲涅·塔哈尔 1 2016 HOL中基于RBD的因果分析的形式化。 Zbl 1485.68289号 穆罕默德·阿卜杜勒甘尼；索菲涅·塔哈尔 1 2021 物理形式化：自动化、演示和基础问题。 Zbl 1417.68186号 Cezary卡利西克；约瑟夫·乌尔班；乌迈尔·西迪克；卡恩·阿夫沙尔·萨纳兹；Cvetan Dunchev公司；索菲涅·塔哈尔 1 2015 在HOL Light中实现符号和数值计算。 Zbl 1417.68193号 塞迪基，昂山素季；Cvetan Dunchev公司；卡恩·阿夫沙尔·萨纳兹；索菲涅·塔哈尔 1 2015 NuMDG：一种用于构建多路决策图的新工具。 Zbl 1280.68121号 萨伊德·阿贝德；亚辛·莫赫塔里；奥特曼·艾特·穆罕默德；索菲涅·塔哈尔 1 2011 HOL中分类马尔可夫链的形式化推理。 Zbl 1317.68218号 刘丽娅；奥斯曼·哈桑；文森特·阿拉万提诺斯；索菲涅·塔哈尔 1 2013 无线传感器网络检测特性的形式化概率分析。 Zbl 1328.68037号 梅萨·埃卢克；奥斯曼·哈桑；索菲涅·塔哈尔；穆罕默德·阿比德 1 2015 智能电网变电站基于以太网的通信网络的形式可靠性和故障分析。 Zbl 1451.68057号 瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲涅·塔哈尔 1 2020 多处理器系统中内存争用的形式化分析。 Zbl 1409.68059号 刘丽娅；奥斯曼·哈桑；索菲涅·塔哈尔 1 2013 使用HOL定理证明进行形式化动态可靠性分析的框架。 兹比尔1455.68246 亚斯梅恩·埃尔德哈利；奥斯曼·哈桑；索菲涅·塔哈尔 1 2020 HOL中基于RBD的因果分析的形式化。 Zbl 1485.68289号 穆罕默德·阿卜杜勒甘尼；索菲涅·塔哈尔 1 2021 智能电网变电站基于以太网的通信网络的形式可靠性和故障分析。 兹比尔1451.68057 瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲涅·塔哈尔 1 2020 使用HOL定理证明进行形式化动态可靠性分析的框架。 Zbl 1455.68246号 亚斯梅恩·埃尔德哈利；奥斯曼·哈桑；索菲涅·塔哈尔 1 2020 高阶逻辑中可靠性框图的形式化。 兹比尔1436.68390 瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲涅·塔哈尔 2 2016 HOL中正态随机变量的形式化。 Zbl 1344.68212号 穆罕默德·卡西姆；奥斯曼·哈桑；梅萨·埃卢克；索菲涅·塔哈尔 1 2016 面向高阶逻辑中分数阶微积分的形式化。 Zbl 1417.68194号 乌迈尔·西迪克；奥斯曼·哈桑；索菲涅·塔哈尔 2 2015 使用定理证明评估匿名性和机密性协议。 Zbl 1331.68028号 塔雷克·姆哈迪；奥斯曼·哈桑；索菲涅·塔哈尔 1 2015 物理形式化：自动化、演示和基础问题。 Zbl 1417.68186号 Cezary卡利西克；约瑟夫·乌尔班；乌迈尔·西迪克；卡恩·阿夫沙尔·萨纳兹；Cvetan Dunchev公司；索菲涅·塔哈尔 1 2015 在HOL Light中实现符号和数值计算。 Zbl 1417.68193号 塞迪基，昂山素季；Cvetan Dunchev公司；卡恩·阿夫沙尔·萨纳兹；索菲涅·塔哈尔 1 2015 无线传感器网络检测特性的形式化概率分析。 Zbl 1328.68037号 梅萨·埃卢克；奥斯曼·哈桑；索菲涅·塔哈尔；穆罕默德·阿比德 1 2015 光学系统的形式分析。 Zbl 1302.68245号 卡恩·阿夫沙尔·萨纳兹；乌迈尔·西迪克；穆罕默德·尤斯里·马哈茂德；文森特·阿拉万提诺斯；塞迪基，昂山素季；奥斯曼·哈桑；索菲涅·塔哈尔 9 2014 油气管道的正式可靠性分析。 Zbl 1304.68151号 瓦卡尔·艾哈迈德；奥斯曼·哈桑；索菲安·塔哈尔；穆罕默德·萨拉·哈姆迪 5 2014 HOL中Z变换的形式化。 Zbl 1416.68178号 乌迈尔·西迪克；穆罕默德·尤斯里·马哈茂德；索菲涅·塔哈尔 5 2014 高阶逻辑中复数向量的形式化。 Zbl 1304.68150号 萨纳兹·汗·阿夫沙尔；文森特·阿拉万提诺斯；奥斯曼·哈桑；索菲涅·塔哈尔 2 2014 光学量子翻转门的形式验证。 Zbl 1416.68170号 穆罕默德·尤斯里·马哈茂德；文森特·阿拉万提诺斯；索菲涅·塔哈尔 2 2014 使用定理证明进行寿命可靠性分析的方法。 兹比尔1277.68216 纳伊姆·阿巴斯；奥斯曼·哈桑；索菲涅·塔哈尔 2 2014 几何光学形式推理框架。 兹比尔1304.68162 乌迈尔·西迪克；索菲涅·塔哈尔 1 2014 关于HOL中几何光学的形式化分析。 Zbl 1396.68114号 乌迈尔·西迪克；文森特·阿拉万提诺斯；索菲涅·塔哈尔 7 2013 HOL中有限状态离散时间马尔可夫链的形式化推理。 Zbl 1280.68124号 刘丽娅；奥斯曼·哈桑；索菲涅·塔哈尔 2 2013 HOL中分类马尔可夫链的形式化推理。 Zbl 1317.68218号 刘丽娅；奥斯曼·哈桑；文森特·阿拉万提诺斯；索菲涅·塔哈尔 1 2013 多处理器系统中内存争用的形式化分析。 Zbl 1409.68059号 刘丽娅；奥斯曼·哈桑；索菲涅·塔哈尔 1 2013 HOL中熵测度的形式化。 兹比尔1342.68295 塔雷克·姆哈迪；奥斯曼·哈桑；索菲涅·塔哈尔 6 2011 HOL中有限状态离散时间马尔可夫链的形式化。 Zbl 1348.68221号 刘丽娅；奥斯曼·哈桑；索菲涅·塔哈尔 三 2011 利用定理证明对组合电路进行形式化可靠性分析。 Zbl 1217.94140号 奥斯曼·哈桑；吉加·帕特尔；索菲涅·塔哈尔 2 2011 在高阶逻辑定理证明器中推理条件概率。 Zbl 1216.68234号 奥斯曼·哈桑；索菲涅·塔哈尔 1 2011 NuMDG：一种用于构建多路决策图的新工具。 Zbl 1280.68121号 Sa Abed先生；预计起飞时间；亚辛·莫赫塔里；奥特曼·艾特·穆罕默德；索菲涅·塔哈尔 1 2011 关于HOL中勒贝格积分理论的形式化。 Zbl 1291.68362号 塔雷克·姆哈迪；奥斯曼·哈桑；索菲涅·塔哈尔 22 2010 使用定理证明进行形式可靠性分析。 Zbl 1366.94784号 奥斯曼·哈桑；索菲涅·塔哈尔；纳伊姆·阿巴斯 5 2010 使用连续随机变量进行正式寿命可靠性分析。 Zbl 1306.90040号 纳伊姆·阿巴斯；奥斯曼·哈桑；索菲涅·塔哈尔 2 2010 HOL中光波导的形式化分析。 Zbl 1252.68256号 奥斯曼·哈桑；萨纳兹·汗·阿夫沙尔；索菲涅·塔哈尔 2 2009 HOL定理证明器中尾部分布界的形式化验证。 Zbl 1167.68053号 奥斯曼·哈桑；索菲涅·塔哈尔 2 2009 HOL中停止等待协议的性能分析和功能验证。 Zbl 1191.68101号 奥斯曼·哈桑；索菲涅·塔哈尔 2 2009 可重构存储器阵列中固定故障的形式概率分析。 Zbl 1211.68032号 奥斯曼·哈桑；纳伊姆·阿巴斯；索菲涅·塔哈尔 1 2009 使用定理证明来验证离散随机变量的期望和方差。 兹比尔1191.68621 奥斯曼·哈桑；索菲涅·塔哈尔 7 2008 高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。 兹比尔1149.68013 6 2008 一种构造多路决策图的新方法。 Zbl 1161.68577号 莫赫塔里，Y。；Sa Abed先生；预计起飞时间；O·艾特·穆罕默德。；南塔哈尔。；宋，X。 2 2008 连续概率分布的形式化。 Zbl 1213.68570号 奥斯曼·哈桑；索菲涅·塔哈尔 12 2007 HOL中离散随机变量期望性质的验证。 Zbl 1144.68358号 奥斯曼·哈桑；索菲涅·塔哈尔 6 2007 使用累积分布函数验证HOL中的概率特性。 兹比尔1213.68380 奥斯曼·哈桑；索菲涅·塔哈尔 三 2007 定理证明器中尾部分布界限的验证。 Zbl 1152.60312号 奥斯曼·哈桑；索菲涅·塔哈尔 2 2007 HOL中不动点算法的形式化。 Zbl 1085.68148号 贝扎德·阿克巴普尔；索菲涅·塔哈尔；阿卜杜卡德·德克杜克 2 2005 使用AsmL验证SystemC设计的方法。 Zbl 1170.68517号 阿里·哈比比；索菲涅·塔哈尔 1 2005 HOL中FFT算法的形式验证方法。 Zbl 1117.68484号 贝扎德·阿克巴普尔；索菲涅·塔哈尔 三 2004 使用千年发展目标在HOL中提供自动化验证。 Zbl 1108.68514号 塔雷克·姆哈迪；索菲涅·塔哈尔 2 2004 利用定理证明对数字滤波器进行误差分析。 Zbl 1099.68719号 贝扎德·阿克巴普尔；索菲涅·塔哈尔 1 2004 将ASM与MDG工具接口。 Zbl 1021.68523号 加万梅，阿姆贾德；索菲涅·塔哈尔；克尔斯滕·温特 1 2003 高阶逻辑中的定理证明。2002年8月20日至23日在美国弗吉尼亚州汉普顿举行的第15届TPHOLs 2002国际会议。诉讼程序。 Zbl 0997.00025号 1 2002 基于经验证的千年发展目标系统，将千年发展计划和总部正式联系起来。 Zbl 1057.68637号 熊海燕；保罗·库松；索菲涅·塔哈尔；布兰福德，安 1 2002 将千年发展目标验证结果导入HOL。 Zbl 0969.94503号 熊海燕；保罗·库松；索菲涅·塔哈尔 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名107位作者引用 32 索菲涅·塔哈尔 25 奥斯曼·哈桑 7 乌迈尔·西迪克 4 瓦卡尔·艾哈迈德 4 关勇 4 萨纳兹·汗·阿夫沙尔 4 拉马纳·库马尔 三 萨伊德·阿贝德 三 奥特曼·阿伊特·穆罕默德 三 约翰·Hölzl 三 Cezary卡利西克 三 阿德南·拉希德 三 史志平 三 约瑟夫·乌尔班 三 张杰 2 纳伊姆·阿巴斯 2 雷纳尔德·阿弗尔德 2 文森特·阿拉万提诺斯 2 西尔维·博尔多 2 Cvetan Dunchev公司 2 梅萨·埃卢克 2 Thibault Gauthier 2 李丽明 2 林晓然 2 穆罕默德·尤斯里·马哈茂德 2 塔雷克·姆哈迪 2 亚辛·莫赫塔里 2 塞迪基，昂山素季 2 宋晓宇 2 周尚波 1 穆罕默德·阿卜杜勒甘尼 1 穆罕默德·阿明·阿比德 1 瓦卡尔·艾哈迈德 1 贝扎德·阿克巴普尔 1 杰苏斯·阿兰塞 1 罗布·D·阿尔森。 1 菲利普·奥德巴德 1 杰里米·阿维加德 1 西迪·穆罕默德·贝拉希 1 布兰福德，安 1 伊贡博格尔 1 菲利普·布鲁克。 1 雷诺德·克莱维尔 1 弗朗索瓦Clément 1 科恩，西里尔 1 保罗·库松 1 Jose Divasón 1 弗洛里安·费索尔 1 本雅·法伦斯坦 1 顾伟清 1 马纳布哈吉瓦拉 1 穆罕默德·萨拉·哈姆迪 1 何继峰 1 阿明·海勒 1 Michikazu Hirata 1 黄洪忠 1 Yukiyoshi县Kameyama 1 凯瑟琳·勒雷 1 雷吉斯·勒沃格尔 1 罗伯特·刘易斯。 1 李福秋 1 李华 1 李晓娟 1 李晓鹏 1 李永东 1 刘丽娅 1 毛丹文 1 文森特·马丁 1 Masuda、Masahiro 1 米凯拉·梅耶罗 1 纪尧姆·梅尔金德 1 Minamide、Yasuhiko 1 顾明 1 玛格努斯·奥·米林。 1 阿列克西·诺金 1 迈克尔·诺里什 1 米罗斯拉夫·奥沙克 1 斯科特·欧文斯 1 吉加·帕特尔 1 克里斯汀·保林·莫林 1 劳伦斯·皮埃尔 1 穆罕默德·卡西姆 1 齐、英 1 秦胜超 1 佐藤，铁杉 1 乔纳斯·塞尼泽格斯 1 卢克·塞拉芬 1 奥马尔·西迪克 1 孙丽慧 1 唐洪斌 1 万，海 1 王国辉 1 韦伯，特贾克 1 魏红星 1 吴敏超 1 吴亚丽 1 熊海燕 1 徐润清 1 杨蓉 1 杨兆兰 …还有7位作者 全部的 前5名19篇连载文章中引用 12 自动推理杂志 6 计算的形式方面 4 应用逻辑杂志 三 计算机科学与技术杂志 2 计算机与系统科学杂志 2 系统设计中的形式化方法 2 应用数学杂志 1 应用科学中的数学方法 1 计算与应用数学杂志 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 数学和计算机建模 1 国际信息与管理科学杂志 1 MSCS公司。计算机科学中的数学结构 1 工程中的数学问题 1 复杂系统研究进展 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名18个领域被引用 65 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 6 概率论与随机过程（60-XX） 6 光学、电磁理论（78-XX） 6 信息与通信理论、电路（94-XX） 4 实函数（26年X月X日） 三 欧氏空间的调和分析（42至XX） 三 运筹学、数学规划（90-XX） 2 测量和集成（28-XX） 2 常微分方程（34-XX） 2 数值分析（65-XX） 2 量子理论（81-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 特殊功能（33至XX） 1 积分变换，运算微积分（44-XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文