×
编辑配置文件（在新选项卡中打开）

丹尼尔·费尔蒂

合著者距离
作者ID： feltey.daniel丹尼尔Daniel Feltey最近发表的zbMATH文章
发布日期： 丹尼尔·费尔蒂
已编制索引的文档： 2出版物自2016年起
合著者： 8位合著者具有2联合出版物
97合著作者
全部的 前5名

合著者

0 单作者的
2 罗伯特·布鲁斯·芬德勒
2 新，Max S。
1 马提亚斯·费莱森
1 费彻，伯克
1 本·格林曼
1 杰·麦卡锡（Jay A.McCarthy）。
1 Asumu Takikawa
1 维泰克，简

系列

1 函数编程杂志

领域

2 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

2出版物有被引用10中的次10文件 引用人▼ 年份▼
用于运行时间内部验证的Coq库。 Zbl 1475.68457号
杰·麦卡锡；费彻，伯克；新建，Max；丹尼尔·费尔蒂；罗伯特·布鲁斯·芬德勒
5
2016
如何评估渐进式系统的性能。 Zbl 1493.68087号
本·格林曼；Asumu Takikawa；新，Max S。；丹尼尔·费尔蒂；罗伯特·布鲁斯·芬德勒；维泰克，简；马提亚斯·费莱森
5
2019
如何评估渐进式系统的性能。 Zbl 1493.68087号
本·格林曼；Asumu Takikawa；新，Max S。；丹尼尔·费尔蒂；罗伯特·布鲁斯·芬德勒；维泰克，简；马提亚斯·费莱森
5
2019
用于运行时间内部验证的Coq库。 Zbl 1475.68457号
杰·麦卡锡；费彻，伯克；新建，Max；丹尼尔·费尔蒂；罗伯特·布鲁斯·芬德勒
5
2016
所有引用出版物 前5名被引用出版物
全部的 前5名

23位作者引用

2 亚瑟·查古埃罗
2 马提亚斯·费莱森
2 丹尼尔·R·利卡塔。
2 新，Max S。
2 托比亚斯·尼普科夫
2 弗朗索瓦·波蒂埃
1 阿马尔·艾哈迈德
1 布林科普，豪克
1 约翰·彼得·坎波拉三世
1 陈盛
1 陈天宇
1 诺曼·丹纳
1 马丁·埃尔维格
1 丹尼尔·费尔蒂
1 罗伯特·布鲁斯·芬德勒
1 本·格林曼
1 阿玛·盖诺
1 雅克·亨利·乔尔丹
1 卡梅隆·莫伊
1 杰里米·西克。
1 Asumu Takikawa
1 维泰克，简
1 埃里克·沃尔金肖

2篇连载文章中引用

6 函数编程杂志
2 自动推理杂志

在2个字段中引用

10 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的引文