劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 07471713号 日志。方法计算。科学。 18，第1号，第24号论文，第25页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，日志。方法计算。科学。18，第1号，第24号论文，第25页（2022；Zbl 07471713） 全文： arXiv公司 链接
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ （英语） Zbl 1429.68139号 西奥。计算。科学。 764, 125-144 (2019). 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Theor。计算。科学。764125-144（2019年；Zbl 1429.68139） 全文： 内政部 链接
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆 密集时间域上基于时间线的规划的复杂性：探索中间地带。 （英语） Zbl 1528.68358号 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277191-205（2018）。MSC公司：68T20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277191-205（2018；Zbl 1528.68358） 全文： arXiv公司 链接
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 （英语） Zbl 1475.68177号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9706, 389-405 (2016).MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Lect。票据计算。科学。9706389--405（2016；Zbl 1475.68177） 全文： 内政部