编辑配置文件（在新选项卡中打开） 阿列克桑达尔·纳内夫斯基 合著者距离 作者ID： 纳涅夫斯基 发布日期： 阿列克桑达尔·纳内夫斯基 外部链接： MGP公司 已编制索引的文档： 23出版物自1998年以来 合著者： 26位合著者具有21联合出版物 619合作作者 全部的 前5名合著者 2 单作者的 6 拉尔斯·比克达尔 5 格雷格·莫里塞特 4 德里克·德雷尔（Derek R.Dreyer）。 4 贝塔·齐利安尼 三 维克托·瓦菲阿迪斯 2 安妮迪亚·班纳吉 2 盖伊·E·布莱洛赫。 2 德尔比安科、杰曼·安德烈斯 2 乔治·戈蒂尔 2 罗伯特·哈珀 2 尼拉坎坦·R·克里希纳斯瓦米。 2 鲁伊·莱伊·怀尔德 2 弗兰克·芬宁 2 伊利亚·谢尔盖 1 阿马尔·艾哈迈德 1 乔什·伯丁 1 默多克·詹姆斯·加贝 1 保罗·戈维罗 1 尼尔·伊梅尔曼 1 沙迦·伊扎基 1 奥里·拉哈夫 1 Rasmus Lerchedahl彼得森 1 碧姬·品特卡 1 穆利·萨吉夫 1 阿夫拉罕·辛纳 1 卡斯珀·斯文森 系列 4 函数编程杂志 1 Matematichki Bilten公司 1 高阶和符号计算 1 ACM计算逻辑事务 1 应用逻辑杂志 领域 23 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用176次131文件 引用人▼ 年份▼ 上下文模态类型理论。 Zbl 1367.03060号 阿列克桑达尔·纳内夫斯基;弗兰克·芬宁;碧姬·品特卡 42 2008 Ynot：命令式程序的依赖类型。 Zbl 1323.68142号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔 18 2008 霍尔类型理论、多态性和分离。 Zbl 1155.68354号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 17 2008 为细粒度并发资源通信状态转换系统。 Zbl 1405.68219号 阿列克桑达尔·纳内夫斯基;鲁伊·莱伊·怀尔德;伊利亚·谢尔盖;德尔比安科、杰曼·安德烈斯 14 2014 霍尔类型理论中的多态性和分离。 Zbl 1321.68351号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 9 2006 粗粒度并发的主观辅助状态。 Zbl 1301.68102号 Ley Wild，鲁伊;阿列克桑达尔·纳内夫斯基 8 2013 用历史和主观性指定和验证并发算法。 Zbl 1335.68067号 伊利亚·谢尔盖;阿列克桑达尔·纳内夫斯基;安妮迪亚·班纳吉 7 2015 具有名称和必要性的元编程。 Zbl 1322.68045号 阿列克桑达尔·纳内夫斯基 7 2002 带有名称和必要性的分阶段计算。 Zbl 1085.68025号 阿列克桑达尔·纳内夫斯基;弗兰克·芬宁 7 2005 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲阿迪斯 6 2013 如何使即席证明自动化减少即席性。 Zbl 1323.68117号 乔治·贡蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 6 2011 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基;安妮迪亚·班纳吉;尼尔·伊梅尔曼;奥里·拉哈夫;阿列克桑达尔·纳内夫斯基;穆利·萨吉夫 5 2014 如何使即席证明自动化减少即席性。 兹伯利1314.68281 乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 5 2013 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基;阿马尔·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 5 2007 非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号 Rasmus Lerchedahl彼得森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特 5 2008 构造堆操作程序的验证。 Zbl 1312.68065号 亚历山大·纳涅夫斯基;维克托·瓦菲阿迪斯;乔什·伯丁 4 2010 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲阿迪斯 三 2015 自动生成分段几何谓词。 Zbl 1323.68540号 阿列克桑达尔·纳内夫斯基;布莱洛克，盖伊;罗伯特·哈珀 三 2001 自动生成分段几何谓词。 Zbl 1059.68147号 阿列克桑达尔·纳内夫斯基;布莱洛克，盖伊;罗伯特·哈珀 2 2003 偏好、状态和依赖类型。 Zbl 1331.03020号 卡斯珀·斯文森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基 1 2011 语境模态类型理论（CMTT）的外延：句法和元程序。 Zbl 1280.03037号 默多克·J·加贝。;阿列克桑达尔·纳内夫斯基 1 2013 带有（代数）延续的Hoare-style推理。 Zbl 1323.68369号 Germán Andrés，德尔比安科;阿列克桑达尔·纳内夫斯基 1 2013 用历史和主观性指定和验证并发算法。 Zbl 1335.68067号 伊利亚·谢尔盖;阿列克桑达尔·纳内夫斯基;安妮迪亚·班纳吉 7 2015 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲阿迪斯 三 2015 为细粒度并发资源通信状态转换系统。 Zbl 1405.68219号 阿列克桑达尔·纳内夫斯基;鲁伊·莱伊·怀尔德;伊利亚·谢尔盖;Germán Andrés，德尔比安科 14 2014 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基;安妮迪亚·班纳吉;尼尔·伊梅尔曼;奥里·拉哈夫;阿列克桑达尔·纳内夫斯基;穆利·萨吉夫 5 2014 粗粒度并发的主观辅助状态。 Zbl 1301.68102号 鲁伊·莱伊·怀尔德;阿列克桑达尔·纳内夫斯基 8 2013 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲阿迪斯 6 2013 如何使即席证明自动化减少即席性。 Zbl 1314.68281号 乔治·戈蒂尔;贝塔·齐利安尼;亚历山大·纳涅夫斯基;德雷克·德雷尔 5 2013 语境模态类型理论（CMTT）的外延：句法和元程序。 Zbl 1280.03037号 默多克·J·加贝。;阿列克桑达尔·纳内夫斯基 1 2013 带有（代数）延续的Hoare-style推理。 Zbl 1323.68369号 德尔比安科、杰曼·安德烈斯;亚历山大·纳涅夫斯基 1 2013 如何使即席证明自动化减少即席性。 Zbl 1323.68117号 乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 6 2011 偏好、状态和依赖类型。 Zbl 1331.03020号 卡斯珀·斯文森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基 1 2011 构造堆操作程序的验证。 Zbl 1312.68065号 阿列克桑达尔·纳内夫斯基;维克托·瓦菲阿迪斯;乔什·伯丁 4 2010 上下文模态类型理论。 Zbl 1367.03060号 阿列克桑达尔·纳内夫斯基;弗兰克·芬宁;碧姬·品特卡 42 2008 Ynot：命令式程序的依赖类型。 Zbl 1323.68142号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔 18 2008 霍尔类型理论、多态性和分离。 Zbl 1155.68354号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 17 2008 非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号 Rasmus Lerchedahl彼得森;拉尔斯·比克达尔;阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特 5 2008 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基;阿迈勒·艾哈迈德;格雷格·莫里塞特;拉尔斯·比克达尔 5 2007 霍尔类型理论中的多态性和分离。 Zbl 1321.68351号 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;拉尔斯·比克达尔 9 2006 带有名称和必要性的分阶段计算。 Zbl 1085.68025号 阿列克桑达尔·纳内夫斯基;弗兰克·芬宁 7 2005 自动生成分段几何谓词。 兹比尔1059.68147 阿列克桑达尔·纳内夫斯基;布莱洛克，盖伊;罗伯特·哈珀 2 2003 具有名称和必要性的元编程。 Zbl 1322.68045号 阿列克桑达尔·纳内夫斯基 7 2002 自动生成分段几何谓词。 Zbl 1323.68540号 阿列克桑达尔·纳内夫斯基;布莱洛克，盖伊;罗伯特·哈珀 三 2001 所有引用出版物 前5名被引用出版物 全部的 前5名253位作者引用 16 碧姬·品特卡 11 拉尔斯·比克达尔 4 佩德罗·达罗查·平托 4 菲利普·安·加德纳 4 罗伊斯，伯恩哈德 三 杰斯珀·本森 三 纳撒尼尔·查尔顿 三 托马斯·丁斯代尔·扬 三 罗伯特·克雷伯斯 三 格雷戈里·马莱查 三 阿尔贝托·莫米利亚诺 三 溅出物，Bas 三 沃特·斯威斯特拉 三 雅各布·塔姆斯堡 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 丹尼尔·艾哈曼 2 安徒生、克里斯托弗·贾斯特·阿恩达尔 2 安德鲁·凯夫 2 皮埃尔·奇夫利埃 2 德里克·德雷尔（Derek R.Dreyer）。 2 约塔姆·M·Y·费尔德曼。 2 默多克·詹姆斯·加贝 2 迪帕克·加格 2 纪尧姆·希特 2 本·霍斯福尔 2 Atsushi Igarashi 2 荣格，拉尔夫 2 奥列格·基塞利约夫 2 彼得·兰米奇 2 托马斯·莱坦 2 帕塔萨拉西马杜苏丹 2 安德烈·穆拉夫斯基。 2 阿列克桑达尔·纳内夫斯基 2 西尔万·皮昂 2 弗朗索瓦·波蒂埃 2 雷吉斯·贾纳斯，亚恩 2 乌尔里希·舍普 2 伊利亚·谢尔盖 2 Shan、Chung-chieh 2 沙龙·肖姆 2 菲利普·西奇科夫斯基 2 Matthieu Sozeau先生 2 加布里埃拉·斯特恩 2 克里斯蒂安·斯特夫林 2 大卫·希伯多 2 尼科斯·齐夫列科斯 2 维克托·瓦菲阿迪斯 2 朱尔斯·维拉德 2 菲利普·李·沃德勒 2 贝塔·齐利安尼 1 乌穆特·阿卡尔。 1 雷纳尔德·阿弗尔德 1 亚历克斯·艾肯 1 纪尧姆·阿拉伊斯 1 Joao Alpuim 1 阿南德，阿比舍克 1 大卫·安科纳 1 卡洛·安吉利 1 卡默·阿皮尼 1 安德鲁·W·阿佩尔。 1 阿拉斯代尔·阿姆斯特朗 1 大卫·阿斯皮纳尔 1 罗伯特·艾奇 1 克莱门·奥伯特 1 巴特尔斯，廷科 1 Dariusz Biernacki 1 阿列舍·比兹亚克 1 爱德华多·博内利 1 西蒙·博利埃 1 埃德温·布雷迪（Edwin C.Brady）。 1 托马斯·布雷班特 1 卢卡斯·布尔瓦恩 1 雅克·卡雷特 1 亚瑟·查古埃罗 1 陈一云 1 西里尔·科恩 1 罗伯特·J·科尔文。 1 卡尔·克里 1 克雷斯波、胡安·曼努埃尔 1 特里斯坦·克罗拉德 1 奥利维尔·丹维 1 阿努帕姆·达塔 1 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 1 埃德斯科·德弗里斯 1 马可·多科 1 乔舒亚·邓菲尔德 1 哈雷III伊德斯 1 康斯坦丁·埃纳 1 朱利安·埃哈德 1 勒文特·埃尔科克 1 雅各布·埃林顿 1 Farmer，William M。 1 卡冯·法塔哈利安 1 尼古拉斯·费尔特曼 1 艾米·费尔蒂（Amy P.Felty）。 1 费雷拉，Francisco H.G。 1 Fisikopoulos，维萨里昂 1 扬尼克·福斯特 1 杰森·富兰克林 1 阿斯亚·弗鲁姆金 …还有153位作者 全部的 前5名20篇连载文章中引用 12 函数编程杂志 8 自动推理杂志 8 MSCS公司。计算机科学中的数学结构 5 程序设计中的逻辑和代数方法杂志 4 信息与计算 4 计算机科学中的逻辑方法 三 计算的形式方面 三 逻辑与代数程序设计杂志 2 系统设计中的形式化方法 2 高阶和符号计算 1 信息处理信件 1 ACM数学软件汇刊 1 比特币 1 理论计算机科学 1 符号计算杂志 1 计算机科学与技术杂志 1 赖罗。理论信息学及其应用 1 ACM计算逻辑事务 1 应用逻辑杂志 1 泛逻辑 全部的 前5名在6个字段中引用 118 计算机科学（68至XX） 56 数学逻辑和基础（03-XX） 7 范畴理论；同调代数（18-XX） 5 数值分析（65-XX） 2 代数拓扑（55-XX） 1 结合环与代数（16-XX） 按年份列出的引文