西尔维奥·吉拉尔迪;埃琳娜·帕加尼 高阶量词消除、反仿真和容错系统。 （英语） Zbl 07356977号 J.汽车。推理 65，编号3，425-460（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛S.Ghilardi｝和\textit｛E.Pagani｝，J.奥托姆。推理65，No.3，425--460（2021；Zbl 07356977） 全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 基于SMT的数据感知过程验证：一种模型理论方法。 （英语） Zbl 1495.68129号 数学。结构。计算。科学。 30，第3期，271-313（2020年）.MSC公司：60年第68季度 03B70号 03C98号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，数学。结构。计算。科学。30，第3号，271--313（2020；Zbl 1495.68129） 全文： 内政部
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 等式插值理论组合中的无量词插值。 （英语） Zbl 1287.03068号 ACM事务处理。计算。日志。 第15号第1条第5条第34页（2014年）.MSC公司：03B70号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人，ACM Trans。计算。日志。15，第1号，第5条，第34页（2014年；Zbl 1287.03068） 全文： 内政部
亚历山德罗·卡里奥尼;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 模型检验模理论中的自动终止。 （英语） Zbl 1286.68308号 发现的国际期刊。计算。科学。 24，第2期，211-232（2013）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Carioni}等人，国际法学研究所。计算。科学。24，第2号，211--232（2013；Zbl 1286.68308） 全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 基于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的模型检查。 （英语） 兹比尔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年；兹bl 1335.68138） 全文： 内政部
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;丹尼尔·祖切利 一个全面的组合框架。 （英语） Zbl 1407.03011号 ACM事务处理。计算。日志。 第9号第2条第8条第54页（2008年）.MSC公司：03B35型 03B25号 03B45号 03B15号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，ACM Trans。计算。日志。9，第2号，第8条，54页（2008年；Zbl 1407.03011） 全文： 内政部
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 阵列理论扩展的决策程序。 （英语） Zbl 1125.68115号 安。数学。工件。智力。 50，第3-4、231-254号（2007年）.MSC公司：68T27型 03B70号 68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人，《数学年鉴》。工件。智力。50，编号3--4，231--254（2007；Zbl 1125.68115） 全文： 内政部