编辑配置文件（在新选项卡中打开） 库拉姆·萨吉德 合著者距离 作者ID： 萨吉德·库拉姆 发布日期： 库拉姆·萨吉德 已编制索引的文档： 1出版物自2003年起 合著者： 4位合著者具有1联合出版物 35位合作作者 合著者 0 单作者的 1 阿德南·阿齐兹 1 阿努吉·戈尔 1 Vigyan Singhal公司 1 周，海 系列 1 系统设计中的形式化方法 领域 1 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用6中的次6文件 引用人▼ 年份▼ 基于BDD的程序，用于具有未知函数的等式理论。 Zbl 1021.68057号 阿努吉·戈尔；库拉姆·萨吉德；周，海；阿德南·阿齐兹；Vigyan Singhal公司 6 2003 基于BDD的程序，用于具有未知函数的等式理论。 Zbl 1021.68057号 阿努吉·戈尔；库拉姆·萨吉德；周，海；阿德南·阿齐兹；Vigyan Singhal公司 6 2003 所有引用的出版物 前5名被引用出版物 全部的 前5名13位作者引用 2 巴哈雷赫巴德班 2 约夫·罗德 2 斯特里赫曼（Ofer Strichman） 2 汉斯·赞特马 1 萨伊德·阿贝德 1 奥特曼·阿伊特·穆罕默德 1 Jan Friso，格鲁特 1 亚辛·莫赫塔里 1 阿米尔·普努利 1 迈克尔·西格尔 1 索菲涅·塔哈尔 1 奥尔加·特维雷蒂纳 1 范德波尔，扬·科内利斯 2篇连载文章中引用 三 信息与计算 1 计算机科学与技术杂志 在3个字段中引用 5 数理逻辑与基础（03-XX） 5 计算机科学（68至XX） 1 场论和多项式（12-XX） 按年份列出的引文