西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔;希亚拉·纳索 具有长度和maxdiff的数组的插值结果。 （英语） Zbl 07760989号 ACM变速器。计算。日志。 24，第4号，第28号论文，33页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，ACM Trans。计算。日志。24，第4号，第28号论文，33页（2023；Zbl 07760989） 全文： 内政部
西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 使用MaxDiff对数组进行插值和合并。 （英语） Zbl 07410429号 Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650268-288（2021）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，Lect。注释计算。科学。12650268--288（2021；Zbl 07410429） 全文： 内政部 arXiv公司
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 平面阵列属性的决策程序。 （英语） Zbl 1356.03049号 J.汽车。推理 54，第4号，327-352（2015）.MSC公司：03B25号 03B35型 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人，J.Autom。推理54，No.4，327--352（2015；Zbl 1356.03049） 全文： 内政部 链接
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展，带有插值。 （英语） Zbl 1317.68107号 形式方法系统。设计。 45，第1期，63-109（2014）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人，《形式方法系统》。设计。45，编号1，63--109（2014；Zbl 1317.68107） 全文： 内政部 链接
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 数组理论中加速关系的定义及其应用。 （英语） Zbl 1397.68121号 Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，23-39（2013）。MSC公司：60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人，Lect。注释计算。科学。8152，23-39（2013；Zbl 1397.68121） 全文： 内政部 arXiv公司
亚历山德罗·卡里奥尼;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 模型检验模理论中的自动终止。 （英语） Zbl 1348.68124号 Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945110-124（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Carioni｝等人，Lect。注释计算。科学。6945、110-124（2011年；Zbl 1348.68124） 全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 基于SMT求解的阵列系统的后向可达性：终止和不变综合。 （英语） Zbl 1213.68379号 日志。方法计算。科学。 6，第4号，第10号论文，48页（2010年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{S.Ranise}，日志。方法计算。科学。6，第4号，第10号论文，48页（2010年；Zbl 1213.68379） 全文： 内政部 arXiv公司
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇 基于轻量级SMT的模型检查。 （英语） Zbl 1335.68138号 Miller，Alice（ed.）等人，《第八届关键系统自动化验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，85-102（2009）。MSC公司：60年第68季度 68问题85 68吨15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，《电子》。注释Theor。计算。科学。250，第2号，85--102（2009；Zbl 1335.68138） 全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 模型检验模理论的目标定向不变综合。 （英语） Zbl 1260.68230号 Giese，Martin（编辑）等人，《使用分析表和相关方法的自动推理》。第18届国际会议，TABLEUX 2009，挪威奥斯陆，2009年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02715-4/pbk）。计算机科学课程讲稿5607。人工智能课堂讲稿，173-188（2009）。MSC公司：60年第68季度 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{S.Ranise}，莱克特。注释计算。科学。5607173--188（2009年；Zbl 1260.68230） 全文： 内政部