×

弗朗西丝卡·斯科扎里

作者ID: 斯科扎里·弗朗西丝卡“Scozzari,Francesca”最近发表的zbMATH文章
发布日期: 弗朗西丝卡·斯科扎里
外部链接: ORCID公司
已编制索引的文档: 21出版物自1998年以来
1作为编辑的贡献
合著者: 7合著者具有18联合出版物
103合著作者

按年份列出的出版物

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名

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 尼古拉·佐洛提克

按年份列出的引文