编辑配置文件（在新选项卡中打开） 詹姆斯·科尼利厄斯·金 合著者距离 作者ID: 国王·詹姆斯·c 发布日期： 詹姆斯·C·金。 外部链接： MGP公司 编入索引的文档： 24出版物自1971年以来，包括1本书和1个附加arXiv预打印 合著者： 2合著者具有2联合出版物 22位合作作者 全部的 前5名合著者 9 单作者的 三 罗伯特·M·II·柯比 2 Luc P.J.A.Devroye。 2 帕特里克·G·T·希利。 2 埃里克·A·克罗恩。 2 哈尼埃·米尔扎伊 2 Jennifer K·瑞恩。 2 尼克·斯沃博达 1 罗伯特·W·弗洛伊德。 1 斯蒂芬·弗里德里希斯 1 傅志松 1 西德尼·L·汉特勒。 1 迈克尔·赫默 1 大卫·G·柯克帕特里克。 1 库杜马基斯，帕诺斯 1 格雷戈里·拉菲亚蒂斯 1 科林·J·H·麦克迪米德。 1 克里斯蒂安·施密特 1 斯宾塞·J·舍温。 全部的 前5名系列 2 SIAM计算机杂志 2 科学计算杂志 2 计算几何杂志 1 电气电子工程师学会计算机期刊 1 计算机与系统科学杂志 1 离散和计算几何 1 计算几何 1 ACM通信 1 计算调查 1 IEEE软件工程汇刊 1 SIAM科学计算杂志 全部的 前5名领域 18 计算机科学（68至XX） 4 数值分析（65-XX） 2 偏微分方程（35-XX） 1 总体主题；集合（00-XX） 1 凸和离散几何（52至XX） 1 概率论与随机过程（60-XX） 1 光学、电磁理论（78-XX） 1 相对论和引力理论（83至XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物被引用112中的次92文件 引用人▼ 年份▼ 符号执行和程序测试。 Zbl 0329.68018号 詹姆斯·C·金。 82 1976 地形保护为NP-hard。 Zbl 1235.68076号 詹姆斯·金;埃里克·克罗恩 21 2011 非结构化三角网格上间断Galerkin解的平滑增强型保精度滤波器。 Zbl 1264.65162号 哈尼埃·米尔扎伊;詹姆斯·金;Jennifer K·瑞恩。;罗伯特·M·柯比。 19 2013 一种保护1.5维地形的4近似算法。 兹比尔1145.68596 詹姆斯·金 17 2006 不连续Galerkin解的平滑增强精度保持（SIAC）滤波：改进的误差与高阶精度。 Zbl 1254.65106号 詹姆斯·金;哈尼埃·米尔扎伊;Jennifer K·瑞恩。;罗伯特·M·柯比。 17 2012 改进了从周边保护简单画廊的近似方法。 Zbl 1226.68122号 詹姆斯·金;大卫·柯克帕特里克 16 2011 程序验证器。 Zbl 0255.68005号 詹姆斯·C·金。 14 1972 连续1.5D地形保护问题：离散化、最优解和PTAS。 Zbl 1405.68417号 斯蒂芬·弗里德里希斯;迈克尔·赫默;詹姆斯·金;克里斯蒂安·施密特 11 2016 证明程序正确性的介绍。 Zbl 0345.68009号 西德尼·L·汉特勒。;詹姆斯·C·金。 9 1976 用于带孔和不带孔的多边形的快速顶点保护。 Zbl 1262.65032号 詹姆斯·金 7 2013 证明程序正确。 Zbl 0231.68014号 詹姆斯·C·金。 4 1971 地形保护为NP-hard。 Zbl 1288.68095号 詹姆斯·金;埃里克·克罗恩 4 2010 利用流结构上的批处理解决二维椭圆有限元问题：混合间断Galerkin（HDG）案例研究。 Zbl 1304.65250号 詹姆斯·金;谢尔盖·雅科夫列夫;傅志松;罗伯特·M·柯比。;斯宾塞·J·舍温。 4 2014 一种新的程序测试方法。 兹比尔0302.68036 詹姆斯·C·金。 2 1975 程序正确性：关于归纳断言方法。 Zbl 0436.68011号 詹姆斯·C·金。 1 1980 电磁辐射。 Zbl 1466.78002号 理查德·弗里曼;詹姆斯·金;格雷戈里·拉菲亚蒂斯 1 2019 电磁辐射。 兹比尔1466.78002 理查德·弗里曼;詹姆斯·金;格雷戈里·拉菲亚蒂斯 1 2019 连续1.5D地形保护问题：离散化、最优解和PTAS。 Zbl 1405.68417号 斯蒂芬·弗里德里希斯;迈克尔·赫默;詹姆斯·金;克里斯蒂安·施密特 11 2016 利用流结构上的批处理解决二维椭圆有限元问题：混合间断Galerkin（HDG）案例研究。 兹比尔1304.65250 詹姆斯·金;谢尔盖·雅科夫列夫;傅志松;罗伯特·M·柯比。;斯宾塞·J·舍温。 4 2014 非结构化三角网格上间断Galerkin解的平滑增强型保精度滤波器。 Zbl 1264.65162号 哈尼埃·米尔扎伊;詹姆斯·金;Jennifer K·瑞恩。;罗伯特·M·柯比。 19 2013 有孔和无孔多边形的快速顶点保护。 Zbl 1262.65032号 詹姆斯·金 7 2013 不连续Galerkin解的平滑增强精度保持（SIAC）滤波：改进的误差与高阶精度。 Zbl 1254.65106号 詹姆斯·金;哈尼埃·米尔扎伊;Jennifer K·瑞恩。;罗伯特·M·柯比。 17 2012 地形保护为NP-hard。 兹比尔1235.68076 詹姆斯·金;埃里克·克罗恩 21 2011 改进了从周边保护简单画廊的近似方法。 Zbl 1226.68122号 詹姆斯·金;大卫·柯克帕特里克 16 2011 地形保护为NP-hard。 Zbl 1288.68095号 詹姆斯·金;埃里克·克罗恩 4 2010 一种保护1.5维地形的4近似算法。 兹比尔1145.68596 詹姆斯·金 17 2006 程序正确性：关于归纳断言方法。 Zbl 0436.68011号 詹姆斯·C·金。 1 1980 符号执行和程序测试。 Zbl 0329.68018号 詹姆斯·C·金。 82 1976 证明程序正确性的介绍。 Zbl 0345.68009号 西德尼·L·汉特勒。;詹姆斯·C·金。 9 1976 一种新的程序测试方法。 Zbl 0302.68036号 詹姆斯·C·金。 2 1975 程序验证器。 Zbl 0255.68005号 詹姆斯·C·金。 14 1972 证明程序正确。 Zbl 0231.68014号 詹姆斯·C·金。 4 1971 所有引用出版物 前5名被引用出版物 全部的 前5名212位作者引用 4 艾尔维拉·阿尔伯特 三 安德烈·阿鲁索艾 三 米盖尔·戈梅斯·扎马洛亚 三 弗拉德·鲁苏 三 斯蒂芬·西格尔（Stephen F.Siegel）。 三 德国维达尔 三 蒂莫西·齐科尔。 2 玛丽亚·阿尔普特 2 帕特里克·库索特 2 雷纳·哈内尔 2 克劳斯·哈维隆德 2 威廉·豪登（William E.Howden）。 2 佛罗伦萨伊帕特 2 丹尼尔·科宁 2 多雷尔·卢卡努 2 沃德·道格拉斯·莫勒 2 弗雷德·梅斯纳德 2 J Strother摩尔 2 埃蒂安·佩耶特 2 Phan，Quoc-Sang先生 2 热尔曼普埃布拉 2 约翰·赖夫（John H.Reif）。 2 塞萨尔·桑切斯 2 塞·库什克 2 彼得·詹姆斯·斯塔基 2 张健 1 帕罗什·阿齐兹·阿卜杜拉 1 马里奥·艾略 1 史蒂夫·阿尔珀恩 1 罗伯托·阿马迪尼 1 达纳州安格鲁因 1 法哈德·阿尔巴 1 西里尔·阿尔托 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 塞利福丁·阿扎尔 1 Domagoj Babić 1 阿布拉莫·巴格纳拉 1 罗伯特·巴格纳拉 1 黛米斯·巴利斯 1 Soumyadip Bandyopadhyay公司 1 Lucas Bang先生 1 迈克尔·班特吉 1 霍华德·巴林格 1 伯恩哈德·贝克特 1 马可·贝利亚 1 德克·贝尔 1 阿明·比尔 1 加文·M·比尔曼。 1 法比奥·比塞利 1 尼古拉·S·比约纳。 1 伍德罗·W·布莱索。 1 博尔祖·博纳克达尔普尔 1 马塞洛·玛丽亚·邦桑格 1 法学家博尔佐夫斯 1 布，康康 1 理查德·布贝尔 1 蒂莫西·艾伦·巴德 1 大卫·布什内尔。 1 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello） 1 马雷克·查卢帕 1 萨迪普塔·查托帕迪耶 1 陈刚毅 1 陈玉芳 1 米歇尔·齐亚里 1 克拉克（Edmund Melson jun Clarke）。 1 拉迪亚·库索特 1 约翰·Cyphert 1 马蒂亚斯·丹格尔 1 德波尔（Frank S。 1 大卫·Déharbe 1 比菲省迪普 1 赛义德·杜斯塔利 1 马拉·唐宁 1 迪米特里斯·德拉尼迪斯 1 段振华 1 恩斯特·吉顿 1 Heinz Erzberger公司 1 圣地亚哥埃斯科瓦尔 1 菲克斯，理查德·E。 1 罗伯特·W·弗洛伊德。 1 傅、香 1 格雷姆·恒河 1 玛丽亚·加西亚·德拉班达 1 迪米特拉·吉安娜科波卢 1 帕特丽斯·戈德弗里德 1 安德鲁·戈登。 1 罗伯塔·戈里 1 伊琳娜·格里巴诺娃 1 亚历克斯·格罗斯 1 顾、明 1 劳尔·古铁雷斯 1 他，费 1 何，史 1 凯伦·希雷 1 Dariush Heidari 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 侯赛因·霍贾特 1 迈克·霍尔科姆 1 卢卡什·霍利克 1 杰拉德·J·霍尔兹曼。 …还有112位作者 全部的 前5名32篇连载文章中引用 5 信息学报 5 计算的形式方面 5 逻辑程序设计理论与实践 4 理论计算机科学 4 自动推理杂志 三 人工智能 三 信息处理信件 三 系统设计中的形式化方法 三 数学与人工智能年鉴 2 计算机与系统科学杂志 2 计算机程序设计科学 2 国际计算机数学杂志 1 计算机与数学及其应用 1 卡尔科洛 1 信息科学 1 RAIRO，Informatique Théorique公司 1 软件。实践与经验 1 符号计算杂志 1 实时系统 1 机器学习 1 函数编程杂志 1 约束条件 1 计算系统理论 1 软计算 1 计算机基础理论 1 计算机语言、系统和结构 1 量子信息处理 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 1 SN运筹学论坛 全部的 前5名在8个字段中引用 89 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 数值分析（65-XX） 1 群论与推广（20-XX） 1 流体力学（76-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文