黛拉·莫妮卡，达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 通过区间时序逻辑模型检查评估时序数据集。 （英语） Zbl 1515.68109号 Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，2017年《时代》杂志，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第11条，第18页（2017年）。MSC公司：第68页，共15页 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，LIPIcs——莱布尼茨国际程序。通知。90，第11条，第18页（2017年；Zbl 1515.68109） 全文： DOI程序
黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;皮埃特罗·萨拉 提示间隔时间逻辑。 （英语） Zbl 1483.03015号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 207-222 (2016).MSC公司：03B44号 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，莱克特。注释计算。科学。10021、207--222（2016；Zbl 1483.03015） 全文： DOI程序 链接
阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 检查计算的间隔属性。 （英语） Zbl 1350.68184号 学报信息。 53，编号6-8，587-619（2016）.MSC公司：60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人，《学报》第53期，第6--8、587--619号（2016年；Zbl 1350.68184） 全文： DOI程序 arXiv公司