编辑配置文件(在新选项卡中打开) 丹尼尔·菲拉雷蒂 合著者距离 作者ID: filaretti.daniele公司 发布日期: 丹尼尔·菲拉雷蒂 已编制索引的文档: 1出版物自2014年起 合著者: 7合著者具有1联合出版物 80位合作作者 全部的 前5名合著者 0 单作者的 1 马丁·博丁 1 亚瑟·查古埃罗 1 菲利普·安·加德纳 1 塞尔吉奥·马菲斯 1 Daiva Naudziuniene公司 1 阿兰·施密特 1 加雷思·戴维·史密斯 系列 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3次3文件 引用人▼ 年份▼ 可信的机械化JavaSript规范。 Zbl 1284.68381号 马丁·博丹;亚瑟·查格罗;丹尼尔·菲拉雷蒂;菲利普·加德纳;塞尔吉奥·马菲斯;Daiva Naudziuniene公司;阿兰·施密特;加雷思·史密斯 三 2014 可信的机械化JavaSript规范。 Zbl 1284.68381号 马丁·博丁;亚瑟·查格罗;丹尼尔·菲拉雷蒂;菲利普·加德纳;塞尔吉奥·马菲斯;Daiva Naudziuniene公司;阿兰·施密特;加雷思·史密斯 三 2014 全部的 前5名被9位作者引用 1 米歇尔·布格列西 1 斯特凡诺·卡尔扎瓦拉 1 里卡多·福卡迪 1 菲利普·安·加德纳 1 杜鹃花拉德 1 何塞·弗拉戈索·桑托斯 1 布鲁诺·西尔维斯特 1 马尔库·索尔德维拉 1 贝塔·齐利安尼 2篇连载文章中引用 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 三 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的引文