编辑配置文件（在新选项卡中打开） 王栋（Wang，Dong） 合著者距离 作者ID： 王栋4 发布日期： 王栋（Wang，Dong）;D.王。 已编制索引的文档： 5出版物自1999年起 合著者： 9合著者具有5联合出版物 298合著作者 全部的 前5名合著者 0 单作者的 5 克拉克（Edmund Melson jun Clarke）。 三 赫尔穆特·维思 2 潘卡杰·乔汉 2 Jha，萨默什 2 詹姆斯·H·库库拉。 2 穆拉利达尔塔卢普尔 1 奥尔纳·格伦伯格 1 卢、袁 1 萨米尔·萨普拉 系列 领域 5 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用17中的次15文件 引用人▼ 年份▼ 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 Zbl 1019.68618号 潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋（Wang，Dong） 7 2002 用于硬件验证的基于SAT的谓词抽象。 Zbl 1204.68129号 埃德蒙·克拉克;穆拉利达尔塔卢普尔;赫尔穆特·维思;王栋（Wang，Dong） 6 2004 使谓词抽象高效：如何消除冗余谓词。 Zbl 1278.68163号 埃德蒙·克拉克;奥尔纳·格伦伯格;穆拉利达尔塔卢普尔;王栋（Wang，Dong） 2 2003 抽象BDD：一种在模型检查中使用抽象的技术。 Zbl 0949.68105号 埃德蒙·克拉克;Jha，萨默什;卢、袁;王栋（Wang，Dong） 1 1999 使用组合优化方法进行量化调度。 Zbl 1002.68512号 乔汉，P。;E.克拉克。;Jha，S。;J.库库拉。;H.维思。;D.王。 1 2001 用于硬件验证的基于SAT的谓词抽象。 Zbl 1204.68129号 埃德蒙·克拉克;穆拉利达尔塔卢普尔;赫尔穆特·维思;王栋（Wang，Dong） 6 2004 使谓词抽象高效：如何消除冗余谓词。 Zbl 1278.68163号 埃德蒙·克拉克;奥尔纳·格伦伯格;穆拉利达尔塔卢普尔;王栋（Wang，Dong） 2 2003 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 Zbl 1019.68618号 潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋（Wang，Dong） 7 2002 使用组合优化方法进行量化调度。 Zbl 1002.68512号 乔汉，P。;E.克拉克。;Jha，S。;J.库库拉。;H.维思。;D.王。 1 2001 抽象BDD：一种在模型检查中使用抽象的技术。 Zbl 0949.68105号 埃德蒙·克拉克;Jha，萨默什;卢、袁;王栋（Wang，Dong） 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名34位作者引用 三 维克多·舒潘 2 Joáo P.塞尔瓦侯爵。 2 图巴·亚武兹 1 普拉纳夫，阿沙尔 1 佩德罗·巴尔塔扎尔 1 罗德里克·布洛姆 1 玛莎·契契克 1 Czarnecki、Krzysztof 1 达姆，丹尼斯·雷内 1 德弗罗，贝内特 1 段振华 1 史蒂夫·伊斯特布鲁克 1 塞巴斯蒂安·费施迈斯特 1 马来K·加奈。 1 维杰·加内什 1 尤金·戈德伯格。 1 奥尔纳·格伦伯格 1 阿尔蒂·古普塔 1 阿里·古芬克尔 1 加里·哈赫特尔（Gary D.Hachtel）。 1 弗兰乔·伊万契奇 1 米科拉什·亚诺塔 1 Albert Y.C.赖。 1 梁家辉 1 威廉·林赛 1 Manolios，Panagiotis公司 1 保罗·C·马特乌斯。 1 扎克·纽瑟姆 1 卡维塔·拉维 1 法比奥·萨蒙齐 1 田聪 1 王超 1 杨紫江 1 张楠 5篇连载文章中引用 三 理论计算机科学 三 系统设计中的形式化方法 1 信息学报 1 计算机程序设计科学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 14 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 按年份列出的引文