×
编辑配置文件（在新选项卡中打开）

詹姆斯·H·库库拉。

合著者距离
作者ID： 库库拉·贾梅斯·h最近由“Kukula，James H。”撰写的zbMATH文章
发布日期： 詹姆斯·库库拉；詹姆斯·H·库库拉。；J.库库拉。
已编制索引的文档： 6出版物自2000年起
合著者： 15位合著者具有6联合出版物
250位合作作者
全部的 前5名

合著者

0 单作者的
三 克拉克（Edmund Melson jun Clarke）。
2 潘卡杰·乔汉
2 Thomas R.Shiple。
2 赫尔穆特·维思
2 王栋（Wang，Dong）
1 比杰西，佩尔
1 阿努巴夫·古普塔
1 Jha，萨默什
1 郭熙华
1 月亮，In-Ho
1 卡尔·P·皮克斯利。
1 萨米尔·萨普拉
1 斯坦宁，特德
1 斯特里赫曼（Ofer Strichman）
1 朱云山

系列

领域

5 计算机科学（68至XX）
2 信息与通信理论、电路（94-XX）
1 组合数学（05-XX）
1 运筹学、数学规划（90-XX）

按年份列出的出版物

所有引用的出版物 前5名被引用出版物

zbMATH Open中包含的引文

5出版物有被引用26中的次22文件 引用人▼ 年份▼
使用ILP和机器学习技术的基于SAT的抽象精化。 Zbl 1010.68515号
埃德蒙·克拉克；阿努巴夫·古普塔；詹姆斯·库库拉；斯特里赫曼（Ofer Strichman）
10
2002
使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象精化。 兹伯利1019.68618
潘卡杰·乔汉；埃德蒙·克拉克；詹姆斯·库库拉；萨米尔·萨普拉；赫尔穆特·维思；王栋（Wang，Dong）
7
2002
从关系构建电路。 Zbl 0974.94502号
詹姆斯·H·库库拉。；Thomas R.Shiple。
4
2000
用树分解指导SAT诊断。 Zbl 1204.68104号
比杰西，佩尔；詹姆斯·库库拉；罗伯特·达米亚诺；斯坦宁，特德；朱云山
4
2004
使用组合优化方法进行量化调度。 Zbl 1002.68512号
乔汉，P。；E.克拉克。；Jha，S。；J.库库拉。；H.维思。；D.王。
1
2001
用树分解指导SAT诊断。 Zbl 1204.68104号
比杰西，佩尔；詹姆斯·库库拉；罗伯特·达米亚诺；斯坦宁，特德；朱云山
4
2004
使用ILP和机器学习技术的基于SAT的抽象重定义。 Zbl 1010.68515号
埃德蒙·克拉克；阿努巴夫·古普塔；詹姆斯·库库拉；斯特里赫曼（Ofer Strichman）
10
2002
使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象精化。 兹伯利1019.68618
潘卡杰·乔汉；埃德蒙·克拉克；詹姆斯·库库拉；萨米尔·萨普拉；赫尔穆特·维思；王栋（Wang，Dong）
7
2002
使用组合优化方法进行量化调度。 Zbl 1002.68512号
乔汉，P。；E.克拉克。；Jha，S。；J.库库拉。；H.维思。；D.王。
1
2001
从关系构建电路。 Zbl 0974.94502号
詹姆斯·H·库库拉。；Thomas R.Shiple。
4
2000
所有引用的出版物 前5名被引用出版物
全部的 前5名

60位作者引用

2 罗德里克·布洛姆
2 查克拉波蒂，苏普拉特克
2 段振华
2 奥尔纳·格伦伯格
2 Joáo P.塞尔瓦侯爵。
2 田聪
2 张楠
1 阿克西，S。
1 普拉纳夫·阿沙尔
1 迪米特里斯·约翰·伯西马斯
1 乔舒亚·布林霍恩
1 陈文祥
1 达姆，丹尼斯·雷内
1 吕迪格·埃勒斯
1 埃里克·恩斯特罗姆
1 埃尔达尔·菲舍尔
1 油炸，Dror
1 马来K·加奈。
1 维杰·加内什
1 尤金·戈德伯格。
1 阿尔蒂·古普塔
1 加里·D·哈切特。
1 马库斯·伊泽尔
1 弗兰乔·伊万契奇
1 米科拉什·亚诺塔
1 Jha，萨默什
1 芭芭拉·乔布斯曼
1 John，Ajith K。
1 马丁·兰格
1 亚伦·拉尔森
1 Leucker，马丁
1 约翰·安德烈亚斯·马考斯基
1 Manolios，Panagiotis公司
1 诺伯特·曼恩
1 卡尔·梅恩克
1 Park，Seungjoon公园
1 Păsăreanu，科琳娜·s。
1 汤姆·佩特尔
1 约翰·佩尼克斯
1 尼尔·皮特曼
1 阿米尔·普努利
1 卡维塔·拉维
1 埃琳娜·拉夫。
1 亚尼夫·萨阿尔
1 桑吉特·阿伦库马尔·塞希亚
1 谢塔尔·沙阿
1 沙龙·肖姆
1 信度省，穆德萨-阿扎姆
1 卡斯滕·辛兹
1 弗里德里希·斯利沃夫斯基
1 法比奥·萨蒙齐
1 巴尔托洛梅奥·斯特拉托
1 卢卡斯·塔巴哈拉。
1 莫西·亚亚科夫·瓦尔迪
1 威廉·维瑟
1 王超
1 尼古拉斯·威宁格
1 达雷尔·惠特利
1 杨紫江
1 图巴·亚武兹
全部的 前5名

7篇连载文章中引用

6 系统设计中的形式化方法
三 理论计算机科学
1 离散应用数学
1 计算机与系统科学杂志
1 信息与计算
1 机器学习
1 程序设计中的逻辑和代数方法杂志

在4个字段中引用

22 计算机科学（68至XX）
7 数理逻辑与基础（03-XX）
2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）
1 运筹学、数学规划（90-XX）

按年份列出的引文