编辑配置文件(在新选项卡中打开) 弗朗西丝卡·斯科扎里 合著者距离 作者ID: 斯科扎里·弗朗西丝卡 发布日期: 弗朗西丝卡·斯科扎里 外部链接: ORCID公司 已编制索引的文档: 21出版物自1998年以来 1作为编辑的贡献 合著者: 7合著者具有18联合出版物 103合著作者 全部的 前5名合著者 4 单作者的 15 吉安卢卡·阿马托 5 玛丽亚·希亚拉(Maria Chiara Meo) 三 罗伯托·贾科巴齐 三 弗朗西斯科·兰扎托 2 西蒙·迪纳多·迪迈奥 2 毛里齐奥·帕顿 1 埃纳州扎法内拉 全部的 前5名系列 三 逻辑程序设计理论与实践 2 理论计算机科学 1 信息学报 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 美国医学会杂志 1 意大利马特马提卡联盟(Bollettino della Unione Matematica Italiana)。第八系列。Sezione A.La Matematica nella Societàe nella Cultura公司 1 计算机基础理论 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 全部的 前5名字段 21 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用99中的次72文件 引用人▼ 年份▼ 完成抽象的解释。 兹比尔1133.68370 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 50 2000 通过简单的成分分析发现不变量。 Zbl 1246.65077号 吉安卢卡·阿马托;毛里齐奥·帕顿;弗朗西丝卡·斯科扎里 8 2012 地基分析的逻辑优化。 Zbl 0996.68031号 弗朗西丝卡·斯科扎里 7 2002 共享的目标相关分析中的最优性。 Zbl 1181.68095号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 5 2009 关于共享和线性之间的相互作用。 Zbl 1183.68156号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 4 2010 通过主成分分析推导数值抽象域。 Zbl 1306.68018号 吉安卢卡·阿马托;毛里齐奥·帕顿;弗朗西丝卡·斯科扎里 三 2010 从多面体的双重描述中高效地删除约束/生成器。 Zbl 1337.68262号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里;埃纳州扎法内拉 三 2014 平行四极体的抽象域。 Zbl 1294.68049号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 三 2012 在基于线性逻辑的设置中构建完整的抽象解释。 Zbl 0912.03016号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 2 1998 抽象解释的观察完整性。 Zbl 1234.68246号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 2 2011 关于为程序分析收集语义。 Zbl 1440.68167号 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2020 使抽象域浓缩。 Zbl 1367.68065号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 2 2005 用于共享和线性分析的最佳多重绑定统一。 Zbl 1311.68041号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 2 2014 下降链和缩小模板抽象域。 Zbl 1398.68090号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2018 抽象解释中的领域理论:方程、完备性和逻辑。(论文摘要)。 Zbl 1053.68579号 弗朗西丝卡·斯科扎里 1 2000 通过优化语义进行共享分析的抽象域。 Zbl 0966.68055号 弗朗西丝卡·斯科扎里 1 2000 缩小模板抽象域上的运算符。 Zbl 1427.68158号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2015 在面向对象程序的共享分析中利用线性。 Zbl 1345.68091号 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2016 关于为程序分析收集语义。 兹比尔1440.68167 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2020 下降链和缩小模板抽象域。 Zbl 1398.68090号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2018 在面向对象程序的共享分析中利用线性。 兹比尔1345.68091 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2016 缩小模板抽象域上的运算符。 Zbl 1427.68158号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2015 从多面体的双重描述中高效地删除约束/生成器。 Zbl 1337.68262号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里;埃纳州扎法内拉 三 2014 用于共享和线性分析的最佳多重绑定统一。 Zbl 1311.68041号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 2 2014 通过简单的成分分析发现不变量。 Zbl 1246.65077号 吉安卢卡·阿马托;毛里齐奥·帕顿;弗朗西丝卡·斯科扎里 8 2012 平行四极体的抽象域。 Zbl 1294.68049号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 三 2012 抽象解释的观察完整性。 Zbl 1234.68246号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 2 2011 关于共享和线性之间的相互作用。 Zbl 1183.68156号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 4 2010 通过主成分分析推导数值抽象域。 Zbl 1306.68018号 吉安卢卡·阿马托;毛里齐奥·帕顿;弗朗西丝卡·斯科扎里 三 2010 共享的目标相关分析中的最优性。 Zbl 1181.68095号 吉安卢卡·阿马托;弗朗西丝卡·斯科扎里 5 2009 使抽象域浓缩。 Zbl 1367.68065号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 2 2005 地基分析的逻辑优化。 Zbl 0996.68031号 弗朗西丝卡·斯科扎里 7 2002 完成抽象解释。 Zbl 1133.68370号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 50 2000 抽象解释中的领域理论:方程、完备性和逻辑。(论文摘要)。 Zbl 1053.68579号 弗朗西丝卡·斯科扎里 1 2000 通过优化语义进行共享分析的抽象域。 Zbl 0966.68055号 弗朗西丝卡·斯科扎里 1 2000 在基于线性逻辑的设置中构建完整的抽象解释。 Zbl 0912.03016号 罗伯托·贾科巴齐;弗朗西斯科·兰扎托;弗朗西丝卡·斯科扎里 2 1998 所有引用出版物 前5名被引用出版物 全部的 前5名87位作者引用 14 罗伯托·贾科巴齐 14 伊莎贝拉·马斯特罗埃尼 11 吉安卢卡·阿马托 10 弗朗西丝卡·斯科扎里 7 弗朗西斯科·兰扎托 5 玛丽亚·希亚拉(Maria Chiara Meo) 5 戴维·施密特(David A.Schmidt)。 4 文森佐·阿塞里 4 阿戈斯蒂诺·科尔特斯 4 米拉·达拉·普雷达 4 埃纳州扎法内拉 三 罗伯塔·戈里 三 福斯托·斯波托 2 保罗·巴尔丹 2 安妮迪亚·班纳吉 2 罗伯托·布鲁尼 2 拉朱·哈尔德 2 帕特里夏·M·希尔。 2 巴巴拉·科尼格 2 朱塞佩·莱蒂埃里 2 乔治·列维 2 托马索·帕多安 1 艾肯,亚历克斯 1 玛丽亚·阿尔普特 1 塞皮德·阿萨迪 1 罗伯托·巴格纳拉 1 巴斯特拉科夫,谢尔盖·伊万诺维奇 1 安娜·贝基 1 斯蒂芬·贝克尔。 1 本·萨西,穆罕默德·阿明 1 萨缪尔·布鲁 1 哈娜·乔克勒 1 A.V.丘尔金。 1 马可·科米尼 1 帕特里克·库索特 1 拉迪亚·库索特 1 罗伊·克罗。 1 De Francesco,尼科莱塔 1 索米亚·德布雷。 1 玛丽亚·德尔马·加拉多 1 西蒙·迪纳多·迪迈奥 1 亚历山德拉·迪·皮耶罗 1 维杰·迪尔瓦 1 理查德·艾格特 1 卡琳·埃文·蒙多萨 1 杰罗姆·费雷特 1 皮埃特罗·费拉拉 1 杰西卡·格伦斯基。 1 奥尔纳·格伦伯格 1 安蒂·E·J·海瓦·里宁。 1 托马斯·詹森。 1 卢、伦金 1 塞尔吉奥·马菲斯 1 尼古拉·马尼尼 1 尼科洛·马拉斯托尼 1 卢卡·马提尼 1 劳伦特·莫博涅 1 米德加德,一月 1 马可·米兰尼斯 1 安托万·米内 1 卢卡·内格里尼 1 马蒂娜·奥利亚罗 1 奥泽里,或 1 奥德·帕顿 1 毛里齐奥·帕顿 1 米歇尔·帕斯夸 1 埃内斯托·皮门特尔 1 蒲飞 1 诺姆·里内茨基 1 对手,泽维尔 1 马可·鲁比诺 1 穆利·萨吉夫 1 桑卡拉纳拉亚南,斯里拉姆 1 亚萨米娜·塞拉吉 1 拉胡尔·沙尔马 1 娜塔莎·莎莉吉娜 1 莎伦·肖姆 1 帕斯卡·索丁 1 马修·索图德 1 马塞洛·索萨。 1 弗朗西斯科·塔帕罗 1 阿迪蒂亚·塔库尔。 1 艾丽西亚·维拉纽埃娃 1 赫伯特,威克利基 1 达米亚诺·扎纳尔迪尼 1 张文辉 1 尼古拉·佐洛提克 全部的 前5名17篇连载文章中引用 10 信息与计算 9 理论计算机科学 4 MSCS公司。计算机科学中的数学结构 4 系统设计中的形式化方法 三 逻辑程序设计理论与实践 2 计算的形式方面 1 信息学报 1 订单 1 符号计算杂志 1 新一代计算 1 国际计算机数学杂志 1 优化方法和软件 1 高阶和符号计算 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 中国科学。F系列 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 69 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 4 阶、格、有序代数结构(06-XX) 三 数值分析(65-XX) 2 凸和离散几何(52至XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文