编辑配置文件(在新选项卡中打开) 阿南德,阿比舍克 合著者距离 作者ID: 阿南阿比舍克 发布日期: 阿南德,阿比舍克 已编制索引的文档: 7出版物自2013年起 合著者: 11位合著者具有5份联合出版物 106合作作者 全部的 前5名合著者 0 单作者的 2 西蒙·博利埃 2 西里尔·科恩 2 文森特·拉里 2 索索、马蒂厄 2 尼古拉斯·塔巴鲁 1 F·巴斯蒂达。 1 马克·比克福德 1 曹里卡多 1 扬尼克·福斯特 1 马里奥·弗朗西斯科·弗南德斯 1 JoséL.González-Andujar。 1 Ross A.Knepper。 1 费边·昆泽 1 格雷戈里·马莱查 1 潘迪特,普尼玛·K。 1 塞奥温特哈尔特 系列 1 自动推理杂志 1 农业、生物和环境统计杂志 1 国际应用与计算数学杂志 字段 5 计算机科学(68至XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用25中的次19文件 引用人▼ 年份▼ 面向正式验证的证明助理。 Zbl 1416.68146号 阿南德,阿比舍克;文森特·拉里 11 2014 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 Zbl 1317.68231号 文森特·拉里;马克·比克福德;阿南德,阿比舍克 2 2013 利用非参数估计对二花雀麦幼苗出苗进行建模。 Zbl 1302.62248号 曹,R。;Francisco-Fernández,M。;A.阿南德。;F·巴斯蒂达。;González Andújar,J.L。 1 2013 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 面向正式验证的证明助理。 Zbl 1416.68146号 阿南德,阿比舍克;文森特·拉里 11 2014 使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 Zbl 1317.68231号 文森特·拉里;马克·比克福德;阿南德,阿比舍克 2 2013 利用非参数估计对二花雀麦幼苗出苗进行建模。 Zbl 1302.62248号 曹,R。;Francisco-Fernández,M。;A.阿南德。;F·巴斯蒂达。;González Andújar,J.L。 1 2013 所有引用出版物 前5名被引用出版物 全部的 前5名52位作者引用 2 扬尼克·福斯特 2 拉马纳·库马尔 2 昆查尔,Ondřej 2 费边·昆泽 2 玛格努斯·奥·米林。 2 安德烈·波佩斯库 2 文森特·拉里 1 奥斯卡·亚伯拉罕森 1 纪尧姆·安巴尔 1 阿南德,阿比舍克 1 卡洛·安吉利 1 丹尼尔·安尼科夫 1 罗布·D·阿尔森。 1 马克·比克福德 1 布兰登·伯勒 1 西蒙·博利埃 1 Manuel M.T.查克拉瓦蒂。 1 西里尔·科恩 1 科恩、利隆 1 凯瑟琳·杜布瓦 1 弗兰蒂舍克·法尔卡 1 曼努埃尔·费尔南德斯五世 1 关勇 1 罗伯特·哈珀 1 马克·赫尔墨斯 1 何松林 1 Hou(Favonia)、Kuen-Bang 1 赫鲁特维克卡纳巴尔 1 加布里埃尔·科妮莉亚·凯勒 1 多米尼克·柯斯特 1 Jacco O.G.Krijnen。 1 Amélie Ledein 1 塞尔盖·伦格利特 1 李锡盟 1 格雷戈里·马莱查 1 保罗·马斯奇 1 米克尔·米洛 1 马蒂厄·蒙廷 1 尼尔森,雅各布·博茨 1 迈克尔·诺里什 1 斯科特·欧文斯 1 安德烈·普拉泽 1 阿兰·施密特 1 史志平 1 索索、马蒂厄 1 溅出物,Bas 1 沃特·斯威斯特拉 1 尼古拉斯·塔巴鲁 1 Tan,Yong Kiam先生 1 王国辉 1 塞奥温特哈尔特 1 张倩莹 4篇连载文章中引用 6 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 18 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文