希勒尔·库格勒;阿米尔·普努利;迈克尔·斯特恩。;哈伯德，E.简·阿尔伯特 “不在乎”建模：开发预测系统模型的逻辑框架。 （英语） Zbl 1186.92021号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学讲义442343-357（2007）。MSC公司：92立方厘米 62C15号机组 68单位99 2008年9月 PDF格式BibTeX公司 XML格式引用 \textit{H.Kugler}等人，Lect。注释计算。科学。4424、343--357（2007年；Zbl 1186.92021） 全文： 内政部
卡姆，娜曼;大卫·哈雷;希勒尔·库格勒;拉米·马雷利;阿米尔·普努利;哈伯德，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） 全文： 链接