肖恩·阿佐帕迪；尼尔·皮特曼；杰拉尔多·施奈德 在反应合成中加入监测器而无需付出代价。 （英语） Zbl 1497.68284号 Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 337-353 (2021).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azzopardi}等人，莱克特。票据计算。科学。12971、337--353（2021；Zbl 1497.68284） 全文： 内政部 arXiv公司
布洛克，罗德里克；芭芭拉·乔布斯特曼；尼尔·皮特曼；阿米尔·普努利；亚尼夫·萨阿尔 反应（1）设计的合成。 （英语） Zbl 1247.68050号 J.计算。系统。科学。 78，第3期，911-938（2012）.MSC公司：68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《计算杂志》。系统。科学。78，第3号，911--938（2012；Zbl 1247.68050） 全文： 内政部
乌里·克莱因；尼尔·皮特曼；阿米尔·普努利 根据GR（1）规范有效综合异步系统。 （英语） Zbl 1326.68186号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148283-298（2012）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Klein}等人，Lect。票据计算。科学。7148283--298（2012；Zbl 1326.68186） 全文： 内政部 链接
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。 无限状态系统的自动机理论方法。 （英语） Zbl 1288.68158号 Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲座笔记6200，202-259（2010）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，Lect。票据计算。科学。6200、202--259（2010年；Zbl 1288.68158） 全文： 内政部
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；尼尔·皮特曼 战略逻辑。 （英语） Zbl 1205.68197号 Inf.计算。 208，第6期，677-693（2010）.MSC公司：65年第68季度 91A05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《信息计算》。208，第6号，677--693（2010；Zbl 1205.68197） 全文： 内政部 链接
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。 从活泼到敏捷。 （英语） Zbl 1192.68416号 形式方法系统。设计。 34，第2期，83-103（2009）.MSC公司：65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，《形式方法系统》。设计。34，第2号，83--103（2009；Zbl 1192.68416） 全文： 内政部
奥尔纳·库普弗曼；尼尔·皮特曼 普适co-Büchi自动机非空性的目击者下限。 （英语） Zbl 1234.68221号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504182-196（2009）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{N.Piterman}，莱克特。票据计算。科学。5504182-196（2009年；Zbl 1234.68221） 全文： 内政部