编辑配置文件（在新选项卡中打开） 艾亚德·阿尔卡萨 合著者距离 作者ID： 阿尔卡萨·艾德 发布日期： 艾亚德·阿尔卡萨 编入索引的文档： 4出版物自2008年起 合著者： 10位合著者具有4联合出版物 341联合作者 全部的 前5名合著者 0 单作者的 2 Norbert W.Schirmer。 2 阿特姆·斯塔罗斯汀 1 塞巴斯蒂安·博根 1 Böhme，萨沙 1 Hillebrand，Mark A。 1 德克·莱恩巴赫（Dirk C.Leinenbach）。 1 库尔特·梅尔霍恩 1 沃尔夫冈·雅各布·保罗 1 克里斯汀·里兹卡拉 1 亚历山德拉·茨班 系列 2 自动推理杂志 1 Sādhanā 领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用20中的次17文件 引用人▼ 年份▼ 验证验证计算的框架。 Zbl 1314.68180号 艾亚德·阿尔卡萨;Böhme，萨沙;库尔特·梅尔霍恩;克里斯汀·里兹卡拉 9 2014 分页机制的正式普遍验证。 Zbl 1134.68394号 艾亚德·阿尔卡萨;诺伯特·希默;阿特姆·斯塔罗斯汀 6 2008 平衡负载。利用语义堆栈进行系统验证。 Zbl 1191.68407号 艾亚德·阿尔卡萨;Hillebrand，Mark A。;德克·莱恩巴赫（Dirk C.Leinenbach）。;Norbert W.Schirmer。;阿特姆·斯塔罗斯汀;亚历山德拉·茨班 三 2009 证明客户机/服务器软件的正确性。 Zbl 1177.68045号 艾亚德·阿尔卡萨;塞巴斯蒂安·博根;沃尔夫冈·保罗。 2 2009 验证验证计算的框架。 Zbl 1314.68180号 艾亚德·阿尔卡萨;Böhme，萨沙;库尔特·梅尔霍恩;克里斯汀·里兹卡拉 9 2014 平衡负载。利用语义堆栈进行系统验证。 兹比尔1191.68407 艾亚德·阿尔卡萨;Hillebrand，Mark A。;德克·莱恩巴赫（Dirk C.Leinenbach）。;Norbert W.Schirmer。;阿尔特姆·斯塔罗斯汀;亚历山德拉·茨班 三 2009 证明客户机/服务器软件的正确性。 Zbl 1177.68045号 艾亚德·阿尔卡萨;塞巴斯蒂安·博根;沃尔夫冈·保罗。 2 2009 分页机制的形式化普遍验证。 Zbl 1134.68394号 艾亚德·阿尔卡萨;诺伯特·希默;阿特姆·斯塔罗斯汀 6 2008 所有引用出版物 前5名被引用出版物 全部的 前5名48位作者引用 三 格温·克莱恩 2 艾亚德·阿尔卡萨 2 沃尔夫，伯克哈特 1 阿米尔·阿博德 1 萨米拉·阿基利 1 西德尼·阿曼尼 1 安德烈亚·阿斯佩蒂 1 塞巴斯蒂安·博根 1 伯恩，马丁 1 Böhme，萨沙 1 拉玛斯瓦米·钱德拉塞卡兰 1 陈子林 1 克利斯朵夫·克雷斯佩尔 1 马提亚斯·达姆 1 德伦巴切，简 1 简·赫尔曼·杰弗斯 1 Petr A.Golovach。 1 Hillebrand，Mark A。 1 文森特·杰克逊 1 加布里埃尔·科妮莉亚·凯勒 1 拉斐尔·科兰斯基 1 罗伯特·克劳斯加默 1 德克·莱恩巴赫（Dirk C.Leinenbach）。 1 库尔特·梅尔霍恩 1 米查·莫斯卡尔 1 托比·默里 1 纳塔拉詹，拉贾 1 阿德里安·诺伊曼 1 托比亚斯·尼普科 1 拉尔斯·诺钦斯基 1 利亚姆·奥康纳 1 奥莫多，尤金尼奥·乔瓦尼 1 保罗，沃尔夫冈·雅各布 1 劳伦斯·查尔斯·保尔森 1 克里斯汀·里兹卡拉 1 Norbert W.Schirmer。 1 Jens M.施密特。 1 沃尔夫拉姆·舒尔特 1 托马斯·D·休厄尔。 1 西蒙，伯特兰 1 阿特姆·斯塔罗斯汀 1 克里希纳·苏布拉马尼 1 亚历山德鲁·伊昂·托梅斯库 1 奥哈德·特拉贝尔西 1 亚历山德拉·茨班 1 金·Völlinger 1 马卡里乌斯·温泽尔 1 Wojciechowski，Piotr J。 全部的 前5名9篇连载文章中引用 5 自动推理杂志 2 Sādhanā 1 离散应用数学 1 理论计算机科学 1 算法 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 计算机科学中的数学 1 计算理论 在3个字段中引用 14 计算机科学（68至XX） 5 组合数学（05-XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文