编辑配置文件(在新选项卡中打开) 戈亚尔、迪帕克 合著者距离 作者ID: 戈亚尔·迪帕克 发布日期: 戈亚尔、迪帕克;戈亚尔,D。 已编制索引的文档: 4出版物自2002年起 合著者: 5位合著者具有3联合出版物 137位合作作者 合著者 1 单作者的 三 约翰·埃弗雷特·菲尔德 三 甘尼桑拉马林加姆 2 埃兰·雅哈夫 1 罗马人Manevich 1 穆利·萨吉夫 系列 1 计算机程序设计科学 1 高阶和符号计算 字段 4 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用4中的次4文件 引用人▼ 年份▼ 紧凑地表示用于静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;Ramalingam,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 类型状态验证:抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔,D。;拉马林加姆,G。;叶海夫,E。 1 2005 改进别名分析算法的变换推导。 Zbl 1084.68016号 戈亚尔、迪帕克 1 2005 类型状态验证:抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔,D。;拉马林加姆,G。;E.雅哈夫。 1 2005 改进别名分析算法的变换推导。 Zbl 1084.68016号 戈亚尔、迪帕克 1 2005 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 全部的 前5名9位作者引用 1 穆罕默德·巴巴拉 1 阿卡什·拉尔 1 马蒂厄·莱梅尔 1 刘艳红安妮 1 奥利维尔·妮可 1 甘尼桑拉马林加姆 1 对手,泽维尔 1 隋玉蕾 1 Tekle,K.Tuncay 引用于2个系列 1 信息处理信件 1 逻辑程序设计理论与实践 在1个字段中引用 4 计算机科学(68至XX) 按年份列出的引文