劳拉·博泽利；阿尔贝托·莫利纳里；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 07458778号 西奥。计算。科学。 901, 87-113 (2022).MSC公司：68T20型 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Theor。计算。科学。901、87-113（2022；Zbl 07458778） 全文： 内政部
劳拉·博泽利；阿尔贝托·莫利纳里；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公司 链接
阿克尔，塞利姆·G。；南希·萨拉 关于可计算的数字、不均匀性和真正的并行能力。 （英语） Zbl 1396.68043号 Adamatzky，Andrew（编辑），《紧急计算》。Selim G.Akl的节日。查姆：施普林格（ISBN 978-3-319-46375-9/hbk；978-3-3169-46376-6/电子书）。《涌现、复杂性与计算》24，57-69（2017）。MSC公司：2005年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Akl}和\textit{N.Salay}，Emerg.Complex。计算。24，57-69（2017年；兹bl 1396.68043） 全文： 内政部 链接
劳拉·博泽利；阿尔贝托·莫利纳里；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） 全文： 内政部
劳拉·博泽利；塞萨尔·桑切斯 布尔流运行时验证的基础。 （英语） Zbl 1339.68165号 西奥。计算。科学。 631, 118-138 (2016).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{C.Sánchez}，Theor。计算。科学。631、118--138（2016年；Zbl 1339.68165） 全文： 内政部
提姆·贝尔；弗朗西斯·罗萨蒙德；南希·凯西 在数学和计算机科学普及方面，计算机科学和相关项目被拔掉。 （英语） Zbl 1358.00010号 Bodlaender，Hans L.（编辑）等人，《多元算法革命及其以外》。纪念迈克尔·R·费罗斯60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-30890-1/pbk）。计算机科学课堂讲稿7370398-456（2012）。MSC公司：00A09号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bell}等人，Lect。注释计算。科学。7370398--456（2012；Zbl 1358.00010） 全文： 内政部
耶尔·埃齐翁·佩特鲁什卡；大卫·哈雷尔；戴尔·迈尔斯 多米诺蛇问题的可解性。 （英语） Zbl 0808.03028号 西奥。计算。科学。 131，第2期，243-269（1994）. 审核人：P.van Emde Boas（阿姆斯特丹） MSC公司：03天35分 05B45号 65年第68季度 03B25号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{Y.Etzion-Petruschka}等人，Theor。计算。科学。131，No.2，243--269（1994；Zbl 0808.03028） 全文： 内政部
乔治·雷巴内（George J.Rebane）。；莱昂德斯，C.T。 光盘的最佳多文件读取策略。 （英语） Zbl 0796.68063号 J.富兰克林研究所。 329，第6期，1081-1107（1992）.MSC公司：68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Rebane}和\textit{C.T.Leondes}，J.Franklin Inst.329，No.6，1081--1107（1992；Zbl 0796.68063） 全文： 内政部