编辑配置文件(在新选项卡中打开) 贝扎德·阿克巴普尔 合著者距离 作者ID: 阿克巴普·贝扎德 发布日期: 贝扎德·阿克巴普尔 已编制索引的文档: 9出版物自2002年起 合著者: 3位合著者具有9联合出版物 92位合作作者 合著者 0 单作者的 5 索菲涅·塔哈尔 4 劳伦斯·查尔斯·保尔森 2 阿卜杜卡德·德克杜克 系列 1 自动推理杂志 1 系统设计中的形式化方法 1 应用逻辑杂志 领域 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用56次46文件 引用人▼ 年份▼ MetiTarski:实值特殊函数的自动定理证明程序。 Zbl 1215.68206号 贝扎德·阿克巴普尔;劳伦斯·查尔斯·保尔森 36 2010 扩展初等函数不等式的解析证明器。 Zbl 1137.68571号 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 8 2007 MetiTarski:基本函数的自动校准器。 Zbl 1166.68335号 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 4 2008 HOL中FFT算法的形式验证方法。 Zbl 1117.68484号 贝扎德·阿克巴普尔;索菲涅·塔哈尔 三 2004 的应用梅蒂塔斯基在控制和混合系统的验证中。 Zbl 1237.93087号 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 2 2009 HOL中不动点算法的形式化。 Zbl 1085.68148号 贝扎德·阿克巴普尔;索菲涅·塔哈尔;阿卜杜卡德·德克杜克 2 2005 利用定理证明对数字滤波器进行误差分析。 Zbl 1099.68719号 贝扎德·阿克巴普尔;索菲涅·塔哈尔 1 2004 MetiTarski:实值特殊函数的自动定理证明程序。 Zbl 1215.68206号 贝扎德·阿克巴普尔;劳伦斯·查尔斯·保尔森 36 2010 的应用梅蒂塔斯基在控制和混合系统的验证中。 Zbl 1237.93087号 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 2 2009 MetiTarski:基本函数的自动校准器。 Zbl 1166.68335号 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 4 2008 扩展初等函数不等式的解析证明器。 兹比尔1137.68571 贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 8 2007 HOL中定点运算的形式化。 兹比尔1085.68148 贝扎德·阿克巴普尔;索菲涅·塔哈尔;阿卜杜卡德·德克杜克 2 2005 HOL中FFT算法的形式验证方法。 Zbl 1117.68484号 贝扎德·阿克巴普尔;索菲涅·塔哈尔 三 2004 利用定理证明对数字滤波器进行误差分析。 Zbl 1099.68719号 贝扎德·阿克巴普尔;索菲涅·塔哈尔 1 2004 所有引用出版物 前5名被引用出版物 全部的 前5名114位作者引用 6 劳伦斯·查尔斯·保尔森 4 贝扎德·阿克巴普尔 三 约瑟夫·乌尔班 2 詹姆斯·布里奇。 2 关勇 2 Cezary卡利西克 2 穆尼奥斯,塞萨尔·A。 2 安东尼·约瑟夫·纳卡维奇 2 帕斯莫尔,格兰特·奥尼 2 安德烈·普拉泽 2 张杰 1 罗莎·阿巴西 1 艾丽卡·阿尔布拉汉姆 1 沃尔夫冈·阿伦特 1 泽维尔·阿拉米吉恩 1 马里奥·阿尔维亚诺 1 阿奈、平子 1 Noriko H.Arai。 1 杰里米·阿维加德 1 安妮·巴南 1 卡特、丽贝卡 1 陈日增 1 卡雷尔·奇瓦洛夫斯克 1 弗洛里安·科齐利厄斯 1 伊娃·达鲁洛娃 1 詹姆斯·哈罗德·达文波特 1 简·杜拉茨 1 达特尔,亚伦·M。 1 英格兰,马修 1 梅德利纳·埃拉什库 1 雅克·弗莱里奥特。 1 彼得·弗兰克 1 藤崎隆彦 1 詹姆斯·加里奇奥 1 圣埃芬·高伯特 1 弗莱德里克·吉尔伯特 1 汉内·戈特利布森 1 露丝·哈迪 1 奥斯曼·哈桑 1 约翰·海丝特 1 布里兰·希塔吉 1 Hoon Hong 1 黄成超 1 黄宗彦 1 伊瓦内、希德诺 1 保罗·B·杰克逊。 1 Jakubův,简 1 Johnson,Taylor T。 1 塞巴斯蒂安·荣格斯 1 Gleb V.卡拉乔夫。 1 Yukiyoshi县Kameyama 1 Munehiro小林 1 米查尔·科内奇 1 康斯坦丁·科洛文 1 科瓦奇,劳拉·伊尔迪科 1 基里恩·克莱默 1 朱玛·库多 1 拉马纳·库马尔 1 昆查尔,Ondřej 1 大卫·R·莱斯特。 1 罗伯特·刘易斯。 1 李浩坤 1 李丽明 1 李文达 1 李志斌 1 奥尔加·莱特福特 1 帕特里克·D·林肯。 1 维克托·马格伦 1 毛丹文 1 埃里克·马丁·多雷尔 1 乌苏拉·马丁 1 Masuda、Masahiro 1 纳迪尔·马特林格 1 松崎隆彦 1 劳拉·I·梅克尔。 1 纪尧姆·梅尔金德 1 顾明 1 斯特凡·米奇 1 乔治·莫瑟 1 阿纳多·维埃拉·穆拉 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 米罗斯拉夫·奥沙克 1 萨姆·奥雷 1 拉斐尔·佩尼亚洛萨 1 贾·戴维德·奎塞尔 1 阿德南·拉希德 1 斯特凡·拉特肖恩 1 拉希德·热比哈 1 科迪·鲁克斯 1 菲利普·吕默 1 谢尔盖·于萨多夫(Sergey Yu Sadov)。 1 乔纳斯·希夫尔 1 斯特凡·舒普 1 Natarajan Shankar 1 史志平 1 安德鲁·索戈孔 1 宋晓宇 1 索菲涅·塔哈尔 1 Tan,Yong Kiam先生 1 阿什什·库马尔·蒂瓦里 …还有14位作者 全部的 前5名15篇连载文章中引用 11 自动推理杂志 2 理论计算机科学 2 符号计算杂志 1 数学笔记 1 数学和计算机建模 1 计算的形式方面 1 AI通信 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 工程中的数学问题 1 逻辑程序设计理论与实践 1 应用数学杂志 1 应用逻辑杂志 1 计算机科学中的数学 1 形式化推理杂志 全部的 前5名在12个字段中引用 44 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 7 数值分析(65-XX) 4 系统论;控制(93至XX) 三 实际功能(26年X月X日) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 场论和多项式(12-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 近似值和展开值(41至XX) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 按年份列出的引文