劳拉，博泽利；阿德里亚诺·佩隆 无限字上的参数区间时序逻辑。 （英语） Zbl 1530.68155号 Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370，97-113（2022）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155） 全文： arXiv公司 链接
劳拉，博泽利；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 （英语） Zbl 1518.68204号 Inf.计算。 280，文章ID 104640，22 p.（2021）.MSC公司：60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。280，文章ID 104640，22 p.（2021；Zbl 1518.68204） 全文： 内政部 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 使用正则表达式对区间时序逻辑进行模型检查。 （英语） Zbl 1443.68102号 Inf.计算。 272，文章ID 104498，33 p.（2020）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。272，文章ID 104498，33 p.（2020；Zbl 1443.68102） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 在模型检查中，区间时序逻辑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） 全文： 内政部 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 区间与点时间逻辑模型检查。表现力比较。 （英语） Zbl 1407.68283号 ACM事务处理。计算。日志。 第20条第1款第4条第31页（2019年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。20，第1号，第4条，第31页（2019年；Zbl 1407.68283） 全文： 内政部
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 （英语） Zbl 1400.68121号 Inf.计算。 262，第2部分，241-264（2018）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。262，第2部分，241--264（2018；Zbl 1400.68121） 全文： 内政部 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 （英语） Zbl 1483.68186号 Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256，31-45（2017）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256，31-45（2017；Zbl 1483.68186） 全文： arXiv公司 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 （英语） Zbl 1478.68148号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22676-90（2016）。MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226、76--90（2016年；Zbl 1478.68148） 全文： arXiv公司 链接
劳拉，博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 间隔时间逻辑模型检查：好的和坏的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） 全文： 内政部