黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 扩展（ω）正则语言的区间时序逻辑特征。 （英语） Zbl 07691017号 理论。计算。科学。 962，文章ID 113929，29 p.（2023）.MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，Theor。计算。科学。962，文章ID 113929，29 p.（2023；Zbl 07691017） 全文： 内政部
大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 Beyond（ω）-正则语言：（ωT）-正则表达式及其自动机和逻辑对应项。 （英语） 兹比尔1433.68192 理论。计算。科学。 813, 270-304 (2020).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Barozzini}等人，Theor。计算。科学。813、270--304（2020；Zbl 1433.68192） 全文： 内政部
黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 Beyond\（\omega BS\）-正则语言：\（\omega T\）-正则表达式和计数器检查自动机。 （英语） Zbl 1483.68160号 Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）256223-237（2017）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，电子。程序。理论。计算。科学。（EPTCS）256223--237（2017；Zbl 1483.68160） 全文： arXiv公司 链接