编辑配置文件（在新选项卡中打开） 海塔姆·凯德 合著者距离 作者ID： 凯德德·海塔姆 发布日期： 海塔姆·凯德 已编制索引的文档： 3出版物自2019年起 合著者： 5位合著者具有3联合出版物 19位合作作者 合著者 0 单作者的 3 亚瑟·舒克利 1 法特纳西，瓦尔 1 詹姆斯·费雷兹 1 孙晓武 1 山本，瓦伦 系列 领域 3 计算机科学（68至XX） 3 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用6中的次6文件 引用人▼ 年份▼ 神经网络控制自治系统的形式化验证。 Zbl 07120150号 孙晓武;海塔姆·凯德;亚瑟·舒克利 6 2019 神经网络控制自治系统的形式化验证。 Zbl 07120150号 孙晓武;海瑟姆凯德尔;亚瑟·舒克利 6 2019 所有引用出版物 前5名被引用出版物 全部的 前5名27位作者引用 2 拉多斯拉夫·伊万诺夫 2 李因苏普 2 詹姆斯·韦默（James E.Weimer）。 1 拉杰夫·阿鲁尔 1 克拉克·W·巴雷特。 1 泰勒·J·卡彭特。 1 陈、陶璐 1 陈欣 1 大卫·L·迪尔。 1 瓦尔·法塔斯西 1 凯尔·D·朱利安。 1 凯兹，盖伊 1 海塔姆·凯德 1 Mykel J.Kochenderfer。 1 李宣东 1 林薇薇安 1 刘志明 1 乔治·帕帕斯。 1 亚瑟·舒克利 1 奥列格·索科尔斯基 1 唐恩毅 1 詹姆斯·C·P·伍德科克。 1 瓦伦·山本 1 曾、夏 1 赵恒军 1 赵庆叶 1 赵卓瑜 2篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 在4个字段中引用 6 计算机科学（68至XX） 4 系统论；控制（93至XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 按年份列出的引文