编辑配置文件(在新选项卡中打开) 劳拉·蒂托洛 合著者距离 作者ID: 蒂托洛·卢拉 发布日期: 劳拉·蒂托洛 已编制索引的文档: 10出版物自2011年起 合著者: 8位合著者具有10联合出版物 108位合著者 全部的 前5名合著者 0 单作者的 6 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 6 塞萨尔·穆尼奥斯。 4 马可·科米尼 4 艾丽西亚·维拉纽埃娃 三 亚伦·M·达特(Aaron M.Dutle)。 三 马可·费利乌。 2 弗朗索瓦·博博特 2 德尔马尔·加拉多,玛丽亚 系列 2 计算的形式方面 2 逻辑程序设计理论与实践 领域 10 计算机科学(68至XX) 5 数值分析(65-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用24中的次18文件 引用人▼ 年份▼ 定时并发约束程序的抽象诊断。 Zbl 1222.68053号 马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 8 2011 浮点程序四舍五入错误分析的抽象解释框架。 Zbl 1446.68036号 劳拉·蒂托洛;马可·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 8 2018 紧凑位置报告算法的形式化分析。 Zbl 1403.68324号 亚伦·杜特尔;玛丽亚诺·莫斯卡托;劳拉·蒂托洛;塞萨尔·穆尼奥斯 5 2017 (mathsf{tccp})的泛性质的抽象分析。 兹比尔1362.68044 马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 1 2015 自动生成保护稳定的浮点代码。 Zbl 1517.68085号 劳拉·蒂托洛;玛丽亚诺·莫斯卡托;马可·费利乌。;塞萨尔·穆尼奥斯。 1 2020 紧凑位置报告算法的正式验证浮点实现。 Zbl 1460.68128号 劳拉·蒂托洛;玛丽亚诺·莫斯卡托(Mariano M.Moscato)。;塞萨尔·穆尼奥斯。;亚伦·杜特尔;弗朗索瓦·博博特 1 2018 自动生成保护稳定的浮点代码。 Zbl 1517.68085号 蒂托洛,劳拉;玛丽亚诺·莫斯卡托;马可·费利乌。;塞萨尔·穆尼奥斯。 1 2020 浮点程序四舍五入错误分析的抽象解释框架。 Zbl 1446.68036号 劳拉·蒂托洛;马可·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 8 2018 紧凑位置报告算法的正式验证浮点实现。 兹比尔1460.68128 劳拉·蒂托洛;玛丽亚诺·莫斯卡托(Mariano M.Moscato)。;塞萨尔·穆尼奥斯。;亚伦·杜特尔;弗朗索瓦·博博特 1 2018 紧凑位置报告算法的形式化分析。 Zbl 1403.68324号 亚伦·杜特尔;玛丽亚诺·莫斯卡托;劳拉·蒂托洛;塞萨尔·穆尼奥斯 5 2017 (mathsf{tccp})的泛性质的抽象分析。 Zbl 1362.68044号 马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 1 2015 定时并发约束程序的抽象诊断。 兹比尔1222.68053 马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 8 2011 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 5 劳拉·蒂托洛 4 卡洛斯·奥拉特 三 马可·科米尼 三 艾丽西亚·维拉纽埃娃 2 弗朗索瓦·博博特 2 伊娃·达鲁洛娃 2 玛丽亚·德尔马·加拉多 2 亚伦·M·达特(Aaron M.Dutle)。 2 莫雷诺,法拉斯基 2 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 2 塞萨尔·穆尼奥斯。 2 卡图西亚帕拉米德斯 1 罗莎·阿巴斯 1 沃尔夫冈·阿伦特 1 詹姆·阿里亚斯 1 玛丽亚·克里斯塔基斯 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 弗雷德里克·达尔奎斯特 1 毛里齐奥·加布里埃利 1 葡萄藤古普塔 1 米歇尔·古兹曼 1 奥马尔·因弗索 1 马克西姆·雅克明 1 拉德哈·贾加迪桑 1 Jeangoudoux,Clothilde公司 1 贾凯 1 琼斯、本 1 尼古拉·科马托夫 1 德巴西米塔·洛哈尔 1 保罗·马斯奇 1 Nguyen,Thanh-Son先生 1 茨沃尼米尔·拉卡马里奇 1 马丁·里纳德(Martin C.Rinard)。 1 卡米洛·鲁埃达 1 萨尔瓦多、罗科 1 Vijay A.萨拉斯瓦特。 1 乔纳斯·希夫尔 1 辛戈尔斯,朱利安 1 斯特拉·西米奇 1 Joshua Z.索贝尔。 1 特里巴斯通,米尔科 1 马蒂亚斯·乌尔布里奇 1 弗兰克·巴伦西亚。 1 弗兰克·维德琳 5篇连载文章中引用 2 计算的形式方面 2 逻辑程序设计理论与实践 1 约束条件 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 16 计算机科学(68至XX) 7 数值分析(65-XX) 三 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文