卡琳·埃文·蒙多萨;塞皮德·阿萨迪;安蒂·E·J·海瓦·里宁。;哈娜·乔克勒;娜塔莎·莎莉吉娜 有界模型检查中基于格的精化。 （英语） 兹比尔1403.68123 Piskac、Ruzica（编辑）等人，《验证软件》。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。查姆：施普林格（ISBN 978-3-030-03591-4/pbk；978-3-0.30-03592-1/电子书）。计算机科学课堂讲稿11294，50-68（2018）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Even-Mendoza}等人，Lect。注释计算。科学。11294，50-68（2018；Zbl 1403.68123） 全文： 内政部
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 平面阵列属性的决策程序。 （英语） 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，第4期，327--352（2015年；Zbl 1356.03049） 全文： 内政部 链接
安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 用于并行化SMT求解器的搜索空间分区。 （英语） Zbl 1471.68244号 Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340，369-386（2015年）。MSC公司：68T20型 68伏15 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.E.J.Hyvärinen}等人，Lect。注释计算。科学。9340369--386（2015年；Zbl 1471.68244） 全文： 内政部
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展，带有插值。 （英语） 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 1317.68123号 形式方法系统。设计。 45，第1期，1-41页（2014年）.MSC公司：60年第68季度 03C40号 20层03 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Rollini}等人，《形式方法系统》。设计。45，第1号，1--41（2014；Zbl 1317.68123） 全文： 内政部 arXiv公司