编辑配置文件(在新选项卡中打开) 普拉纳夫·加格 合著者距离 作者ID: 加格·普拉纳夫 发布日期: 普拉纳夫·加格 已编制索引的文档: 5出版物自2011年起,包括1个附加arXiv预打印 合著者: 7合著者具有5联合出版物 150位合作作者 全部的 前5名合著者 0 单作者的 4 帕塔萨拉西马杜苏丹 三 尼尔,丹尼尔 2 朴大均 2 Shambwaditya萨哈 1 克里斯托夫·Löding 1 安妮·雷蒙德 1 阿曼达·雷德利希 系列 1 自动推理杂志 1 系统设计中的形式化方法 字段 4 计算机科学(68-XX) 1 组合数学(05-XX) 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用6中的次5文件 引用人▼ 年份▼ 线性数据结构的量化数据自动机:一种寄存器自动机模型,用于学习程序操作数组和列表的不变量。 Zbl 1322.68121号 普拉纳夫·加格;克里斯托夫·Löding;马杜苏丹,P。;尼尔,丹尼尔 2 2015 不完全验证引擎的不变综合。 Zbl 1423.68108号 尼尔,丹尼尔;普拉纳夫·加格;马杜苏丹,P。;Shambwaditya萨哈;朴大均 2 2018 组成性需要序列化。 Zbl 1315.68091号 普拉纳夫·加格;马杜苏丹,P。 1 2011 一种基于学习的方法,用于合成不完整验证引擎的不变量。 Zbl 1468.68074号 尼尔,丹尼尔;马杜苏丹,P。;Shambwaditya萨哈;普拉纳夫加尔格;Park,大军 1 2020 一种基于学习的方法,用于合成不完整验证引擎的不变量。 Zbl 1468.68074号 尼尔,丹尼尔;马杜苏丹,P。;Shambwaditya萨哈;普拉纳夫·加格;Park,大军 1 2020 不完全验证引擎的不变综合。 Zbl 1423.68108号 尼尔,丹尼尔;普拉纳夫·加格;马杜苏丹,P。;Shambwaditya萨哈;Park,大军 2 2018 线性数据结构的量化数据自动机:一种寄存器自动机模型,用于学习程序操作数组和列表的不变量。 Zbl 1322.68121号 普拉纳夫·加格;克里斯托夫·Löding;马杜苏丹,P。;尼尔,丹尼尔 2 2015 合成性需要序列性。 Zbl 1315.68091号 普拉纳夫·加格;马杜苏丹,P。 1 2011 全部的 前5名13位作者引用 1 亚历克斯·艾肯 1 科恩、利隆 1 约塔姆·M·Y·费尔德曼。 1 普拉纳夫·加格 1 迪米特拉·吉安娜科波卢 1 帕塔萨拉西马杜苏丹 1 Kedar S.Namjoshi。 1 尼尔,丹尼尔 1 Park,大军 1 科琳娜·s·佩斯勒诺。 1 Shambwaditya萨哈 1 拉胡尔·夏尔马 1 沙龙·肖姆 2篇连载文章中引用 1 自动推理杂志 1 系统设计中的形式化方法 在2个字段中引用 5 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文