编辑配置文件（在新选项卡中打开） 伊恩·海耶斯。 合著者距离 作者ID： 海耶斯·西安-j 发布日期： 伊恩·海耶斯。;伊恩·海耶斯;I.J.海耶斯。;海耶斯，I。 更多。。。较少的 已编制索引的文档： 68出版物自1986年起 2作为编辑的贡献 合著者： 42位合著者具有54联合出版物 528位合著者 全部的 前5名合著者 16 单作者的 15 罗伯特·J·科尔文。 11 拉里萨·梅尼基。 9 保罗·A·斯特罗珀。 7 布里杰什·多戈尔 5 大卫·海默 5 雷·尼克森 4 科林·菲奇。 3 卡尔·勒默 3 杰夫·桑德斯。 3 格雷姆·史密斯 3 乔治·斯特鲁斯 2 卡林顿，D.A。 2 史蒂夫·邓恩（Steve E.Dunne）。 2 何继峰 2 C.A.R.Tony Hoare 2 克利夫·琼斯。 2 卡罗尔·C·摩根。 2 安德鲁·威廉·罗斯科 2 I.H.索伦森。 2 J.Michael斯皮维 2 苏福林，B.A。 2 马克·乌廷 2 克尔斯滕·温特 1 彼得·班克罗夫特 1 卡勒姆·班尼斯特 1 艾伦·D·伯恩斯。 1 埃文格洛·奥斯特，纳索斯 1 安迪·加洛韦。 1 林赛·格罗夫斯。 1 彼得·赫夫纳 1 Steve F.金。 1 布伦丹·马奥尼（Brendan P.Mahony）。 1 西比尔·普克 1 彼得·罗宾逊。 1 杰米，护盾 1 金·索林 1 安德烈·塔莱基 1 范格拉贝克、罗伯特·扬 1 安德烈乌斯·维利基斯 1 瓦本霍斯特，A.K。 1 布雷·韦伯。 1 卢克·威尔德曼 全部的 前5名系列 12 计算的形式方面 5 计算机程序设计科学 3 信息学报 2 ACM的通信 2 逻辑程序设计理论与实践 1 理论计算机科学 1 实时系统 1 IEEE软件工程汇刊 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 69 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 有序，格，有序代数结构（06-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有被引用199中的次146文件 引用人▼ 年份▼ 编程法则。 Zbl 0629.68006号 C.A.R.霍尔。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;I.H.索伦森。;斯皮维，J.M。;苏福林，B.A。 68 1987 在并发的正式方法中平衡表达能力。 Zbl 1343.68171号 克利夫·琼斯。;伊恩·海耶斯。;罗伯特·J·科尔文。 12 2015 规范案例研究。2.编辑。 兹伯利0812.68039 10 1993 统一区分非终止和中止的编程理论。 Zbl 1286.68079号 伊恩·海耶斯。;史蒂夫·邓恩（Steve E.Dunne）。;拉里萨·梅尼基 8 2010 具有分层状态的CSP。 Zbl 1211.68266号 罗伯特·科尔文;伊恩·海耶斯。 8 2009 程序优化工具。 Zbl 0910.68050号 D.卡林顿。;海耶斯，I。;R·尼克森。;沃森，G。;J·威尔士。 8 1998 实时系统建模的时间段框架。 Zbl 1197.68032号 艾伦·伯恩斯;伊恩·海耶斯。 7 2010 卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 Zbl 1367.68210号 布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 6 2016 广义相对保证并发：代数基础。 Zbl 1348.68035号 伊恩·海耶斯。 6 2016 同步原子步代数。 Zbl 1427.68197号 伊恩·海耶斯。;罗伯特·J·科尔文。;拉里萨·梅尼基。;克尔斯滕·温特;安德烈乌斯·维利基斯 6 2016 一种顺序实时优化演算。 Zbl 0970.68107号 伊恩·海耶斯。;马克·乌廷 5 2001 为具有并发性的广谱语言设计语义模型。 Zbl 1375.68036号 罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼基。 5 2017 使用CSP和规范命令的行为树语义。 Zbl 1220.68050号 罗伯特·J·科尔文。;伊恩·海耶斯。 4 2011 卷积代数：关系卷积、广义模态和关联代数。 Zbl 1509.03175号 布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 4 2021 持续行动系统改进。 Zbl 1235.68104号 拉里萨·梅尼基;伊恩·海耶斯。 3 2006 通过上下文相关行为的结构操作语义。 Zbl 1223.68026号 罗伯特·J·科尔文。;伊恩·海耶斯。 3 2011 精化代数中的概率选择。 Zbl 1156.68357号 拉里萨·梅尼克;伊恩·海耶斯。 2 2008 从多尺度系统规范中导出实时动作系统控制器。 Zbl 1358.68069号 布里杰什·多戈尔;伊恩·海耶斯。 2 2012 概率作用系统和while-loop的代数推理。 Zbl 1161.68014号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 使用最大间隔进行实时规范和推理。 Zbl 0964.68090号 菲奇，C.J。;I.J.海耶斯。;马奥尼，B.P。;瓦本霍斯特，A.K。 2 2000 “编程法则”勘误表。 兹比尔0653.68002 霍尔，C.A.R。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;I.H.索伦森。;斯皮维，J.M。;苏福林，B.A。 2 1987 可能的价值：探索并发的概念。 Zbl 1355.68043号 克利夫·琼斯。;伊恩·海耶斯。 2 2016 支持程序优化中的上下文。 Zbl 0881.68012号 雷·尼克森;伊恩·海耶斯 2 1997 在实时细化中分离计时和计算。 Zbl 0924.68127号 伊恩·海耶斯 2 1998 同步程序代数：关于共享内存和基于事件的并发性的推理基础。 Zbl 1425.68293号 伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 1 2019 在上下文逻辑程序优化中计算模块。 Zbl 1128.68015号 罗伯特·科尔文;伊恩·海耶斯。;保罗·斯特罗珀 1 2008 不要在意逻辑程序求精中的非确定性。 Zbl 1268.68044号 大卫·海默;罗伯特·科尔文;伊恩·海耶斯;保罗·斯特罗珀 1 2002 使用强制属性的组合动作系统派生。 Zbl 1286.68075号 布里杰什·多戈尔;伊恩·海耶斯。 1 2010 推理循环的总体正确性和一般正确性。 Zbl 1286.68076号 史蒂夫·邓恩（Steve E.Dunne）。;伊恩·海耶斯。;安迪·加洛韦。 1 2010 面向实时程序的代数。 Zbl 1364.68135号 布里杰什·多戈尔;伊恩·海耶斯。;拉里萨·梅尼基;金·索林 1 2012 实时程序的终止：肯定，肯定不会，或者可能。 Zbl 1186.68087号 伊恩·海耶斯。 1 2006 FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。 Zbl 1078.68005号 1 2005 关于实时重复的推理：终止和非终止。 Zbl 1014.68036号 伊恩·海耶斯 1 2002 执行时约束的线性近似。 Zbl 1093.68025号 卡尔·勒默;科林·菲奇。;伊恩·海耶斯。 1 2003 逻辑程序的精化演算。 Zbl 1090.68532号 伊恩·海耶斯;罗伯特·科尔文;大卫·海默;保罗·斯特罗珀;雷·尼克森 1 2002 逻辑程序优化工具（扩展抽象）。 Zbl 0888.68082号 罗伯特·科尔文;伊恩·海耶斯;雷·尼克森;保罗·斯特罗珀 1 1997 通过界面分离进行规范。 Zbl 0835.68077号 I.J.海耶斯。;J.W.桑德斯。 1 1995 关于目标导向的实时远程反应程序的推理。 Zbl 1342.68060号 布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 1 2014 使用理论解释将定理证明器中的实数机械化。 Zbl 0970.68146号 J·希尔德。;海斯，I.J。;卡林顿，D.A。 1 2001 分布式系统中的上下文。 Zbl 07728632号 埃文格洛·奥斯特，纳索斯;卡勒姆·班尼斯特;伊恩·海耶斯。 1 2023 数据精炼逻辑程序。 Zbl 0924.68131号 罗伯特·科尔文;伊恩·海耶斯;保罗·斯特罗珀 1 1998 支持顺序实时求精演算中的上下文。 Zbl 0924.68141号 卢克·威尔德曼;伊恩·海耶斯 1 1998 在同步并发程序代数中编码公平性。 Zbl 1460.68028号 伊恩·海耶斯。;拉里萨·梅尼基。 1 2018 用于程序构建的圆柱形Kleene晶格。 Zbl 1434.68105号 布里杰什·多戈尔;伊恩·海耶斯;拉里萨·梅尼基;乔治·斯特鲁斯 1 2019 分布式系统中的上下文。 Zbl 07728632号 埃文格洛·奥斯特，纳索斯;卡勒姆·班尼斯特;伊恩·海耶斯。 1 2023 卷积代数：关系卷积、广义模态和关联代数。 Zbl 1509.03175号 布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 4 2021 同步程序代数：关于共享内存和基于事件的并发性的推理基础。 Zbl 1425.68293号 伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 1 2019 用于程序构建的圆柱形Kleene晶格。 Zbl 1434.68105号 布里杰什·多戈尔;伊恩·海耶斯;拉里萨·梅尼基;乔治·斯特鲁斯 1 2019 在同步并发程序代数中编码公平性。 Zbl 1460.68028号 伊恩·海耶斯。;拉里萨·梅尼基。 1 2018 为一种具有并发性的宽谱语言设计一个语义模型。 Zbl 1375.68036号 罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼基。 5 2017 卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 Zbl 1367.68210号 布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 6 2016 广义相对保证并发：代数基础。 Zbl 1348.68035号 伊恩·海耶斯。 6 2016 同步原子步代数。 Zbl 1427.68197号 伊恩·海耶斯。;罗伯特·J·科尔文。;拉里萨·梅尼基。;克尔斯滕·温特;安德烈乌斯·维利基斯 6 2016 可能的价值：探索并发的概念。 Zbl 1355.68043号 克利夫·琼斯。;伊恩·海耶斯。 2 2016 在并发的正式方法中平衡表达能力。 Zbl 1343.68171号 克利夫·琼斯。;伊恩·海耶斯。;罗伯特·J·科尔文。 12 2015 关于目标导向的实时远程反应程序的推理。 Zbl 1342.68060号 布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 1 2014 从多尺度系统规范中导出实时动作系统控制器。 Zbl 1358.68069号 布里杰什·多戈尔;伊恩·海耶斯。 2 2012 面向实时程序的代数。 兹比尔1364.68135 布里杰什·多戈尔;伊恩·海耶斯。;拉里萨·梅尼基;金·索林 1 2012 使用CSP和规范命令的行为树语义。 Zbl 1220.68050号 罗伯特·J·科尔文。;伊恩·海耶斯。 4 2011 通过上下文相关行为的结构操作语义。 Zbl 1223.68026号 罗伯特·J·科尔文。;伊恩·海耶斯。 3 2011 统一区分非终止和中止的编程理论。 Zbl 1286.68079号 伊恩·海耶斯。;史蒂夫·邓恩（Steve E.Dunne）。;拉里萨·梅尼基 8 2010 实时系统建模的时间段框架。 Zbl 1197.68032号 艾伦·伯恩斯;伊恩·海耶斯。 7 2010 使用强制属性的组合动作系统派生。 Zbl 1286.68075号 布里杰什·多戈尔;伊恩·海耶斯。 1 2010 推理循环的总体正确性和一般正确性。 Zbl 1286.68076号 史蒂夫·邓恩（Steve E.Dunne）。;伊恩·海耶斯。;安迪·加洛韦。 1 2010 具有分层状态的CSP。 Zbl 1211.68266号 罗伯特·科尔文;伊恩·海耶斯。 8 2009 精化代数中的概率选择。 Zbl 1156.68357号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 概率作用系统和while-loop的代数推理。 Zbl 1161.68014号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 在上下文逻辑程序优化中计算模块。 兹比尔1128.68015 罗伯特·科尔文;伊恩·海耶斯。;保罗·斯特罗珀 1 2008 持续行动系统改进。 Zbl 1235.68104号 拉里萨·梅尼基;伊恩·海耶斯。 3 2006 实时程序的终止：绝对，绝对不，或者可能。 Zbl 1186.68087号 伊恩·海耶斯。 1 2006 FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。 Zbl 1078.68005号 1 2005 执行时约束的线性近似。 Zbl 1093.68025号 卡尔·勒默;科林·菲奇。;伊恩·海耶斯。 1 2003 不要在意逻辑程序求精中的非确定性。 Zbl 1268.68044号 大卫·海默;罗伯特·科尔文;伊恩·海耶斯;保罗·斯特罗珀 1 2002 关于实时重复的推理：终止和非终止。 Zbl 1014.68036号 伊恩·海耶斯 1 2002 逻辑程序的精化演算。 Zbl 1090.68532号 伊恩·海耶斯;罗伯特·科尔文;大卫·海默;保罗·斯特罗珀;雷·尼克森 1 2002 一种顺序实时优化演算。 Zbl 0970.68107号 伊恩·海耶斯。;马克·乌廷 5 2001 使用理论解释将定理证明器中的实数机械化。 兹伯利0970.68146 盾牌，J。;I.J.海耶斯。;卡林顿，D.A。 1 2001 使用最大间隔进行实时规范和推理。 Zbl 0964.68090号 菲奇，C.J。;I.J.海耶斯。;马奥尼，B.P。;瓦本霍斯特，A.K。 2 2000 程序优化工具。 Zbl 0910.68050号 D.卡林顿。;海耶斯，I。;R·尼克森。;沃森，G。;J·威尔士。 8 1998 在实时细化中分离计时和计算。 Zbl 0924.68127号 伊恩·海耶斯 2 1998 数据精炼逻辑程序。 Zbl 0924.68131号 罗伯特·科尔文;伊恩·海耶斯;保罗·斯特罗珀 1 1998 支持顺序实时求精演算中的上下文。 Zbl 0924.68141号 卢克·威尔德曼;伊恩·海耶斯 1 1998 支持程序优化中的上下文。 Zbl 0881.68012号 雷·尼克森;伊恩·海耶斯 2 1997 逻辑程序优化工具（扩展抽象）。 Zbl 0888.68082号 罗伯特·科尔文;伊恩·海耶斯;雷·尼克森;保罗·斯特罗珀 1 1997 通过界面分离进行规范。 Zbl 0835.68077号 I.J.海耶斯。;J.W.桑德斯。 1 1995 规范案例研究。2.编辑。 Zbl 0812.68039号 10 1993 编程法则。 Zbl 0629.68006号 霍尔，C.A.R。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;索伦森，I.H。;斯皮维，J.M。;苏福林，B.A。 68 1987 “编程法则”勘误表。 Zbl 0653.68002号 C.A.R.霍尔。;I.J.海耶斯。;何继峰;C.C.摩根。;A.W.罗斯科。;J.W.桑德斯。;I.H.索伦森。;斯皮维，J.M。;苏福林，B.A。 2 1987 所有引用出版物 前5名被引用出版物 全部的 前5名160位作者引用 21 伊恩·海耶斯。 10 罗伯特·J·科尔文。 10 C.A.R.Tony Hoare 9 Jan A.Bergstra。 9 安娜·卡瓦尔坎蒂 9 阿尔班·蓬塞 8 拉里萨·梅尼基。 8 朱慧彪 7 何继峰 7 乔治·斯特鲁斯 7 詹姆斯·C·P·伍德科克。 7 泽达，弗兰克 6 布里杰什·多戈尔 6 西蒙福斯特 5 沃尔特·古特曼 5 范·斯塔登（Stephan van Staden） 4 克利夫·琼斯。 4 秦胜超 4 奥古斯托·桑帕约。 3 乔纳森·鲍文（Jonathan P.Bowen）。 3 乌里·法伦贝格 3 科林·菲奇。 3 卡罗尔·C·摩根。 3 金·索林 3 谢万玲 3 徐启文 3 尼桑萨拉·亚塔帕纳奇 2 卢卡·埃特罗 2 卡勒姆·班尼斯特 2 Chaudhari，迪帕克L。 2 陈一峰 2 Om P.达马尼。 2 Jean-Lou de Carufel 2 Stéphane P.德姆里。 2 朱尔斯·德沙奈斯 2 西蒙·多尔蒂 2 何塞·路易斯·费亚代罗 2 Dimitar P.Guelev。 2 彼得·赫夫纳 2 Anna Ingólfsdóttir 2 克里斯蒂安·约翰森 2 Legay、Axel 2 卡尔·勒默 2 刘志明 2 安托尼亚州洛佩斯 2 科内利斯·A·米德尔堡。 2 Moszkowski，Ben C。 2 戴维·诺曼（David A.Naumann）。 2 马塞尔·奥利维拉 2 或者艾瓦·奥斯卡。 2 雷维茨基，英格丽 2 杰夫·桑德斯。 2 格雷姆·史密斯 2 保罗·A·斯特罗珀。 2 魏坤 2 克尔斯滕·温特 2 香，双清 2 赵永新 2 Krzysztof，Zimiañski 1 安东尼斯·阿奇利奥斯 1 埃利·阿纳斯塔西亚迪 1 卡洛斯·阿雷塞斯 1 回来了，拉尔夫·约翰 1 Jos C.M.Baeten。 1 巴库林，A.V。 1 詹姆斯·巴克斯特 1 鲁道夫·伯哈默 1 马克·贝泽姆 1 保罗·博尔巴 1 克里斯·布林克 1 菲利普·布鲁克。 1 保罗·布鲁内 1 艾伦·D·伯恩斯。 1 大卫·卡切拉 1 卡梅隆·卡克 1 塞缪尔·卡纳姆 1 陈志忠 1 Cimini，马泰奥 1 墨西哥科内里奥 1 帕特里克·库索特 1 詹姆斯·克兰奇 1 萨迪·达尔瓦迪 1 贝诺·德拉哈耶 1 董金松 1 史蒂夫·邓恩（Steve E.Dunne）。 1 埃文格洛·奥斯特，纳索斯 1 卢卡·费鲁奇 1 约翰·菲茨杰拉德。 1 付，郑 1 罗希特·盖伊 1 罗伯托·贾科巴齐 1 维克多·戈麦斯。 1 安德鲁·格雷维尔（Andrew M.Gravell）。 1 托马斯·格里茨纳。 1 Jan Friso，格鲁特 1 大卫·海默 1 赫德，乔 1 侯赛因，阿克巴 1 何继峰 1 沃尔夫拉姆·卡尔 …还有60多位作者 全部的 前5名26篇连载文章中引用 28 计算的形式方面 21 理论计算机科学 7 逻辑与代数程序设计杂志 7 程序设计中的逻辑和代数方法杂志 5 信息学报 5 信息处理信件 3 计算机程序设计科学 3 MSCS公司。计算机科学中的数学结构 2 信息科学 2 信息与计算 2 数学与人工智能年鉴 2 ACM计算逻辑事务 1 离散应用数学 1 代数普遍性 1 圣母院形式逻辑杂志 1 计算机科学与技术杂志 1 实时系统 1 分布式计算 1 控制论与系统分析 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 符号逻辑公报 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 离散和连续动力系统。S系列 1 中国计算机科学前沿 全部的 前5名10个领域引用 142 计算机科学（68至XX） 30 数学逻辑和基础（03-XX） 6 有序，格，有序代数结构（06-XX） 2 历史和传记（01-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 结合环与代数（16-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文