劳拉·博泽利；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 Pspace（Pspace）-子区间和后缀的时间逻辑的完整性。 （英语） Zbl 07742414号 Inf.计算。 294，文章ID 105083，20 p.（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。294，文章ID 105083，20 p.（2023；Zbl 07742414） 全文： 内政部
劳拉·博泽利；Angelo蒙塔纳里；阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 （英语） Zbl 07713585号 ACM事务处理。计算。日志。 24，第3号，第24号论文，32页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。24，第3号，第24号文件，第32页（2023；Zbl 07713585） 全文： 内政部
尼古拉·吉甘特；安德烈亚·米凯利；Angelo蒙塔纳里；恩里科·斯卡拉 密集时间内基于行动的时间规划的可决定性和复杂性。 （英语） Zbl 07505989号 Artif公司。智力。 307，文章ID 103686，20 p.（2022）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人，Artif。智力。307，文章ID 103686，20 p.（2022；Zbl 07505989） 全文： 内政部
劳拉·博泽利；阿尔贝托·莫利纳里；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蒙塔纳里；阿德里亚诺·佩隆 模型检查区间时序逻辑统一算法的复杂性分析。 （英语） 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） 全文： 内政部 链接
黛拉·莫妮卡，达里奥；尼古拉·吉甘特；萨尔瓦多拉托雷；Angelo蒙塔纳里 基于时间线的定性规划的复杂性。 （英语） Zbl 07760486号 穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第16条，第13页（2020年）。MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人，LIPIcs——莱布尼茨国际程序。通知。178，第16条，第13页（2020；Zbl 07760486） 全文： 内政部
尼古拉·吉甘特；Angelo蒙塔纳里；安德烈亚·奥兰迪尼；玛尔塔·恰尔迪亚·梅耶；马克·雷诺兹 关于基于时间的游戏及其复杂性。 （英语） Zbl 1433.68409号 西奥。计算。科学。 815247-269（2020）.MSC公司：68T20型 91A25型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛N.Gigante｝等人，Theor。计算。科学。815247-269（2020年；Zbl 1433.68409） 全文： 内政部 链接
劳拉·博泽利；阿尔贝托·莫利纳里；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蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 时间间隔与时间点逻辑模型检查。表现力比较。 （英语） 兹比尔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） 全文： 内政部
尼古拉·吉甘特；Angelo蒙塔纳里；梅耶·玛尔塔·恰尔迪亚；安德烈亚·奥兰迪尼；马克·雷诺兹 一种游戏理论方法，用于基于时间的不确定性规划。 （英语） Zbl 1487.68213号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第13条，第17页（2018年）。MSC公司：68T20型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人，LIPIcs——莱布尼茨国际程序。通知。120，第13条，第17页（2018；Zbl 1487.68213） 全文： 内政部 arXiv公司
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 在多项式时间层次的低层次上对区间时序逻辑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） 全文： 内政部 链接
阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 （英语） Zbl 1390.68436号 Inf.计算。 259，第3部分，412-443（2018）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人，《信息计算》。259，第3部分，412--443（2018；Zbl 1390.68436） 全文： 内政部 arXiv公司
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆 带正则表达式的区间时序逻辑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公司 链接
劳拉·博泽利；阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 （英语） Zbl 1478.68148号 Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，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公司 链接
黛拉·莫妮卡，达里奥；Angelo蒙塔纳里；阿尼埃洛·穆拉诺；皮埃特罗·萨拉 提示间隔时间逻辑。 （英语） 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） 全文： 内政部 链接
劳拉·博泽利；阿尔贝托·莫利纳里；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） 全文： 内政部
阿尔贝托·莫利纳里；Angelo蒙塔纳里；阿德里亚诺·佩隆 区间时序逻辑模型检验中的循环交替约束。 （英语） Zbl 1345.68221号 Crescenzi，Pierluigi（ed.）等人，《2015年ICTCS会议录》，第16届意大利理论计算机科学会议，意大利费伦泽，2015年9月9日至11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记322，211-226，仅电子版（2016）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Molinari}等人，《电子》。注释Theor。计算。科学。322、211——226（2016年；兹bl 1345.68221） 全文： 内政部
卢卡·埃特罗；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 艾伦关系区间逻辑表现力的一个完整分类：一般情况和稠密情况。 （英语） Zbl 1339.03018号 学报信息。 53，第3期，207-246（2016）. 审核人：贾科莫·伦齐（费西亚诺） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《信息学报》53，第3期，207--246（2016；Zbl 1339.03018） 全文： 内政部 链接
卢卡·埃特罗；黛拉·莫妮卡，达里奥；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 （英语） Zbl 1432.03027号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 267-281 (2014).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。8761，267--281（2014；Zbl 1432.03027） 全文： 内政部 链接
大卫·布雷索林；Angelo蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 （英语） Zbl 1333.03006号 Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，73-87（2011）。MSC公司：03B44号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。6793，73--87（2011；Zbl 1333.03006） 全文： 内政部
乌戈·达尔拉戈；Angelo蒙塔纳里；加布里埃尔，小狗 时间粒度的紧凑且易于处理的基于自动机的表示。 （英语） Zbl 1111.68053号 西奥。计算。科学。 373，编号1-2，115-141（2007）.MSC公司：65年第68季度 第68页，共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}等人，Theor。计算。科学。373，编号1--2，115-141（2007；Zbl 1111.68053） 全文： 内政部
V.戈兰科。；A.蒙塔纳里。；Sciavicco，G。 时间间隔逻辑和持续时间计算的路线图。 （英语） Zbl 1181.03012号 J.应用。非类别。日志。 14，编号1-2，9-54（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，J.Appl。非类别。日志。14，编号1--2，9--54（2004；Zbl 1181.03012） 全文： 内政部 链接
瓦伦丁·戈兰科；Angelo蒙塔纳里 时间间隔逻辑和持续时间计算专题前言。 （英语） Zbl 1180.03019号 J.应用。非类别。日志。 14，第1-2、7-8号（2004）.MSC公司：03B44号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{A.Montanari}，J.Appl。非类别。日志。14，编号1--2，7--8（2004；Zbl 1180.03019） 全文： 内政部