编辑配置文件(在新选项卡中打开) 贾斯汀·戈奇利奇 合著者距离 作者ID: 贾斯汀 发布日期: 贾斯汀·戈特施里奇 编入索引的文档: 1出版物自2020年起 合著者: 2合著者具有1联合出版物 31位合作作者 合著者 0 单作者的 1 伊扎克·伊斯雷尔·埃尔博尔 1 凯兹,盖伊 系列 领域 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用15中的次15文件 引用人▼ 年份▼ 一种基于抽象的神经网络验证框架。 Zbl 1478.68154号 伊扎克·伊斯雷尔·埃尔博尔;贾斯汀·戈奇利奇;凯兹,盖伊 15 2020 一种基于抽象的神经网络验证框架。 Zbl 1478.68154号 伊扎克·伊斯雷尔·埃尔博尔;贾斯汀·戈奇利奇;凯兹,盖伊 15 2020 所有引用出版物 前5名被引用出版物 全部的 前5名55位作者引用 3 凯兹,盖伊 2 克拉克·W·巴雷特。 2 陈广科 2 陈、陶璐 2 黄成超 2 李仁觉 2 宋,傅 2 杨鹏飞 2 张丽君 2 张业迪 2 赵哲 1 盖伊·埃米尔 1 安苏曼·班纳吉 1 索姆·班纳吉 1 巴伯,贝诺 1 贝内迪克特·博利格 1 伊戈尔·布辛斯基 1 陈丽倩 1 埃拉扎尔·科恩 1 戴婷 1 大卫·L·迪尔。 1 德拉赫斯勒-科恩,达纳 1 伊扎克·伊斯雷尔·埃尔博尔 1 方、王 1 阿兰·芬克尔 1 苏马纳州戈什 1 关、吉 1 谢尔盖·哈达德 1 巴德省霍克萨 1 泰勒·T·约翰逊。 1 凯尔·D·朱利安。 1 阿南·卡巴哈 1 伊戈尔·赫梅尔尼茨基 1 Mykel J.Kochenderfer。 1 Leucker,马丁 1 刘江超 1 刘嘉祥 1 Mohalik,Swarup K。 1 丹尼尔·奈德 1 阿塞尼·内里诺夫斯基 1 帕维特拉·普拉巴卡 1 丹尼尔·普罗霍罗夫。 1 罗伊,拉贾什 1 孙,宾 1 孙骏 1 Tran,Hoang-Dung村 1 斯塔夫罗斯·特里帕基斯 1 王景毅 1 吴浩泽 1 谢、宣 1 薛、白 1 山口智也 1 杨晓东 1 叶,丽娜 1 Ying,明生 3篇连载文章中引用 1 计算的形式方面 1 机器学习 1 系统设计中的形式化方法 在5个字段中引用 15 计算机科学(68至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文