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

凯兹，盖伊

合著者距离
作者ID： 卡茨·古伊“Katz，Guy”最近发表的zbMATH文章
发布日期： 凯兹，盖伊
已编制索引的文档： 12出版物自2013年起
合著者： 24位合著者具有11联合出版物
318名Co-Co作者
全部的 前5名

合著者

1 单作者的
7 克拉克·W·巴雷特。
三 凯尔·D·朱利安。
三 Mykel J.Kochenderfer。
2 大卫·L·迪尔。
2 伊扎克·伊斯雷尔·埃尔博尔
2 大卫·哈雷
2 吴浩泽
1 盖伊·埃米尔
1 埃拉扎尔·科恩
1 伯拉克·埃基奇
1 迪维亚·戈皮纳特
1 贾斯汀·戈奇利奇
1 尤瓦尔·雅各比
1 阿米尔·坎特
1 香塔尔·凯勒
1 罗比·兰伯特
1 阿萨夫·马龙
1 阿兰·梅布苏特
1 科琳娜·s·佩斯勒诺。
1 安德鲁·雷诺兹
1 克里斯托弗·斯特朗。
1 塞萨尔·蒂内利
1 杰拉·韦斯
1 Aleksandar Zeljić

系列

1 机器学习
1 系统设计中的形式化方法

领域

12 计算机科学（68至XX）
1 系统论；控制（93至XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

7出版物有被引用116中的次87文件 引用人▼ 年份▼
Reluplex：一种用于验证深度神经网络的高效SMT求解器。 Zbl 1494.68167号
凯兹，盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。
74
2017
一种基于抽象的神经网络验证框架。 Zbl 1478.68154号
伊扎克·伊斯雷尔·埃尔博尔;贾斯汀·戈奇利奇;凯兹，盖伊
16
2020
SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号
伯拉克·埃基奇;阿拉巴马州迈布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特
11
2017
DeepSafe：用于评估神经网络稳健性的数据驱动方法。 Zbl 1517.68342号
迪维亚·戈皮纳特;凯兹，盖伊;科琳娜·s·佩斯勒诺。;克拉克·巴雷特
6
2018
使用不变推理验证递归神经网络。 兹比尔1517.68241
尤瓦尔·雅各比;克拉克·巴雷特;凯兹，盖伊
4
2020
一种基于SMT的验证二值化神经网络的方法。 Zbl 1474.68188号
盖伊·埃米尔;吴浩泽;克拉克·巴雷特;凯兹，盖伊
三
2021
Reluplex：关于深层神经网络的推理演算。 Zbl 1522.68328号
凯兹，盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。
2
2022
Reluplex：关于深层神经网络的推理演算。 Zbl 1522.68328号
凯兹，盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。
2
2022
一种基于SMT的验证二值化神经网络的方法。 Zbl 1474.68188号
盖伊·埃米尔;吴浩泽;克拉克·巴雷特;凯兹，盖伊
三
2021
一种用于神经网络验证的基于抽象的框架。 Zbl 1478.68154号
伊扎克·伊斯雷尔·埃尔博尔;贾斯汀·戈奇利奇;凯兹，盖伊
16
2020
使用不变推理验证递归神经网络。 Zbl 1517.68241号
尤瓦尔·雅各比;克拉克·巴雷特;凯兹，盖伊
4
2020
DeepSafe：用于评估神经网络稳健性的数据驱动方法。 Zbl 1517.68342号
迪维亚戈皮纳特;凯兹，盖伊;科琳娜·s·佩斯勒诺。;克拉克·巴雷特
6
2018
Reluplex：用于验证深层神经网络的高效SMT求解器。 Zbl 1494.68167号
凯兹，盖伊;克拉克·巴雷特;大卫·L·迪尔。;凯尔·朱利安;Mykel J.Kochenderfer。
74
2017
SMTCoq：一个用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号
伯拉克·埃基奇;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特
11
2017
所有引用出版物 前5名被引用出版物
全部的 前5名

246位作者引用

7 克拉克·W·巴雷特。
6 Tran，Hoang-Dung村
5 泰勒·T·约翰逊。
5 杨晓东
4 巴德省霍克萨
4 凯兹，盖伊
4 艾娜·尼梅茨
4 马蒂亚斯·普雷纳
4 丹尼尔·普罗霍罗夫。
4 安德鲁·雷诺兹
4 塞萨尔·蒂内利
三 斯坦利·巴克
三 陈、陶璐
三 黄晓伟
三 拉多斯拉夫·伊万诺夫
三 凯尔·D·朱利安。
三 Mykel J.Kochenderfer。
三 迭戈·曼扎纳斯·洛佩兹
三 帕特里克·穆索
三 阮文杰
三 尤尼·佐哈尔
2 拉杰夫·阿鲁尔
2 陈广科
2 陈欣
2 Choi、Sungwoo
2 斯蒂芬·格内曼
2 纳撒尼尔·P·汉密尔顿。
2 黄成超
2 贾凯
2 海塔姆·凯德
2 Marta Z.Kwiatkowska。
2 马丁·兰格
2 马蒂亚斯·莱切纳
2 李因苏普
2 李仁觉
2 李宣东
2 林德曼，拉尔斯
2 内拉尼亚娜·帕尔
2 乔治·帕帕斯。
2 布兰登·保尔森
2 马丁·里纳德（Martin C.Rinard）。
2 马尔科·萨利泽
2 汉斯·约尔·舒尔
2 亚瑟·舒克利
2 宋，傅
2 马修·索托德
2 克里斯托弗·斯特朗。
2 孙骏
2 唐恩毅
2 阿迪蒂亚·塔库尔。
2 斯塔夫罗斯·特里帕基斯
2 王超
2 詹姆斯·韦默（James E.Weimer）。
2 吴浩泽
2 吴敏
2 山口，富古屋
2 杨鹏飞
2 张丽君
2 张业迪
2 赵庆叶
2 赵哲
1 马蒂亚斯·阿尔霍夫
1 劳拉·阿尔蒂莉·桑巴托洛美
1 盖伊·埃米尔
1 塞皮德·阿萨迪
1 埃里克·阿塞林
1 爱德华多·巴奇
1 巴拉普拉卡什，普拉桑纳
1 安苏曼·班纳吉
1 索姆·班纳吉
1 马雷克·巴拉诺夫斯基
1 哈尼尔·巴博萨
1 巴博特，贝努伊特
1 费边·鲍尔·马尔夸特
1 萨德克·本萨勒姆
1 纪尧姆·贝托伦
1 大卫·波提乌斯
1 贝内迪克特·博利格
1 阿希姆·D·布鲁克。
1 伊戈尔·布辛斯基
1 尼古拉斯·卡里尼
1 泰勒·J·卡彭特。
1 史蒂文·卡尔
1 阿尔贝托·卡斯泰里尼
1 陈丽倩
1 陈启光
1 陈，冉
1 邱子怡
1 哈娜·乔克勒
1 亚瑟·克莱维尔
1 马修·克利夫兰
1 西里尔·科恩
1 埃拉扎尔·科恩
1 库卡斯·扎伊卡
1 戴婷
1 阿德南·达尔维切
1 Jean-Pierre大卫
1 马丁·德沙奈斯
1 Jyotirmoy V.德斯穆赫。
1 大卫·L·迪尔。
…还有146位作者
全部的 前5名

17篇连载文章中引用

7 机器学习
三 人工智能
三 计算的形式方面
2 Automatica公司
2 系统设计中的形式化方法
1 理论计算机科学
1 自动推理杂志
1 神经网络
1 全球优化杂志
1 欧洲运筹学杂志
1 数学编程。A系列B系列
1 计算优化与应用
1 逻辑、语言与信息杂志
1 人工智能研究杂志
1 计算机基础理论
1 计算机科学评论
1 程序设计中的逻辑与代数方法杂志
全部的 前5名

13个领域引用

85 计算机科学（68至XX）
13 系统论；控制（93至XX）
7 运筹学、数学规划（90-XX）
4 统计学（62-XX）
三 数学逻辑和基础（03-XX）
三 数值分析（65-XX）
2 代数几何（14-XX）
2 概率论与随机过程（60-XX）
1 常微分方程（34-XX）
1 凸和离散几何（52至XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 生物学和其他自然科学（92-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文