编辑配置文件(在新选项卡中打开) 马可·费利乌。 合著者距离 作者ID: 费利乌·马尔科-a 发布日期: 马可·费利乌。;马可·费利乌。;费利乌,M.A。 更多。。。较少的 已编制索引的文档: 6出版物自2010年以来 合著者: 8位合著者具有6联合出版物 112位Co-Co作者 全部的 前5名合著者 0 单作者的 4 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 4 塞萨尔·穆尼奥斯。 三 劳拉·蒂托洛 2 艾丽西亚·维拉纽埃娃 1 玛丽亚·阿尔普特 1 乔瓦尼·巴奇 1 马可·科米尼 1 洛佩斯·蓬博,卡洛斯·古斯塔沃 系列 字段 6 计算机科学(68-XX) 三 数值分析(65-XX) 1 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用10中的次8文件 引用人▼ 年份▼ 浮点程序四舍五入错误分析的抽象解释框架。 Zbl 1446.68036号 劳拉·蒂托洛;马可·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 8 2018 自动生成保护稳定的浮点代码。 Zbl 1517.68085号 蒂托洛,劳拉;玛丽亚诺·莫斯卡托;马可·费利乌。;塞萨尔·穆尼奥斯。 1 2020 函数逻辑语言中的逻辑特性为自动合成规范带来了额外的困难。 Zbl 1281.68075号 乔瓦尼·巴奇;马可·科米尼;马可·费利乌。;艾丽西亚·维拉纽埃娃 1 2012 自动生成保护稳定的浮点代码。 Zbl 1517.68085号 劳拉·蒂托洛;玛丽亚诺·莫斯卡托;马可·费利乌。;穆尼奥斯,塞萨尔·A。 1 2020 浮点程序四舍五入错误分析的抽象解释框架。 Zbl 1446.68036号 劳拉·蒂托洛;马可·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 8 2018 函数逻辑语言中的逻辑特性为自动合成规范带来了额外的困难。 Zbl 1281.68075号 乔瓦尼·巴奇;马可·科米尼;马可·费利乌。;艾丽西亚·维拉纽埃娃 1 2012 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 1 玛丽亚·阿尔普特 1 弗朗索瓦·博博特 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 弗雷德里克·达尔奎斯特 1 亚伦·M·达特(Aaron M.Dutle)。 1 奥马尔·因弗索 1 马克西姆·雅克明 1 贾凯 1 琼斯、本 1 尼古拉·科马托夫 1 保罗·马斯奇 1 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 1 塞萨尔·穆尼奥斯。 1 Nguyen,Thanh-Son先生 1 丹尼尔·帕尔多 1 茨沃尼米尔·拉卡马里奇 1 马丁·里纳德。 1 萨尔瓦多、罗科 1 辛戈尔斯,朱利安 1 Simić,斯特拉 1 劳拉·蒂托洛 1 米尔科·特里巴斯通 1 弗兰克·维德琳 1 艾丽西亚·维拉纽埃娃 3篇连载文章中引用 1 计算的形式方面 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 7 计算机科学(68-XX) 4 数值分析(65-XX) 按年份列出的引文