凯斯滕，约尼特;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证：自动机理论视图。 （英语） Zbl 0983.68109号 J.计算。系统。科学。 62，第4期，668-690（2001）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人，《计算杂志》。系统。科学。62，第4号，668--690（2001；Zbl 0983.68109） 全文： 内政部
多龙·贝利德;阿米尔·普努利 证明部分顺序属性。 （英语） Zbl 0803.68070号 西奥。计算。科学。 126，第2期，143-182（1994）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli}，Theor。计算。科学。126，第2号，143--182（1994；Zbl 0803.68070） 全文： 内政部
佐哈尔·曼纳;阿米尔·普努利 反应性模型。 （英语） Zbl 0790.68041号 学报信息。 30，第7期，609-678（1993）.MSC公司：2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli}，《学报参考》30，第7期，609--678（1993；Zbl 0790.68041） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;佐哈尔·曼纳;阿米尔·普努利 数字钟有什么好处？ （英语） Zbl 1425.68255号 Kuich，Werner（编辑），自动机，语言和编程。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 545-558 (1992).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。623545-558（1992年；Zbl 1425.68255） 全文： 内政部
北弗朗西兹。;D.莱曼。;A.普努利。 分布式编程语言的线性历史语义。 （英语） Zbl 0543.68019号 西奥。计算。科学。 32, 25-46 (1984).MSC公司：68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，Theor。计算。科学。32、25-46（1984年；Zbl 0543.68019） 全文： 内政部
Krysztof R.阿普特。;A.普努利。;J.斯塔维。 重新审查公平终止——有延迟。 （英语） Zbl 0542.68015号 西奥。计算。科学。 33, 65-84 (1984).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人，Theor。计算。科学。33、65-84（1984年；Zbl 0542.68015） 全文： 内政部
西蒙·科恩;丹尼尔·莱曼;阿米尔·普努利 分布式系统中互斥问题的对称和经济解决方案。 （英语） Zbl 0985.68509号 西奥。计算。科学。 34，编号1-2，215-225（1984）.MSC公司：68N25号 68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cohen}等人，Theor。计算。科学。34、215——225（1984年；Zbl 0985.68509） 全文： 内政部
阿米尔·普努利 并发程序的时间语义。 （英语） Zbl 0441.68010号 西奥。计算。科学。 13, 45-60 (1981).MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \文本{A.Pnueli}，Theor。计算。科学。13、45-60（1981年；Zbl 0441.68010） 全文： 内政部
尼西姆·弗朗西兹;阿米尔·普努利 循环程序的一种证明方法。 （英语） Zbl 0367.68009号 学报信息。 9, 133-157 (1978).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{A.Pnueli}，《信息学报》9，133--157（1978；Zbl 0367.68009） 全文： 内政部
尼西姆·弗朗西兹;鲍里斯·克莱班斯基;阿米尔·普努利 递归计算中的回溯。 （英语） Zbl 0359.68023号 学报信息。 8, 125-144 (1977).MSC公司：68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，《信息学报》8，125--144（1977；Zbl 0359.68023） 全文： 内政部
佐哈尔·曼纳;阿米尔·普努利 程序完全正确性的公理方法。 （英语） Zbl 0263.68009号 学报信息。 3, 243-263 (1974).MSC公司：68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli}，《信息学报》3，243--263（1974；Zbl 0263.68009） 全文： 内政部