弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展,带有插值。 (英语) 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 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 1284.68520号 形式方法系统。设计。 42,第1期,24-45(2013).MSC公司:68吨15 68T27型 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ranise},形式方法系统。设计。42,第1号,24-45(2013;Zbl 1284.68520) 全文: 内政部
西尔维奥·兰伊斯 关于安全感知电子服务的验证。 (英语) Zbl 1241.94030号 J.塞姆。计算。 47,第9期,1066-1088(2012).MSC公司:94A62型 03B70号 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Ranise},J.Symb。计算。47,第9号,1066--1088(2012;Zbl 1241.94030) 全文: 内政部
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 具有整数差分约束的数组的无量词插值的重写和约束求解的组合。 (英语) Zbl 1348.68123号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。《人工智能讲义》,103-118(2011)。MSC公司:60年第68季度 68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,Lect。注释计算。科学。6989、103--118(2011年;Zbl 1348.68123) 全文: 内政部
克里斯托弗·林奇;西尔维奥·兰伊斯;克里斯托夫·林盖森;德坎·特兰 自动判定和组合。 (英语) Zbl 1216.68163号 Inf.计算。 209,编号7,1026-1047(2011).MSC公司:60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}等人,《信息计算》。209,第7号,1026--1047(2011;Zbl 1216.68163) 全文: 内政部
德坎·特兰;克里斯托夫·林盖森;西尔维奥·兰伊斯;赫莱内·基什内尔 凸理论的组合:模块性、演绎完备性和解释。 (英语) Zbl 1192.68190号 J.塞姆。计算。 45,第2期,261-286(2010).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.-K.Tran}等人,J.Symb。计算。45,第2号,261--286(2010;Zbl 1192.68190) 全文: 内政部 链接
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇 基于轻量级SMT的模型检查。 (英语) 兹比尔1335.68138 Miller,Alice(编辑)等人,《第八届关键系统自动验证国际研讨会论文集》(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) 全文: 内政部
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 面向阵列系统的SMT模型检查。 (英语) Zbl 1165.68406号 阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。人工智能课堂讲稿,67-82(2008)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,Lect。注释计算。科学。5195、67-82(2008年;Zbl 1165.68406) 全文: 内政部
戴维·德哈比;西尔维奥·兰伊斯;约旦维达尔 在懒惰的理论证明中分配工作负载。 (英语) Zbl 1279.68288号 Sampaio,Augusto(编辑),第二届巴西正式方法研讨会论文集(SBMF 2005),Porto Alegre,RS,巴西,2005年11月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记184,21-37(2007)。MSC公司:68吨15 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Deharbe}等人,《电子》。注释Theor。计算。科学。184、21-37(2007年;Zbl 1279.68288) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼 通过布尔搜索进行有效的理论组合。 (英语) Zbl 1137.68578号 Inf.计算。 204,第10期,1493-1525(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《信息计算》。204,第10号,1493-1525(2006;Zbl 1137.68578) 全文: 内政部