阿米尔·普努利（编辑）；伊琳娜Virbitskaite（编辑）；安德烈·沃伦科夫（编辑） 系统信息学的观点。2009年6月15日至19日，俄罗斯新西伯利亚，第七届安德烈·埃尔肖夫国际纪念大会，PSI 2009。修订论文。 （英语） Zbl 1181.68013号 计算机科学课堂讲稿5947.柏林：施普林格出版社（ISBN 978-3-642-11485-4/pbk）。xi，第425页。(2010).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}（编辑）等，《系统信息学的观点》。2009年6月15日至19日，第七届安德烈·埃尔肖夫国际纪念大会，PSI 2009，俄罗斯新西伯利亚。修订论文。柏林：施普林格（2010年；Zbl 1181.68013） 全文： 内政部
奥德·马勒（编辑）；阿米尔·普努利（编辑） 混合系统：计算和控制。第六届国际研讨会，2003年HSCC，捷克共和国布拉格，2003年4月3-5日。诉讼程序。 （英语） Zbl 1017.00053号 计算机科学课堂讲稿. 2623. 柏林：斯普林格。xii，558页（2003年）。MSC公司：00B25型 93-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler（编辑）和\textit{A.Pnueli}（编辑），混合系统：计算和控制。第六届国际研讨会，HSCC 2003，捷克共和国布拉格，2003年4月3--5日。诉讼程序。柏林：施普林格（2003年；Zbl 1017.00053） 全文： 内政部 链接
A.普努利。（编辑）；J.西法基斯。（编辑） 混合动力系统专题。 （英语） Zbl 0879.00023号 西奥。计算。科学。138，第1期，239页（1995年）。 MSC公司：00B15号机组 68-06 93-06 65日元10 PDF格式BibTeX公司 XML格式
贝纳姆·巴尼克巴尔（编辑）；霍华德·巴林格（编辑）；阿米尔·普努利（编辑） 规范中的时序逻辑。1987年4月8日至10日，英国奥尔特林查姆。诉讼程序。 （英语） Zbl 0718.68002号 计算机科学课堂讲稿, 398. 柏林等：Springer-Verlag。六、 第448页，DM 63.00（1989）。 审核人：J.Šefránek（布拉迪斯拉发） MSC公司：68-06 2010年第68季度 60年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{B.Banieqbal}（ed.）等人，规范中的时态逻辑。1987年4月8日至10日，英国奥尔特林查姆。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0718.68002）