编辑配置文件（在新选项卡中打开） 穆罕默德·尤斯里·马哈茂德 合著者距离 作者ID： 马哈茂德·穆罕默德·尤斯里 发布日期： 穆罕默德·尤斯里·马哈茂德 编入索引的文档： 16出版物自1989年起 合著者： 8位合著者具有7联合出版物 82位合作作者 全部的 前5名合著者 1 单作者的 5 索菲涅·塔哈尔 三 乌迈尔·西迪克 2 文森特·阿拉万提诺斯 2 艾米·费尔蒂（Amy P.Felty）。 2 Elsayed H.萨利赫。 1 西迪·穆罕默德·贝拉希 1 肯·达顿 1 El-labany，S.K。 1 El-Taibany，W.F.公司。 1 威廉·格雷。 1 奥斯曼·哈桑 1 谢马·海尔米。 1 Sahar A.N.易卜拉欣。 1 Khan Afshar，萨纳兹 1 马萨瓦达，M.S。 1 莫克尔斯，N.A。 1 纳赫德·莫赫利斯。 1 Waleed M.穆斯林。 1 艾哈迈德·拉沙德。 1 麦金利·斯科特 1 Seddiki，昂斯 全部的 前5名系列 2 巴基斯坦统计与运营研究杂志 1 国际系统科学杂志 1 IAPQR交易 1 自动推理杂志 1 特拉巴霍斯·德·埃斯塔迪斯蒂卡 1 计算的形式方面 1 统计换档 1 测试 1 物理评论 1 控制和智能系统 1 计算机科学中的数学 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名领域 6 计算机科学（68至XX） 5 量子理论（81-XX） 4 统计学（62-XX） 2 概率论与随机过程（60-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 数学逻辑和基础（03-XX） 1 欧氏空间的调和分析（42至XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用22中的次18文件 引用人▼ 年份▼ 光学系统的形式化分析。 Zbl 1302.68245号 卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;塞迪基，昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔 9 2014 带有尘埃电荷变化的暖尘埃等离子体中尘埃声孤波的Kadomtsev-Petviashvili方程。 Zbl 1067.76103号 El-Labany，S.K.公司。;Waleed M.穆斯林。;El-Taibany，W.F.公司。;马哈茂德，M。 6 2004 HOL中Z变换的形式化。 Zbl 1416.68178号 乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;索菲涅·塔哈尔 5 2014 线性逻辑中Quipper量子编程语言的元理论的形式化。 Zbl 1468.68330号 穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 4 2019 量子编程语言的正式元级分析框架。 Zbl 1433.68078号 穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 2 2018 光学量子翻转门的形式验证。 兹比尔1416.68170 穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;索菲涅·塔哈尔 2 2014 广义指数寿命模型有限混合下的贝叶斯预测。 Zbl 1509.62200号 马哈茂德，M。;Elsayed H.萨利赫。;谢马·海尔米。 2 2014 一个两个不相同的单元冗余系统，具有公用故障和一个备用单元。 Zbl 0702.90029号 马哈茂德，M。;莫克尔斯，N.A。;E.H.萨利赫。 1 1989 根据完整和删失寿命试验数据对帕累托分布参数进行结构推断。 Zbl 0729.62646号 穆罕默德·马哈茂德;马萨瓦达，M.S。 1 1992 基于渐进II型截尾方案的逻辑分布参数的近似Bayes估计。 Zbl 1509.92003年9月 马哈茂德，M。;A.拉沙德。;优素福，M。 1 2016 线性逻辑中Quipper量子编程语言的元理论的形式化。 Zbl 1468.68330号 穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 4 2019 量子编程语言的正式元级分析框架。 Zbl 1433.68078号 穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 2 2018 基于渐进II型截尾方案的逻辑分布参数的近似Bayes估计。 Zbl 1509.92003年9月 马哈茂德，M。;A.拉沙德。;优素福，M。 1 2016 光学系统的形式分析。 Zbl 1302.68245号 卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;马哈茂德·穆罕默德·尤斯里;文森特·阿拉万提诺斯;塞迪基，昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔 9 2014 HOL中Z变换的形式化。 Zbl 1416.68178号 乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;索菲涅·塔哈尔 5 2014 光学量子翻转门的形式验证。 兹比尔1416.68170 穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;索菲涅·塔哈尔 2 2014 广义指数寿命模型有限混合下的贝叶斯预测。 Zbl 1509.62200号 马哈茂德，M。;Elsayed H.萨利赫。;谢马·海尔米。 2 2014 带有尘埃电荷变化的暖尘埃等离子体中尘埃声孤波的Kadomtsev-Petviashvili方程。 Zbl 1067.76103号 El-Labany，S.K.公司。;Waleed M.穆斯林。;El-Taibany，W.F.公司。;马哈茂德，M。 6 2004 根据完整和删失寿命试验数据对帕累托分布参数进行结构推断。 Zbl 0729.62646号 穆罕默德·马哈茂德;马萨瓦达，M.S。 1 1992 一个两个不相同的单元冗余系统，具有公用故障和一个备用单元。 兹比尔0702.90029 马哈茂德，M。;莫克尔斯，N.A。;E.H.萨利赫。 1 1989 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 9 索菲涅·塔哈尔 5 奥斯曼·哈桑 5 乌迈尔·西迪克 三 萨纳兹·汗·阿夫沙尔 三 阿德南·拉希德 2 Cvetan Dunchev公司 2 艾米·费尔蒂（Amy P.Felty）。 2 穆罕默德·尤斯里·马哈茂德 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 纪尧姆·阿拉伊斯 1 文森特·阿拉万提诺斯 1 西迪·穆罕默德·贝拉希 1 关勇 1 Aliya Hameer 1 塞萨里·卡利西克 1 李永东 1 马可·曼托瓦尼 1 阿尔贝托·莫米利亚诺 1 卡洛斯·奥拉特 1 卢卡·保里尼 1 碧姬·品特卡 1 卢卡·罗维斯 1 史蒂文·施费尔 1 塞迪基，昂山素季 1 史志平 1 奥马尔·西迪克 1 凯瑟琳·斯塔克 1 约瑟夫·乌尔班 1 王国辉 1 布鲁诺·泽维尔 1 张敬之 1 玛格丽塔·佐齐 全部的 前5名7篇连载文章中引用 2 计算的形式方面 1 计算机与系统科学杂志 1 符号计算杂志 1 自动推理杂志 1 计算机科学中的数学结构 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 17 计算机科学（68至XX） 5 光学、电磁理论（78-XX） 三 数学逻辑和基础（03-XX） 三 欧氏空间的调和分析（42至XX） 三 量子理论（81-XX） 1 实际功能（26年X月X日） 1 常微分方程（34-XX） 1 积分变换，运算微积分（44-XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文