编辑配置文件(在新选项卡中打开) Vivek Nigam先生 合著者距离 作者ID: 尼日利亚维维克 发布日期: Vivek Nigam先生;V.尼甘姆。 外部链接: MGP公司 编入索引的文档: 39出版物自2006年起 4作为编辑的贡献 合著者: 34位合著者具有41联合出版物 615联合作者 全部的 前5名合著者 2 单作者的 12 安德烈·斯克洛夫 11 Max Iosifovich,卡诺维奇 10 伊莱恩·皮门特尔 10 卡罗琳·塔尔科特。 9 塔贾纳Ban Kirigin 7 卡洛斯·奥拉特 5 吉赛尔·赖斯 4 尼克·本顿 4 马丁·霍夫曼 4 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 三 米勒,戴尔·艾伦 2 穆萨布·A·阿尔图尔基。 2 尤里·吉尔·丹塔斯 2 Loo,Boon Thau先生 2 兰科·佩罗维奇 2 阿布拉·艾利斯乌尔奎察 1 贝内维特斯,马里奥·R·F·。 1 瓦莱里亚·德·佩瓦 1 马里奥弗洛里多 1 Fonseca,Iguatemi E。 1 约书亚·D·古特曼。 1 贾利民 1 安德鲁·肯尼迪。 1 金敏英 1 安托阿内塔·孔德瓦 1 马西里奥·奥·莱莫斯。 1 伊恩·梅森。 1 乔安·内托 1 冈田三弘 1 罗兰·普里默 1 萨马尔·拉赫穆尼 1 哈拉尔德街 1 雷内·蒂曼 1 布鲁诺·泽维尔 全部的 前5名系列 4 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 2 计算机语言、系统和结构 2 理论计算机科学电子笔记 1 模糊集与系统 1 信息与计算 1 自动推理杂志 1 逻辑与计算杂志 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 36 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 5 信息与通信理论、电路(94-XX) 4 总体主题;集合(00-XX) 2 系统论;控制(93至XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用200次中的次89文件 引用人▼ 年份▼ 证明系统的框架。 Zbl 1242.03057号 Vivek Nigam先生;戴尔·米勒 19 2010 并发约束规划中模态的一般证明系统。 Zbl 1390.68485号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 17 2013 用于指定和推理证明系统的扩展框架。 Zbl 1403.03125号 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 16 2016 非交换线性逻辑中的次指数。 Zbl 1456.03099号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 15 2019 将表格纳入证明。 Zbl 1179.03019号 戴尔·米勒;尼甘,维韦克 10 2007 次指数并发约束规划。 Zbl 1332.68027号 卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 10 2015 用次指数指定线性逻辑中的证明系统。 Zbl 1347.03103号 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 10 2011 协作系统中的有限内存Dolev-Yao对手。 Zbl 1360.68860号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫 9 2014 关于线性授权逻辑的复杂性。 Zbl 1364.03044号 Vivek Nigam先生 8 2012 关于并行系统中的次指数、聚焦和模式。 Zbl 1373.68298号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 8 2017 抽象效果和证明相关的逻辑关系。 Zbl 1284.68371号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 7 2014 受法规约束的活动的改写框架和逻辑。 Zbl 1364.68333号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 7 2017 并发约束编程中的动态空间。 Zbl 1335.68180号 卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔 6 2014 具有交换和非交换子指数的逻辑框架。 Zbl 1508.03092号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 6 2018 聚焦于线性meta-logic。 Zbl 1165.03331号 Vivek Nigam先生;戴尔·米勒 5 2008 软并发约束规划的证明理论研究。 Zbl 1309.68034号 伊莱恩·皮门特尔;卡洛斯·奥拉特;尼甘,维韦克 5 2014 软次指数和多路复用。 Zbl 07614531号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 5 2020 Coq中的机械化集中线性逻辑。 Zbl 1433.68586号 布鲁诺·泽维尔;卡洛斯·奥拉特;吉赛尔·赖斯;Vivek Nigam先生 5 2018 时间多集重写和对时间敏感的分布式系统的验证。 Zbl 1433.68058号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 4 2016 线性授权逻辑框架。 Zbl 1323.03093号 Vivek Nigam先生 4 2014 走向网络物理安全协议的自动验证:限定定时入侵者的数量。 Zbl 1499.68053号 Vivek Nigam先生;卡罗琳·塔尔科特;艾瑞斯·乌尔奎察 4 2016 Quati:用于证明置换引理的自动工具。 Zbl 1423.68422号 尼甘,维韦克;吉赛尔·赖斯;莱昂纳多·利马 三 2014 具有不同极性赋值的多焦点证明。 Zbl 1394.03070号 伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托 三 2016 受法规约束的活动的改写框架。 Zbl 1437.68082号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 三 2012 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯克洛夫 2 2014 关于时间敏感分布式系统验证的复杂性。 Zbl 1498.68161号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 2 2021 增量维护分布式逻辑程序。 Zbl 1248.68129号 Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫 2 2012 用于名称生成的证明相关的逻辑关系。 Zbl 1459.68041号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 2 2018 分布式自治代理系统中偏差的检测和诊断。 Zbl 1512.68159号 Vivek Nigam先生;金敏英;伊恩·梅森;卡罗琳·塔尔科特 1 2022 符号定时跟踪等效。 兹比尔07176724 Vivek Nigam先生;卡罗琳·塔尔科特;阿布拉·艾利斯乌尔奎察 1 2019 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 分布式自治代理系统中偏差的检测和诊断。 Zbl 1512.68159号 Vivek Nigam先生;金敏英;伊恩·梅森;卡罗琳·塔尔科特 1 2022 关于时间敏感分布式系统验证的复杂性。 Zbl 1498.68161号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 2 2021 软子指数和多路复用。 Zbl 07614531号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 5 2020 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 非交换线性逻辑中的次指数。 Zbl 1456.03099号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 15 2019 符号定时跟踪等效。 Zbl 07176724号 Vivek Nigam先生;卡罗琳·塔尔科特;布宜诺斯艾利斯Urquiza 1 2019 具有交换和非交换子指数的逻辑框架。 Zbl 1508.03092号 马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫 6 2018 Coq中的机械化集中线性逻辑。 Zbl 1433.68586号 布鲁诺·泽维尔;卡洛斯·奥拉特;吉赛尔·赖斯;Vivek Nigam先生 5 2018 用于名称生成的证明相关的逻辑关系。 Zbl 1459.68041号 尼克·本顿;马丁·霍夫曼;尼甘,维韦克 2 2018 关于并行系统中的次指数、聚焦和模式。 Zbl 1373.68298号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 8 2017 受法规约束的活动的改写框架和逻辑。 Zbl 1364.68333号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 7 2017 用于指定和推理证明系统的扩展框架。 Zbl 1403.03125号 尼甘,维韦克;伊莱恩·皮门特尔;吉赛尔·赖斯 16 2016 时间多集重写和对时间敏感的分布式系统的验证。 Zbl 1433.68058号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特 4 2016 走向网络物理安全协议的自动验证:限定定时入侵者的数量。 Zbl 1499.68053号 Vivek Nigam先生;卡罗琳·塔尔科特;艾瑞斯·乌尔奎察 4 2016 具有不同极性赋值的多焦点证明。 Zbl 1394.03070号 伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托 三 2016 次指数并发约束规划。 Zbl 1332.68027号 卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 10 2015 协作系统中的有限内存Dolev-Yao对手。 兹比尔1360.68860 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫 9 2014 抽象效果和证明相关的逻辑关系。 Zbl 1284.68371号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 7 2014 并发约束编程中的动态空间。 Zbl 1335.68180号 卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔 6 2014 软并发约束规划的证明理论研究。 Zbl 1309.68034号 伊莱恩·皮门特尔;卡洛斯·奥拉特;尼甘,维韦克 5 2014 线性授权逻辑框架。 Zbl 1323.03093号 Vivek Nigam先生 4 2014 Quati:用于证明置换引理的自动工具。 Zbl 1423.68422号 Vivek Nigam先生;吉赛尔·赖斯;莱昂纳多·利马 三 2014 有限内存协议。 Zbl 1308.68055号 马克斯·卡诺维奇;塔贾纳·班·基里金;尼甘,维韦克;安德烈·斯克洛夫 2 2014 并发约束规划中模态的一般证明系统。 Zbl 1390.68485号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 17 2013 线性授权逻辑的复杂性。 Zbl 1364.03044号 Vivek Nigam先生 8 2012 受法规约束的活动的改写框架。 Zbl 1437.68082号 马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 三 2012 增量维护分布式逻辑程序。 Zbl 1248.68129号 Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫 2 2012 用子指数指定线性逻辑中的证明系统。 Zbl 1347.03103号 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 10 2011 证明系统的框架。 Zbl 1242.03057号 Vivek Nigam先生;戴尔·米勒 19 2010 聚焦于线性meta-logic。 Zbl 1165.03331号 Vivek Nigam先生;戴尔·米勒 5 2008 将表格纳入证明。 Zbl 1179.03019号 戴尔·米勒;尼甘,维韦克 10 2007 所有引用出版物 前5名被引用出版物 全部的 前5名126位作者引用 21 Vivek Nigam先生 18 卡洛斯·奥拉特 17 伊莱恩·皮门特尔 12 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 12 安德烈·斯克洛夫 11 Max Iosifovich,卡诺维奇 8 米勒,戴尔·艾伦 7 吉赛尔·赖斯 6 卡罗琳·塔尔科特。 5 塔贾纳Ban Kirigin 4 布鲁诺·泽维尔 三 考斯托夫·乔杜里 三 圣地亚哥埃斯科瓦尔 三 莫雷诺,法拉斯基 三 马丁·霍夫曼 三 卡米洛·鲁埃达 2 阿帕里西奥·桑切斯,达米安 2 尼克·本顿 2 埃本·布莱斯德尔 2 戴维·齐亚鲁吉 2 乔尔·德斯佩鲁 2 戴安娜·赫米思 2 斯特凡·赫兹尔 2 亚历山大·莱奇 2 Chuck Liang先生 2 凯瑟琳·梅多斯。 2 何塞·梅塞盖尔·瓜伊塔 2 朱莉娅·萨皮娜 2 斯坦尼斯拉夫·斯佩兰斯基。 2 丹尼尔·韦勒(Daniel S.Weller)。 1 马特奥·阿克拉维奥 1 穆萨布·A·阿尔图尔基。 1 法哈德·阿尔巴 1 詹姆·阿里亚斯 1 马提亚斯·巴兹 1 吉尔·巴特 1 拉尔斯·比克达尔 1 布洛克-南内斯塔德,陶斯 1 卡洛斯·卡莱罗 1 埃文·卡瓦洛 1 Chong,斯蒂芬 1 蝉蜕、阿加塔 1 曼纽尔·克莱维尔 1 拉斐尔·克鲁比莱 1 凯特琳·达布雷拉 1 乌戈·达尔拉戈 1 杰里米·道森。 1 瓦莱里亚·德·佩瓦 1 亚历山大·戴班特 1 斯特凡尼德劳恩 1 Myriam德塞因特-卡特琳 1 卡亚·德乌瑟 1 Gilles Dowek 1 谢尔盖·M·杜达科夫。 1 弗朗西斯科·杜兰 1 加布里埃尔·埃布纳 1 史蒂文·艾克 1 塞西莉亚·恩格兰德 1 艾米·费尔蒂(Amy P.Felty)。 1 Fermüller,克里斯蒂安·G。 1 劳尔·费尔瓦里 1 Fofanova,E.M。 1 福田洋介 1 毛里齐奥·加布里埃利 1 马可·加博阿迪 1 迪帕克·加格 1 弗朗西斯科·加瓦佐 1 Aleksandr Sergeevich,Gerasimov 1 拉杰夫·普拉巴卡尔·戈尔 1 尼古拉斯,猜猜看 1 米歇尔·古兹曼 1 斯特凡·哈尔 1 爱德华·赫尔曼·海尔 1 罗伯特·哈珀 1 穆罕默德·哈希姆 1 希思,昆廷 1 丹尼尔·赫希科夫 1 罗斯·霍恩 1 贾比尔,吉尔赫姆 1 贾利民 1 奥哈德·卡玛 1 B.N.卡洛夫。 1 安德鲁·肯尼迪。 1 金敏英 1 奥里·拉哈夫 1 拉诺特、拉格罗 1 帕特里克·D·林肯。 1 本杰明·利昂 1 Loo,Boon Thau先生 1 索尼娅·马林 1 马丁·奥列特,纳西索 1 伊恩·梅森。 1 迪伦·麦克德莫特 1 拉克伦·麦克菲亚特 1 马西莫·梅罗 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 Zan Naeem 1 帕维尔·G·瑙莫夫。 1 乔安·内托 1 卡图西亚帕拉米德斯 …还有26位作者 全部的 前5名18篇连载文章中引用 8 MSCS公司。计算机科学中的数学结构 7 理论计算机科学 4 自动推理杂志 4 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 三 纯逻辑与应用逻辑年鉴 2 代数与逻辑 2 逻辑程序设计理论与实践 2 计算机语言、系统和结构 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 人工智能 1 应用数学与计算 1 Studia Logica公司 1 信息与计算 1 逻辑、语言与信息杂志 1 函数编程杂志 1 计算机基础理论 1 泛逻辑 全部的 前5名10个字段中引用 62 数学逻辑和基础(03-XX) 55 计算机科学(68至XX) 4 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文