编辑配置文件(在新选项卡中打开) 弗朗西斯科·兰扎托 合著者距离 作者ID: 兰扎托·弗朗西斯科 发布日期: 弗朗西斯科·兰扎托;F.兰扎托。 已编制索引的文档: 53出版物自1996年起 2作为编辑的贡献 合著者: 19位合著者具有41联合出版物 319合著作者 全部的 前5名合著者 14 单作者的 19 罗伯托·贾科巴齐 11 弗朗西斯科·塔帕罗 5 西尔维娅·克拉法 三 弗朗西丝卡·斯科扎里 2 皮埃尔·甘蒂 2 弗朗西斯科·洛戈佐 1 保罗·巴尔丹 1 帕特里克·库索特 1 乔治·德尔扎诺 1 斯特凡诺·迪塞格纳 1 基韦利多佛里 1 吉尔伯托·菲莱 1 马可·米兰尼斯 1 卡图西亚帕拉米德斯 1 弗朗西斯科·帕罗里尼 1 奥利维亚·罗西·多里亚 1 佩德罗·瓦莱罗 1 马可·扎内拉 1 张林鹏 全部的 前5名系列 7 信息与计算 4 代数普遍性 三 系统设计中的形式化方法 三 ACM计算逻辑事务 2 理论计算机科学 1 信息学学报 1 离散数学 1 计算机程序设计科学 1 逻辑与计算杂志 1 美国医学会杂志 1 计算机基础理论 1 葡萄牙数学。Nova Série公司 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 领域 46 计算机科学(68至XX) 10 阶、格、有序代数结构(06-XX) 5 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 42出版物被引用214中的次123文件 引用人▼ 年份▼ 完成抽象解释。 兹比尔1133.68370 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 50 2000 精炼和压缩抽象域。 Zbl 1401.68197号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 17 1997 通过抽象解释推广Paige-Tarjan算法。 Zbl 1197.68054号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 16 2008 析取抽象解释的最佳域。 Zbl 0942.68020号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 15 1998 通过抽象解释进行广义强保存。 Zbl 1120.68074号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 10 2007 闭包算子的弱相对伪补足。 兹比尔0901.06003 R·贾科巴齐。;帕拉米德斯,C。;F.兰扎托。 9 1996 基于概率分布的LTS行为关系谱。 Zbl 1344.68162号 西尔维亚·克拉法;弗朗西斯科·兰扎托 8 2011 一种基于抽象解释的高效仿真算法。 Zbl 1188.68197号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 6 2010 在抽象解释中保持完整性。 Zbl 1126.68485号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 6 2004 统一闭包:顺序理论上重建逻辑程序语义和抽象域细化。 兹比尔0921.68057 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 6 1998 一种基于抽象解释的强保存细化算法。 Zbl 1087.68058号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 6 2005 抽象域上的相对功耗降低操作。 兹伯利0914.68129 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 5 1999 概率互模拟和抽象解释的模拟算法。 Zbl 1333.68196号 西尔维亚·克拉法;弗朗西斯科·兰扎托 4 2011 基于抽象解释的概率转移系统的互模拟和仿真算法。 Zbl 1290.68093号 西尔维亚·克拉法;弗朗西斯科·兰扎托 4 2012 分析程序分析。 Zbl 1345.68106号 罗伯托·贾科巴齐;弗朗西斯科·洛戈佐;弗朗西斯科·兰扎托 4 2015 补充逻辑程序语义。 Zbl 1355.68037号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 4 1996 计算结巴的模拟。 Zbl 1254.68179号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 三 2009 节省时间效率仿真算法的空间。 Zbl 1255.68100号 西尔维亚·克拉法;弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 三 2011 一种更有效的克里普克结构仿真算法。 Zbl 1400.68143号 弗朗切斯科·兰扎托 三 2013 从可计算性的角度来看,程序分析比验证更难。 Zbl 1511.68074号 帕特里克·库索特;罗伯托·贾科巴齐;弗朗西斯科·兰扎托 三 2018 抽象解释的幂集运算符。 Zbl 0930.68033号 吉尔伯托·菲莱;弗朗切斯科·兰扎托 三 1999 一种前向的抽象细化算法。 Zbl 1138.68458号 弗朗西斯科·兰扎托;奥利维娅·罗西(Olivia Rossi Doria);弗朗西斯科·塔帕罗 2 2008 使抽象域浓缩。 Zbl 1367.68065号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 2 2005 基于良好拟序的Büchi自动机包含性检验。 Zbl 07730605号 肯塔基州多弗利;皮埃尔·甘蒂;弗朗西斯科·帕罗里尼;弗朗西斯科·兰扎托 2 2021 关于模型检查的完整性。 Zbl 0977.68056号 弗朗西斯科·兰扎托 2 2001 在基于线性逻辑的设置中构建完整的抽象解释。 Zbl 0912.03016号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 2 1998 CPO上的闭包形成完整的格。 Zbl 1004.06007号 弗朗西斯科·兰扎托 2 1999 抽象解释模型检查中的状态与痕迹。 Zbl 1015.68124号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 2 2002 通过抽象解释对基于时间固定点的操作符进行强保存。 Zbl 1176.68127号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 2 2006 (约束逻辑)编程中的静态分析、抽象解释和验证。 Zbl 1285.68030号 乔治·德尔赞诺;罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2010 超模博弈的抽象解释。 Zbl 1394.91022号 弗朗西斯科·兰扎托 1 2016 静态分析。2017年8月30日至9月1日,第24届国际研讨会,SAS 2017,美国纽约州纽约市。诉讼程序。 Zbl 1369.68036号 1 2017 抽象解释的正确内核。 Zbl 1360.68363号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2014 完备Heyting代数和共Heyting代数的一个新刻画。 Zbl 1459.06006号 弗朗西斯科·兰扎托 1 2017 概率分布转移系统上行为关系的逻辑特征。 Zbl 1354.68192号 西尔维亚·克拉法;弗朗西斯科·兰扎托 1 2015 到处都是完整的抽象。 Zbl 1426.68059号 弗朗西斯科·兰扎托 1 2013 示例指导的抽象简化。 Zbl 1288.68041号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2010 带测试的Kleene代数上的局部完备性逻辑。 Zbl 1524.68098号 马可·米兰尼斯;弗朗切斯科·兰扎托 1 2022 抽象归纳不变量的可判定性和综合。 Zbl 07559486号 弗朗西斯科·兰扎托 1 2020 使抽象模型检查具有强保存性。 Zbl 1015.68122号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 1 2002 模型检查中状态相对于r.t.轨迹的不完整性。 Zbl 1103.68074号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2006 关于线性时间与分支时间的抽象解释视角。 Zbl 1159.68380号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 1 2005 带测试的Kleene代数上的局部完备性逻辑。 Zbl 1524.68098号 马可·米兰尼斯;弗朗西斯科·兰扎托 1 2022 基于良好拟序的Büchi自动机包含性检验。 兹伯利07730605 基韦利多佛里;皮埃尔·甘蒂;弗朗西斯科·帕罗里尼;弗朗西斯科·兰扎托 2 2021 抽象归纳不变量的可判定性和综合。 Zbl 07559486号 弗朗西斯科·兰扎托 1 2020 从可计算性的角度来看,程序分析比验证更难。 Zbl 1511.68074号 帕特里克·库索特;罗伯托·贾科巴齐;弗朗西斯科·兰扎托 三 2018 静态分析。2017年8月30日至9月1日,第24届国际研讨会,SAS 2017,美国纽约州纽约市。诉讼程序。 Zbl 1369.68036号 1 2017 完备Heyting代数和co-Heyting代数的一个新特征。 Zbl 1459.06006号 弗朗切斯科·兰扎托 1 2017 超模博弈的抽象解释。 Zbl 1394.91022号 弗朗西斯科·兰扎托 1 2016 分析程序分析。 Zbl 1345.68106号 罗伯托·贾科巴齐;弗朗西斯科·洛戈佐;弗朗西斯科·兰扎托 4 2015 概率分布转换系统上行为关系的逻辑特征。 Zbl 1354.68192号 西尔维亚·克拉法;弗朗西斯科·兰扎托 1 2015 抽象解释的正确内核。 Zbl 1360.68363号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2014 一种更有效的克里普克结构仿真算法。 Zbl 1400.68143号 弗朗西斯科·兰扎托 三 2013 到处都是完整的抽象。 Zbl 1426.68059号 弗朗切斯科·兰扎托 1 2013 基于抽象解释的概率转移系统的互模拟和仿真算法。 Zbl 1290.68093号 西尔维亚·克拉法;弗朗西斯科·兰扎托 4 2012 基于概率分布的LTS行为关系谱。 Zbl 1344.68162号 西尔维亚·克拉法;弗朗西斯科·兰扎托 8 2011 概率互模拟和抽象解释的模拟算法。 Zbl 1333.68196号 西尔维亚·克拉法;弗朗西斯科·兰扎托 4 2011 节省时间效率仿真算法的空间。 Zbl 1255.68100号 西尔维亚·克拉法;弗朗西斯科·兰扎托;弗朗切斯科·塔帕罗 三 2011 一种基于抽象解释的高效仿真算法。 Zbl 1188.68197号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 6 2010 (约束逻辑)编程中的静态分析、抽象解释和验证。 Zbl 1285.68030号 乔治·德尔扎诺;罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2010 示例指导的抽象简化。 Zbl 1288.68041号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 1 2010 计算结巴的模拟。 Zbl 1254.68179号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 三 2009 通过抽象解释推广Paige-Tarjan算法。 Zbl 1197.68054号 弗朗西斯科·兰扎托;弗朗切斯科·塔帕罗 16 2008 一种前向的抽象细化算法。 Zbl 1138.68458号 弗朗西斯科·兰扎托;奥利维娅·罗西(Olivia Rossi Doria);弗朗西斯科·塔帕罗 2 2008 通过抽象解释进行广义强保存。 Zbl 1120.68074号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 10 2007 通过抽象解释对基于时间固定点的操作符进行强保存。 Zbl 1176.68127号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 2 2006 模型检查中状态w.r.t.迹线的不完整性。 Zbl 1103.68074号 罗伯托·贾科巴齐;弗朗切斯科·兰扎托 1 2006 一种基于抽象解释的强保存细化算法。 Zbl 1087.68058号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 6 2005 使抽象域浓缩。 Zbl 1367.68065号 罗伯托·贾科巴齐;弗朗切斯科·兰扎托;弗朗西丝卡·斯科扎里 2 2005 关于线性时间与分支时间的抽象解释视角。 Zbl 1159.68380号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 1 2005 在抽象解释中保持完整性。 Zbl 1126.68485号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 6 2004 抽象解释模型检查中的状态与痕迹。 Zbl 1015.68124号 罗伯托·贾科巴齐;弗朗切斯科·兰扎托 2 2002 使抽象模型检查具有强保存性。 Zbl 1015.68122号 弗朗西斯科·兰扎托;弗朗西斯科·塔帕罗 1 2002 关于模型检查的完整性。 Zbl 0977.68056号 弗朗西斯科·兰扎托 2 2001 完成抽象解释。 Zbl 1133.68370号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 50 2000 抽象域上的相对功耗降低操作。 Zbl 0914.68129号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 5 1999 抽象解释的幂集运算符。 Zbl 0930.68033号 吉尔伯托·菲莱;弗朗西斯科·兰扎托 三 1999 CPO上的闭包形成完整的格。 Zbl 1004.06007号 弗朗西斯科·兰扎托 2 1999 析取抽象解释的最佳域。 兹比尔0942.68020 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 15 1998 统一闭包:顺序理论上重建逻辑程序语义和抽象域细化。 Zbl 0921.68057号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 6 1998 在基于线性逻辑的设置中构建完整的抽象解释。 Zbl 0912.03016号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西斯卡·斯科扎里 2 1998 精炼和压缩抽象域。 兹比尔1401.68197 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 17 1997 闭包算子的弱相对伪补足。 Zbl 0901.06003号 R·贾科巴齐。;帕拉米德斯,C。;F.兰扎托。 9 1996 补充逻辑程序语义。 Zbl 1355.68037号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托 4 1996 所有引用出版物 前5名被引用出版物 全部的 前5名179位作者引用 20 弗朗西斯科·兰扎托 18 罗伯托·贾科巴齐 14 伊莎贝拉·马斯特罗埃尼 6 米罗斯拉夫·奇·伊里奇。 6 伊格尼亚托维奇(Jelena Ignjatović) 5 阿戈斯蒂诺·科尔特斯 5 帕特里克·库索特 5 施密特,大卫·A。 4 文森佐·阿塞里 4 马可·贝尔纳多 4 西尔维亚·克拉法 4 米拉·达拉·普雷达 4 洛科·德尼古拉 4 米歇尔·洛雷蒂 4 弗朗西丝卡·斯科扎里 4 安娜·索科洛娃 4 弗朗切斯科·塔帕罗 三 吉安卢卡·阿马托 三 保罗·巴尔丹 三 格罗特,扬·弗里索 三 玛丽亚·希亚拉(Maria Chiara Meo) 三 斯特凡·米利厄斯 三 安托万·米内 三 卢茨·施罗德 三 亚历山德拉·席尔瓦 三 福斯托·斯波托 三 托尔斯滕·维曼 2 安妮迪亚·班纳吉 2 巴希奇,米兰 2 菲利波·邦奇 2 罗伯托·布鲁尼 2 陈丽倩 2 拉迪亚·库索特 2 Nada Damljanović 2 乌尔里希多施 2 罗伯塔·戈里 2 罗伯托·戈里埃里 2 拉朱·哈尔德 2 伊万娜·扬契奇 2 大卫·詹森(David N.Jansen)。 2 玛莎·L·H·基尔帕克。 2 巴巴拉·科尼格 2 朱塞佩·莱蒂埃里 2 乔治·列维 2 阿图罗·马吉丁 2 托马索·帕多安 2 阿列克桑达尔·斯塔门科维奇 2 王,季 2 Tim A.C.Willemse。 1 帕罗什·阿齐兹·阿卜杜拉 1 玛丽亚·阿尔普特 1 塞皮德·阿萨迪 1 David A.Basin。 1 博迪,恰拉 1 Bogdanović,Stojan M。 1 Jörg Brauer 1 卜天明 1 彼得·布利切夫(Peter E.Bulychev)。 1 萨缪尔·布鲁 1 陈一凡 1 陈一香 1 哈娜·乔克勒 1 马可·科米尼 1 加布里埃尔·科斯塔 1 罗伊·克罗。 1 加布里埃尔·德·阿尔伯克基·格莱泽 1 德波尔(Frank S。 1 尼科莱塔·德·弗朗西斯科 1 埃里克·P·德文克。 1 索米亚·德布雷。 1 迪加诺,皮尔保罗 1 汉斯·佩特·迪费尔 1 玛丽亚·德尔马·加拉多 1 邓玉欣 1 A.V.德雷扎。 1 基韦利多佛里 1 阿戈斯蒂诺·多维尔 1 维杰·迪尔瓦 1 理查德·艾格特 1 凯·恩格哈特 1 卡琳·埃文·蒙多萨 1 乌里·法伦贝格 1 方、斌 1 杰罗姆·费雷特 1 皮埃特罗·费拉拉 1 吉尔伯托·菲莱 1 傅洪飞 1 毛里齐奥Gabbrielli 1 约翰·加拉赫(John P.Gallagher)。 1 加莱塔,莱特里奥 1 甘格,格雷姆 1 皮埃尔·甘蒂 1 马西耶·加兹达。 1 Daniel E.Gebler。 1 卡洛斯·格雷戈里奥·罗德里格斯 1 奥尔纳·格伦伯格 1 顾,明 1 瓦希德·哈希米 1 帕特里夏·M·希尔。 1 卢卡什·霍利克 …还有79位作者 全部的 前5名31篇连载文章中引用 16 信息与计算 14 理论计算机科学 5 模糊集与系统 5 计算机科学中的逻辑方法 三 计算的形式方面 三 MSCS公司。计算机科学中的数学结构 三 系统设计中的形式化方法 三 ACM计算逻辑事务 2 信息学学报 2 代数通讯 2 信息科学 2 计算机与系统科学杂志 2 逻辑程序设计理论与实践 2 计算机语言、系统和结构 1 编程和计算机软件 1 Studia Logica公司 1 订单 1 自动推理杂志 1 国际计算机科学基础杂志 1 离散事件动态系统 1 国际计算机数学杂志 1 控制论与系统分析 1 高阶和符号计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 中国科学。F系列 1 算法 1 科学中国。信息科学 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 1 范畴和一般代数结构及其应用 全部的 前5名10个领域引用 117 计算机科学(68至XX) 20 数学逻辑和基础(03-XX) 9 阶、格、有序代数结构(06-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 范畴理论;同调代数(18-XX) 三 概率论与随机过程(60-XX) 2 群论与推广(20-XX) 2 系统论;控制(93至XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文