托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;阿米尔·普努利 从实时逻辑到时间自动机。 （英语） Zbl 1473.68107号 美国临床医学杂志 66，第3条，第19条，第31页（2019年）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Ferrère｝等人，J.ACM 66，第3号，第19条，第31页（2019；Zbl 1473.68107） 全文： 内政部
亚斯米娜·阿卜杜达伊姆;尤金·亚萨林;奥德·马勒 时间自动机调度。 （英语） Zbl 1088.68023号 西奥。计算。科学。 354，第2期，272-300（2006）.MSC公司：68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abdeddaím}等人，Theor。计算。科学。354，第2号，272--300（2006；Zbl 1088.68023） 全文： 内政部
尤金·亚萨林;保罗·卡斯皮;奥德·马勒 定时正则表达式。 （英语） Zbl 1323.68335号 美国临床医学杂志 49，第2期，172-206（2002）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，J.ACM 49，No.2，172--206（2002；Zbl 1323.68335） 全文： 内政部
尤金·亚萨林;奥德·马勒 尽快：时间自动机的时间最优控制。 （英语） Zbl 0952.93064号 Vaandrager，Frits W.（编辑）等，《混合系统：计算和控制》。第二届国际研讨会，HSCC’99。Berg en Dal，荷兰，1999年3月29日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1569, 19-30 (1999). 审核人：S.G.Tzafestas（雅典） MSC公司：93立方 49号05 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}和\textit{O.Maler}，莱克特。注释计算。科学。1569、19-30（1999年；Zbl 0952.93064）
尤金·亚萨林;奥德·马勒;阿米尔·普努利 时间自动机和数字电路中延迟的离散化。 （英语） Zbl 0933.94045号 Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 470-484 (1998).MSC公司：94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，Lect。注释计算。科学。14661470-484（1998年；兹bl 0933.94045）