塞皮德·阿萨迪;马丁·布利查;安蒂·E·J·海瓦·里宁。;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 通过概要修复对基于SMT的程序更改进行验证。 (英语) Zbl 07757154号 形式方法系统。设计。 60,第3号,350-380(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人,《形式方法系统》。设计。60,编号3,350-380(2022;Zbl 07757154) 全文: 内政部 OA许可证
塞皮德·阿萨迪;马丁·布利查;安蒂·海瓦里宁;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 基于Farkas的树插值。 (英语) Zbl 1474.68321号 Pichardie,David(编辑)等人,《静态分析》。第27届国际研讨会,SAS 2020,虚拟活动,2020年11月18日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12389, 357-379 (2020).MSC公司:68T20型 03B70号 03C40 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人,Lect。注释计算。科学。12389,357--379(2020;Zbl 1474.68321) 全文: 内政部
马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 SMTS:分布式可视化约束求解。 (英语) Zbl 1415.68197号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 534-542 (2018).MSC公司:68T20型 68宽10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Marescotti}等人,EPiC Ser。计算。57534-542(2018年;兹比尔1415.68197) 全文: 内政部
安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;帕文·萨迪戈娃;哈娜·乔克勒;娜塔莎·莎莉吉娜 基于外观的SMT解决方案。 (英语) Zbl 1415.68193号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 418-434 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.E.J.Hyvärinen}等人,EPiC Ser。计算。57、418--434(2018年;Zbl 1415.68193) 全文: 内政部
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 平面阵列属性的决策程序。 (英语) 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 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公司
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;娜塔莎·莎莉吉娜 数组理论中加速关系的定义及其应用。 (英语) Zbl 1397.68121号 Fontaine,Pascal(编辑)等人,《组合系统的前沿》。2013年9月18日至20日,第九届国际研讨会,FroCoS,法国南希。诉讼程序。柏林:施普林格出版社(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公司