编辑配置文件（在新选项卡中打开） 阿马尔·艾哈迈德 合著者距离 作者ID： 艾哈迈德·马尔 发布日期： 阿马尔·艾哈迈德 外部链接： MGP公司 已编制索引的文档： 34出版物自1997年起 1名编辑贡献 合著者： 24位合著者具有20联合出版物 285位合作作者 全部的 前5名合著者 三 单作者的 5 格雷格·莫里塞特 4 贾瓦德·艾哈迈德 4 Fluet，Matthew T。 4 马苏德·汗 三 阿卡尔（Umut A.Acar）。 三 谢赫·帕尔瓦兹·艾哈迈德 三 马蒂亚斯·布鲁姆 三 威廉·鲍曼。 三 新，Max S。 2 拉尔斯·比克达尔 2 詹姆斯·切尼 2 德里克·德雷尔（Derek R.Dreyer）。 1 阿瓦克·艾哈迈德 1 凯撒·艾哈迈德 1 罗伯特·布鲁斯·芬德勒 1 福特森，K。 1 阿卜杜勒·哈菲兹 1 M.金达尔。 1 阿卜杜勒·拉希姆·汗 1 Paulette Koronkevich 1 H·李。 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 Maroteaux，F。 1 雅各布·马修斯 1 阿列克桑达尔·纳内夫斯基 1 凯文·佩恩。 1 詹姆斯·佩尔孔蒂（James T.Perconti）。 1 罗利·佩雷拉 1 拉蒙·拉科夫 1 罗萨娜·兰多 1 Reshi，J.A。 1 尼克·里奥克斯 1 安德烈亚斯·罗斯伯格 1 加布里埃尔·谢勒 1 凯文·谢泼德 1 杰里米·西克。 1 苏贝利特，E。 1 雅各布·塔姆斯堡 1 亚伦·约瑟夫·图伦 1 菲利普·李·沃德勒 全部的 前5名系列 4 AMM公司。应用数学和力学。（英文版） 2 函数编程杂志 1 数学分析与应用杂志 1 Aligarh数学公报 1 MSCS公司。计算机科学中的数学结构 1 计算经济学 1 Mathematica Montisnigri公司 1 Revista Investigacionón运营 1 燃烧理论与建模 1 计算机基础理论 1 计算机科学课堂讲稿 1 国际农业和统计科学杂志 1 概率统计杂志 1 巴基斯坦统计与运营研究杂志 全部的 前5名字段 23 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 5 流体力学（76-XX） 三 运筹学、数学规划（90-XX） 2 统计学（62-XX） 2 经典热力学，传热（80-XX） 1 总体主题；集合（00-XX） 1 欧氏空间的调和分析（42至XX） 1 算子理论（47-XX） 1 一般拓扑结构（54至XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用131中的次97文件 引用人▼ 年份▼ 递归和量化类型的逐步诱导句法逻辑关系。 Zbl 1178.68146号 阿马尔·艾哈迈德 28 2006 依赖于州的表示独立性。 Zbl 1315.68080号 阿马尔·艾哈迈德;德雷克·德雷尔;安德烈亚斯·罗斯伯格 28 2009 细粒度并发的逻辑关系。 Zbl 1301.68181号 亚伦·J·图伦。;雅各布·塔姆斯堡;阿马尔·艾哈迈德;拉尔斯·比克达尔;德雷克·德雷尔 9 2013 一种通过多语言语义实现的保留等价性的CPS翻译。 Zbl 1323.68088号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 8 2011 对所有人负责。 兹比尔1284.68156 阿马尔·艾哈迈德;罗伯特·布鲁斯·芬德勒;杰里米·西克。;菲利普·沃德勒 8 2011 非自混合压缩的一些常见不动点定理。 Zbl 0902.47047号 A.艾哈迈德。;A.R.汗。 6 1997 类型闭合转换保持了观测等价性。 兹比尔1323.68350 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 强制自调整计算。 Zbl 1295.68075号 阿卡尔（Umut A.Acar）。;阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 5 2007 线性区域就是您所需要的全部。 Zbl 1178.68151号 马修·弗莱特;格雷格·莫里塞特;阿马尔·艾哈迈德 5 2006 偏长加权Lomax分布：统计特性和应用。 Zbl 1509.62135号 阿瓦克·艾哈迈德;艾哈迈德，S.P。;A.艾哈迈德。 5 2016 子结构状态的阶跃诱导模型。 Zbl 1302.68048号 阿迈勒·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2005 \（L^3）：具有位置的线性语言。 Zbl 1121.68021号 阿迈勒·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2007 来源作为依赖性分析。 Zbl 1252.68076号 詹姆斯·切尼;阿马尔·艾哈迈德;阿卡尔（Umut A.Acar）。 4 2011 使用多语言语义验证打开的编译器。 兹比尔1405.68067 詹姆斯·佩尔孔蒂（James T.Perconti）。;阿马尔·艾哈迈德 4 2014 \（\text{L}^{3}\）：带位置的线性语言。 Zbl 1112.68341号 格雷格·莫里塞特;阿马尔·艾哈迈德;马修·弗莱特 三 2005 根据Cattaneo-Christov双扩散理论，Oldroyd-B纳米流体的旋转流动。 Zbl 1457.76033号 A.哈菲兹。;M·汗。;A.艾哈迈德。;J·艾哈迈德。 三 2020 通过运行时密封或低价格定理实现参数多态性！ Zbl 1133.68320号 雅各布·马修斯;阿马尔·艾哈迈德 2 2008 用多维CFD程序对使用正庚烷还原机理控制HCCI燃烧放热率的方法进行了数值研究。 Zbl 1117.80305号 F.马洛托。;诺埃尔，L。;A.艾哈迈德。 2 2007 起源的核心演算。 Zbl 1353.68027号 乌穆特·阿卡尔。;阿马尔·艾哈迈德;詹姆斯·切尼;罗利·佩雷拉 2 2012 渐进式理论。 兹比尔1522.68127 新，Max S。;丹尼尔·李卡塔（Daniel R.Licata）。;阿马尔·艾哈迈德 2 2021 麦克斯韦纳米流体在旋转圆柱上涡流运动的热分析。 Zbl 1457.76020号 A.艾哈迈德。;M·汗。;J·艾哈迈德。 2 2020 磁化Maxwell纳米流体的瞬态流动：Cattaneo-Christov理论的Buongiorno模型透视。 Zbl 1457.76034号 M·汗。;艾哈迈德，A。;J·艾哈迈德。 2 2020 免费无干扰。 Zbl 1360.68315号 威廉·鲍曼。;阿马尔·艾哈迈德 2 2015 通过通用嵌入进行完全抽象编译。 Zbl 1361.68044号 新，Max S。;威廉·鲍曼。;阿马尔·艾哈迈德 2 2016 消费者决策规则的计算复杂性。 Zbl 1056.91504号 A.诺曼。;A.艾哈迈德。;周，J。;达拉，A。;英国福特森。;M.金达尔。;C.库兹。;H·李。;佩恩，K。;R·兰多。;Sheppard，K。;转租人，E。;J.苏斯曼。;怀特，我。 1 2004 Nakagami分布尺度参数估计的经典和贝叶斯方法。 Zbl 1426.62082号 艾哈迈德·凯萨尔;艾哈迈德，S.P。;A.艾哈迈德。 1 2016 编程语言和系统。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1408.68004号 1 2018 渐进式理论。 Zbl 1522.68127号 新，Max S。;丹尼尔·李卡塔（Daniel R.Licata）。;阿迈勒·艾哈迈德 2 2021 根据Cattaneo-Christov双扩散理论，Oldroyd-B纳米流体的旋转流动。 Zbl 1457.76033号 A.哈菲兹。;M·汗。;A.艾哈迈德。;J·艾哈迈德。 三 2020 麦克斯韦纳米流体在旋转圆柱上涡流运动的热分析。 Zbl 1457.76020号 A.艾哈迈德。;M·汗。;J·艾哈迈德。 2 2020 磁化Maxwell纳米流体的瞬态流动：Cattaneo-Christov理论的Buongiorno模型透视。 Zbl 1457.76034号 M·汗。;A.艾哈迈德。;J·艾哈迈德。 2 2020 编程语言和系统。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1408.68004号 1 2018 偏长加权Lomax分布：统计特性和应用。 Zbl 1509.62135号 阿瓦克·艾哈迈德;艾哈迈德，S.P。;A.艾哈迈德。 5 2016 通过通用嵌入进行完全抽象编译。 Zbl 1361.68044号 新款，Max S。;威廉·鲍曼。;阿马尔·艾哈迈德 2 2016 Nakagami分布尺度参数估计的经典和贝叶斯方法。 Zbl 1426.62082号 艾哈迈德·凯萨尔;艾哈迈德，S.P。;A.艾哈迈德。 1 2016 免费无干扰。 Zbl 1360.68315号 威廉·鲍曼。;阿马尔·艾哈迈德 2 2015 使用多语言语义验证打开的编译器。 Zbl 1405.68067号 詹姆斯·佩康蒂。;阿马尔·艾哈迈德 4 2014 细粒度并发的逻辑关系。 Zbl 1301.68181号 亚伦·J·图伦。;雅各布·塔姆斯堡;阿马尔·艾哈迈德;拉尔斯·比克达尔;德雷克·德雷尔 9 2013 起源的核心演算。 Zbl 1353.68027号 阿卡尔（Umut A.Acar）。;阿马尔·艾哈迈德;詹姆斯·切尼;罗利·佩雷拉 2 2012 通过多语言语义提供对等的CPS翻译。 Zbl 1323.68088号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 8 2011 对所有人负责。 Zbl 1284.68156号 阿马尔·艾哈迈德;罗伯特·布鲁斯·芬德勒;杰里米·西克。;菲利普·沃德勒 8 2011 来源作为依赖性分析。 兹比尔1252.68076 詹姆斯·切尼;阿马尔·艾哈迈德;阿卡尔（Umut A.Acar）。 4 2011 依赖于州的表示独立性。 兹比尔1315.68080 阿马尔·艾哈迈德;德雷克·德雷尔;安德烈亚斯·罗斯伯格 28 2009 类型闭合转换保持了观测等价性。 Zbl 1323.68350号 阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 强制自调整计算。 兹比尔1295.68075 阿卡尔（Umut A.Acar）。;阿马尔·艾哈迈德;马蒂亚斯·布鲁姆 5 2008 通过运行时密封或低价格定理实现参数多态性！ Zbl 1133.68320号 雅各布·马修斯;阿马尔·艾哈迈德 2 2008 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 5 2007 \（L^3）：具有位置的线性语言。 Zbl 1121.68021号 阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2007 用多维CFD程序对使用正庚烷还原机理控制HCCI燃烧放热率的方法进行了数值研究。 Zbl 1117.80305号 F.马洛托。;诺埃尔，L。;A.艾哈迈德。 2 2007 递归和量化类型的逐步诱导句法逻辑关系。 Zbl 1178.68146号 阿迈勒·艾哈迈德 28 2006 线性区域就是您所需要的全部。 Zbl 1178.68151号 马修·弗莱特;格雷格·莫里塞特;阿迈勒·艾哈迈德 5 2006 子结构状态的阶跃诱导模型。 Zbl 1302.68048号 阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 4 2005 \（\text{L}^{3}\）：带位置的线性语言。 Zbl 1112.68341号 格雷格·莫里塞特;阿迈勒·艾哈迈德;马修·弗莱特 三 2005 消费者决策规则的计算复杂性。 Zbl 1056.91504号 A.诺曼。;A.艾哈迈德。;周，J。;达拉，A。;英国福特森。;M.金达尔。;C.库兹。;H·李。;佩恩，K。;R·兰多。;Sheppard，K。;苏贝利特，E。;J.苏斯曼。;怀特，我。 1 2004 非自混合压缩的一些常见不动点定理。 Zbl 0902.47047号 A.艾哈迈德。;A.R.汗。 6 1997 所有引用出版物 前5名被引用出版物 全部的 前5名197位作者引用 10 拉尔斯·比克达尔 7 安德烈·穆拉夫斯基。 5 尼科斯·齐夫列科斯 4 克里斯蒂安·斯特夫林 4 雅各布·塔姆斯堡 三 阿迈勒·艾哈迈德 三 尼尔·加尼 三 吉勒姆·贾伯 三 帕特里夏·约翰 三 弗雷德里克·诺德瓦尔·福斯伯格 三 费德里科·奥尔萨尼戈 三 碧姬·品特卡 三 菲利普·西奇科夫斯基 三 马丁·苏尔兹曼 三 斯特凡·韦尔 2 杰拉德·布多尔 2 布鲁，萨穆勒 2 罗伊·克罗。 2 乌戈·达尔拉戈 2 多米尼克·德夫里塞 2 马丁·埃尔维格 2 弗朗西斯科·加瓦佐 2 罗伯特·哈珀 2 Atsushi Igarashi 2 丹尼尔·李卡塔（Daniel R.Licata）。 2 伊莎贝拉·马斯特罗埃尼 2 阿尔贝托·莫米利亚诺 2 格雷格·莫里塞特 2 新，Max S。 2 弗兰克·芬宁 2 杰里米·西克。 2 埃希罗·苏米 2 Janis Voigtlander公司 1 胭脂红阿巴特 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 阿卡尔（Umut A.Acar）。 1 纪尧姆·阿拉伊斯 1 玛丽亚·阿尔普特 1 阿米尔·穆罕默德·塞佩尔 1 泽纳·M·阿里奥拉。 1 艺术，托马斯 1 大卫·阿斯皮纳尔 1 迪维亚·巴贾杰 1 黛米斯·巴利斯 1 吉尔·巴特 1 乔·菲利佩·贝洛 1 克拉拉·贝纳克·厄尔 1 杰斯珀·本特森 1 尼克·本顿 1 佩特尔·贝雷茨基 1 Dariusz Biernacki 1 威廉·鲍曼。 1 Busi，Matteo公司 1 约翰·彼得·坎波拉三世 1 Manuel M.T.查克拉瓦蒂。 1 亚瑟·查古埃罗 1 陈盛 1 陈天宇 1 詹姆斯·切尼 1 瑟·特凡·乔巴赫 1 克拉克、戴夫 1 卡尔·克里 1 拉斐尔·克鲁比莱 1 奥尔内拉·达达 1 扎伊娜·达盖伊 1 达斯，安库什 1 埃德斯科·德弗里斯 1 亨利·德扬 1 马里亚纽拉州Dezani-Ciancaglini 1 罗伯特·多金斯 1 多兹，迈克 1 保罗·唐恩 1 Drossopoulou、Sophia Chloe 1 苏珊·艾森巴赫 1 Mehran S·法拉。 1 丹尼尔·费多林 1 科马克·弗拉纳根 1 弗朗西斯科·弗雷奇纳 1 拉尔斯·奥尔克，弗雷德里克 1 丹尼尔·弗里德兰德 1 弗鲁明，丹 1 马可·加博阿迪 1 爱德华·甘 1 迪帕克·加格 1 凯·盖伊 1 艾娜·林·乔治斯 1 奥菲克·吉拉 1 汉娜·贡默施塔特 1 谢尔盖·冈查洛夫 1 迈克尔·杜鲁门·古德里奇 1 阿列克谢·戈茨曼 1 迈克尔·格林伯格。 1 Aliya Hameer 1 大卫·赫尔曼 1 阿奎那·霍伯 1 詹·菲利普·霍夫曼 1 罗斯·霍恩 1 达尼尔·霍帕西 1 Hou（Favonia）、Kuen-Bang 1 黄雪晶 …还有97位作者 全部的 前5名13篇连载文章中引用 14 函数编程杂志 7 理论计算机科学 6 计算机科学中的逻辑方法 4 信息与计算 4 MSCS公司。计算机科学中的数学结构 4 程序设计中的逻辑和代数方法杂志 三 计算机语言、系统和结构 2 高阶和符号计算 1 符号计算杂志 1 自动推理杂志 1 计算的形式化方面 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 在5个字段中引用 96 计算机科学（68至XX） 32 数学逻辑和基础（03-XX） 6 范畴理论；同调代数（18-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 按年份列出的引文