达姆，沃纳;海宁·迪尔克斯;延斯·奥勒金;阿米尔·普努利 面向基于组件的混合系统设计：安全性和稳定性。 （英语） Zbl 1288.68162号 Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲稿6200，96-143（2010）。MSC公司：第68季度第60季度 93亿B51 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，Lect。注释计算。科学。6200、96——143（2010年；Zbl 1288.68162） 全文： 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 从有界响应特性合成控制器。 （英语） Zbl 1135.68477号 Damm，Werner（编辑）等人，《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。计算机科学课堂讲稿4590，95-107（2007）。MSC公司：第68季度第60季度 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人，Lect。注释计算。科学。4590，95-107（2007年；Zbl 1135.68477） 全文： 内政部
奥德·马勒（编辑）;阿米尔·普努利（编辑） 混合系统：计算和控制。第六届国际研讨会，2003年HSCC，捷克共和国布拉格，2003年4月3日至5日。诉讼程序。 （英语） 兹比尔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） 全文： 内政部 链接
卡姆，娜曼;大卫·哈雷;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利;哈伯德，E.简·阿尔伯特;迈克尔·斯特恩。 秀丽线虫发育的形式化建模：基于场景的方法。 （英语） Zbl 1053.92034号 Priami，Corrado（编辑），系统生物学中的计算方法。第一次国际研讨会，CMSB 2003，意大利罗维雷托，2003年2月24日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00605-2/pbk）。莱克特。注释计算。科学。2602，4-20（2003年）。MSC公司：92D15型 68单位99 2005年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kam}等人，Lect。注释计算。科学。2602，4--20（2003；Zbl 1053.92034） 全文： 链接
奥德·马勒;阿米尔·普努利;约瑟夫·西法基斯 关于定时系统离散控制器的综合。 （英语） 兹比尔1379.68227 Mayr，Ernst W.（编辑）等人，STACS 95。1995年3月2日至4日，德国慕尼黑，第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-59042-0）。计算机科学讲义900，229-242（1995）。MSC公司：65年第68季度 68平方米 91A80型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人，Lect。注释计算。科学。900、229--242（1995年；Zbl 1379.68227） 全文： 内政部
尤金·亚萨林;奥德·马勒;阿米尔·普努利 具有分段常数导数的动力系统的可达性分析。 （英语） Zbl 0884.68050号 西奥。计算。科学。 138，第1期，35-65（1995）.MSC公司：2010年第68季度 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，Theor。计算。科学。138，编号1，35-65（1995；Zbl 0884.68050） 全文： 内政部
A.普努利。（编辑）;西法基斯，J。（编辑） 混合动力系统专题。 （英语） 兹标0879.00023 西奥。计算。科学。138，第1期，239页（1995年）。 MSC公司：00B15号机组 68-06 93-06 65日元10 PDF格式BibTeX公司 XML格式