克利夫·琼斯。;伊恩·海耶斯。 可能的价值：探索并发的概念。 （英语） Zbl 1355.68043号 J.日志。阿尔盖布。方法计划。 85，第5号，第2部分，972-984（2016）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{I.J.Hayes}，J.Log。阿尔盖布。方法计划。85，第5号，第2部分，972--984（2016；Zbl 1355.68043） 全文： 内政部 arXiv公司
伊恩·海耶斯。 广义相对保证并发：代数基础。 （英语） Zbl 1348.68035号 正式Asp。计算。 28，第6期，1057-1078（2016）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}，正式Asp。计算。28，编号61057-1078（2016；兹bl 1348.68035） 全文： 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 （英语） Zbl 1342.68060号 正式Asp。计算。 26，第3期，563-589（2014）.MSC公司：68甲19 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，《正式Asp》。计算。26，第3号，563--589（2014；Zbl 1342.68060） 全文： 内政部 链接
布里杰什·多戈尔;伊恩·海耶斯。 从多尺度系统规范中导出实时动作系统控制器。 （英语） Zbl 1358.68069号 Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342102-131（2012）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{I.J.Hayes}，莱克特。注释计算。科学。7342、102--131（2012年；Zbl 1358.68069） 全文： 内政部
罗伯特·J·科尔文。;伊恩·海耶斯。 通过上下文相关行为实现结构操作语义。 （英语） Zbl 1223.68026号 J.日志。阿尔盖布。程序。 80，第7期，392-426（2011）.MSC公司：68甲15 68问题55 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes}，J.Log。阿尔盖布。程序。80，第7号，392--426（2011；Zbl 1223.68026） 全文： 内政部
西比尔·普克;伊恩·海耶斯 面向并发实时程序的精化演算。 （英语） Zbl 1015.68814号 George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 335-346 (2002).MSC公司：68单位99 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Peuker}和\textit{I.Hayes}，莱克特。注释计算。科学。2495335--346（2002年；Zbl 1015.68814） 全文： 链接
伊恩·海耶斯 使用辅助变量进行实时程序优化。 （英语） Zbl 0986.68728号 Joseph，Mathai（编辑），实时和容错系统中的形式化技术。第六届国际研讨会，2000年FTRTFT，2000年9月20日至22日，印度浦那。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1926, 170-184 (2000).MSC公司：68单位99 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{I.Hayes}，莱克特。注释计算。科学。1926170--184（2000年；Zbl 0986.68728）