编辑配置文件（在新选项卡中打开） 埃亚尔·哈雷尔 合著者距离 作者ID： 哈里·埃亚尔 发布日期： 埃亚尔·哈雷尔 已编制索引的文档： 1出版物自1988年起 合著者： 1位合著者具有1联合出版物 97合著作者 合著者 0 单作者的 1 阿米尔·普努利 系列 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用11中的次11文件 引用人▼ 年份▼ 时序逻辑在实时系统规范中的应用。 Zbl 0688.68024号 阿米尔·普努利;哈雷、埃亚尔 11 1988 时序逻辑在实时系统规范中的应用。 Zbl 0688.68024号 阿米尔·普努利;哈雷、埃亚尔 11 1988 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 2 佐哈尔·曼纳 2 阿米尔·普努利 1 汉森，汉斯 1 托马斯·亨辛格。 1 C.A.R.Tony Hoare 1 乔泽夫·约翰内斯·玛丽亚·胡曼 1 本特·琼森 1 迈克尔·卡明斯基 1 鲁德·柯伊伯 1 刘楚昌 1 Rajib商场 1 贾纳丹·库马尔·米斯拉 1 埃里克·纳索尔 1 奥贡，穆罕默德·阿里 1 安德斯·雷文（Anders P.Ravn）。 1 苏曼·罗伊 1 Rudrapatna Kallikote Shyamasundar 1 盖伊·维达尔·纳奎特 1 Wong，Chung Kei先生 1 周朝晨 1 周，平 全部的 前5名7篇连载文章中引用 2 理论计算机科学 2 计算的形式方面 1 信息学报 1 信息处理信件 1 国际并行程序设计杂志 1 应用非经典逻辑杂志 1 萨达纳 在2个字段中引用 11 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 按年份列出的引文