马克斯·卡诺维奇；塔贾纳Ban Kirigin；Vivek Nigam先生；安德烈·斯克洛夫；卡罗琳·塔尔科特 关于时间敏感分布式系统验证的复杂性。 （英语） Zbl 1498.68161号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 251-275 (2021).MSC公司：60年第68季度 64岁以下 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人，Lect。注释计算。科学。13066、251--275（2021；Zbl 1498.68161） 全文： 内政部 arXiv公司
Vivek Nigam先生；吉赛尔·赖斯；萨马尔·拉赫穆尼；哈拉尔德·鲁斯 证据交易的证据搜索和证书。 （英语） Zbl 07437082号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699234-251（2021）。MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人，Lect。注释计算。科学。12699，234--251（2021；Zbl 07437082） 全文： 内政部
马克斯·卡诺维奇；斯捷潘·库兹涅佐夫；Vivek Nigam先生；安德烈·斯克洛夫 软次指数和多路复用。 （英语） Zbl 07614531号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 500-517 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人，Lect。注释计算。科学。12166500-517（2020；Zbl 07614531） 全文： 内政部
布鲁诺·泽维尔；卡洛斯·奥拉特；吉赛尔·赖斯；Vivek Nigam先生 Coq中的机械化集中线性逻辑。 （英语） Zbl 1433.68586号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 219-236 (2018).MSC公司：68V20型 03B35型 05年3月 03楼52 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Xavier}等人，《电子》。注释Theor。计算。科学。338219-236（2018年；Zbl 1433.68586） 全文： 内政部
Vivek Nigam先生；卡洛斯·奥拉特；伊莱恩·皮门特尔 关于并行系统中的次指数、聚焦和模式。 （英语） Zbl 1373.68298号 西奥。计算。科学。 693, 35-58 (2017).MSC公司：68问题85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人，Theor。计算。科学。693、35-58（2017年；Zbl 1373.68298） 全文： 内政部
马克斯·卡诺维奇；塔贾纳Ban Kirigin；Vivek Nigam先生；安德烈·斯克洛夫；卡罗琳·塔尔科特；兰科·佩罗维奇 受法规约束的活动的改写框架和逻辑。 （英语） Zbl 1364.68333号 数学。结构。计算。科学。 27，第3号，332-375（2017）.MSC公司：68T27型 03楼52 2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人，《数学》。结构。计算。科学。27，第332-375号（2017年；兹bl 1364.68333） 全文： 内政部
伊莱恩·皮门特尔；Vivek Nigam先生；若昂·内托 具有不同极性赋值的多焦点证明。 （英语） Zbl 1394.03070号 Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，163-179（2016）。MSC公司：07年3月 03B20型 05年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{E.Pimentel}等人，《电子》。注释Theor。计算。科学。323163--179（2016年；Zbl 1394.03070） 全文： 内政部
卡洛斯·奥拉特；伊莱恩·皮门特尔；Vivek Nigam先生 次指数并发约束规划。 （英语） Zbl 1332.68027号 西奥。计算。科学。 606, 98-120 (2015).MSC公司：68甲19 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。60698--120（2015；Zbl 1332.68027） 全文： 内政部
马克斯·卡诺维奇；塔贾纳·班·基里金；Vivek Nigam先生；安德烈·斯克洛夫 有限内存协议。 （英语） Zbl 1308.68055号 计算。语言系统。结构。 40，第3-4号，137-154（2014）.MSC公司：第68页第25页 68米10 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人，《计算》。语言系统。结构。40，编号3--4，137-154（2014；Zbl 1308.68055） 全文： 内政部
马克斯·卡诺维奇；塔贾纳Ban Kirigin；Vivek Nigam先生；安德烈·斯克洛夫 协作系统中的有限内存Dolev-Yao对手。 （英语） Zbl 1360.68860号 Inf.计算。 238233-261（2014）.MSC公司：68T42型 68个M12 2017年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人，《信息计算》。238233--261（2014年；Zbl 1360.68860） 全文： 内政部
Vivek Nigam先生 线性授权逻辑的框架。 （英语） 兹比尔1323.03093 西奥。计算。科学。 536, 21-41 (2014).MSC公司：03楼52 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Nigam}，Theor。计算。科学。536，21-41（2014；Zbl 1323.03093） 全文： 内政部
Vivek Nigam先生；戴尔·米勒 证明系统的框架。 （英语） Zbl 1242.03057号 J.汽车。推理 45，第2期，157-188（2010）.MSC公司：03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}和\textit{D.Miller}，J.Autom。推理45，No.2，157--188（2010；Zbl 1242.03057） 全文： 内政部 哈尔