弗朗西斯科·塔帕罗
人员信息
优化列表
2010 – 2019
2011 [j5] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
节省时间效率模拟算法中的空间。 芬丹。 信息学 108 ( 1-2 ) : 23-42 ( 2011 ) 2010 【j4】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
一种基于抽象解释的高效仿真算法。 Inf.计算。 208 ( 1 ) : 1-22 ( 2010 )
2000 – 2009
2009 [j3] 洛伦佐·德纳多 , 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
子图相似性问题。 IEEE传输。 知识。 数据工程。 21 ( 5 ) : 748-749 ( 2009 ) [第10条] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
节省时间效率模拟算法中的空间。 ACSD系统 2009 : 60-69 【c9】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
计算口吃模拟。 CONCUR公司 2009 : 542-556 [i4] 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
计算口吃模拟。 CoRR公司 abs/0904.1488 ( 2009 ) 2008 [注2] 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
通过抽象解释推广Paige-Tarjan算法。 Inf.计算。 206 ( 5 ) : 620-651 ( 2008 ) 【c8】 弗朗西斯科·兰扎托 , 奥利维娅·罗西·多里亚 , 弗朗西斯科·塔帕罗 :
一种前后向抽象精化算法。 VMCAI公司 2008 : 248-262 2007 [j1] 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
抽象解释的广义强守恒。 J.日志。 计算。 17 ( 1 ) : 157-197 ( 2007 ) 【c7】 马可·波扎诺 , 亚历山德罗·西马蒂 , 弗朗西斯科·塔帕罗 :
无功系统的符号故障树分析。 ATVA公司 2007 : 162-176 【c6】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
一种新的高效仿真等价算法。 低收入国家 2007 : 171-180 [i3] 弗朗切斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
一种基于抽象解释的高效仿真等价算法。 CoRR公司 abs/0709.4118 ( 2007 ) 2006 【c5】 弗朗切斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
基于时间不动点算子的抽象解释的强保持性。 VMCAI公司 2006 : 332-347 [i2] 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
通过抽象解释推广Paige-Tarjan算法。 CoRR公司 abs/cs/0612120 ( 2006 ) 2005 【c4】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
线性时间与分支时间的抽象解释视角。 阿普拉斯 2005 : 69-85 【c3】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
一种基于抽象解释的强保持精化算法。 TACAS公司 2005 : 140-156 2004 【c2】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
在抽象解释中保持完整性。 员工持股计划 2004 : 18-32 [i1] 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
抽象解释的广义强保存。 CoRR公司 反恐精英。 LO/0401016号 ( 2004 ) 2002 【c1】 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
使抽象模型检查具有强保留性。 SAS公司 2002 : 411-427