编辑配置文件(在新选项卡中打开) 黄晓伟 合著者距离 作者ID: 黄晓伟 发布日期: 黄晓伟;黄晓伟 已编制索引的文档: 27出版物自2003年以来,包括1个附加arXiv预打印 合著者: 36位合著者具有21联合出版物 1490名合作作者 全部的 前5名合著者 0 单作者的 4 阮文杰 4 宋立新 4 吴传生 三 Marta Z.Kwiatkowska。 三 吴敏 2 陈丽倩 2 李绿洲 2 刘江超 2 丁佩仪 2 王德辉 2 杨鹏飞 2 易新平 2 张丽君 2 赵星宇 1 萨德克·本萨勒姆 1 陈清亮 1 Dong,咸丰 1 冯景海 1 高,费 1 亨,伦龙 1 徐嘉惠 1 黄成超 1 黄,魏 1 焦、李 1 丹尼尔·科宁 1 李仁觉 1 梁燕春 1 刘嘉秀 1 刘庆山 1 陆伟明 1 马西耶·奥列尼克 1 阿卜杜勒·萨塔尔 1 詹姆斯·夏普。 1 苏凯乐 1 孙友成 1 孙玉宝 1 唐启毅 1 埃梅塞·塔莫 1 田平 1 王,付 1 王森(Wang,Sen) 1 马修·威克 1 吴长顺 1 吴俊辉 1 张世浩 1 张天乐 1 张阳浩 1 赵岳 1 周军 1 朱华平 全部的 前5名系列 2 理论计算机科学 2 机器学习 2 吉林大学学报。科学版 1 物理A 1 计算数学 1 数学杂志。武汉大学 1 保险数学与经济学 1 系统科学与数学科学杂志 1 科学计算杂志 1 大连理工大学学报 1 计算的形式方面 1 南京师范大学学报。自然科学版 1 逻辑与代数程序设计杂志 1 数学科学学报。A辑(中文版) 1 数学科学学报。B系列(英文版) 1 ACM计算逻辑事务 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名字段 15 计算机科学(68至XX) 5 统计学(62-XX) 5 数值分析(65-XX) 4 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 近似值和展开值(41至XX) 1 算子理论(47-XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用70中的次59文件 引用人▼ 年份▼ 深度神经网络的安全验证。 Zbl 1494.68166号 黄晓伟;玛尔塔·奎亚特科夫斯卡;王森(Wang,Sen);吴敏 42 2017 深度神经网络的安全性和可信度调查:验证、测试、对抗性攻击和防御以及可解释性。 Zbl 1478.68308号 黄晓伟;丹尼尔·克罗宁;阮文杰;詹姆斯·夏普;孙友成;埃梅塞·塔莫;吴敏;易新平 12 2020 具有可证明保证的深度神经网络的基于游戏的近似验证。 Zbl 1436.68199号 吴敏;马修·威克;阮文杰;黄晓伟;玛尔塔·奎亚特科夫斯卡 11 2020 通过积分进行数值微分。 Zbl 1298.65035号 黄晓伟;吴传生;周军 4 2014 基于多项式插值的无网格有限差分方法。 Zbl 1416.65401号 黄,X.W。;吴昌硕。 1 2019 通过符号传播增强深度神经网络的鲁棒性验证。 兹比尔1519.68228 杨鹏飞;李建林;刘江超;黄成超;李仁觉;陈丽倩;黄晓伟;张丽君 1 2021 迭代正则化的一种快速收敛方法。 Zbl 1199.65427号 黄晓伟;吴传生;吴迪 1 2009 通过符号传播增强深度神经网络的鲁棒性验证。 Zbl 1519.68228号 杨鹏飞;李建林;刘江超;黄成超;李仁觉;陈丽倩;黄晓伟;张丽君 1 2021 深度神经网络的安全性和可信度调查:验证、测试、对抗性攻击和防御以及可解释性。 Zbl 1478.68308号 黄晓伟;丹尼尔·克罗宁;阮文杰;詹姆斯·夏普;孙友成;埃梅塞·塔莫;吴敏;易新平 12 2020 具有可证明保证的深度神经网络的基于游戏的近似验证。 Zbl 1436.68199号 吴敏;马修·威克;阮文杰;黄晓伟;玛尔塔·奎亚特科夫斯卡 11 2020 基于多项式插值的无网格有限差分方法。 Zbl 1416.65401号 黄,X.W。;吴昌硕。 1 2019 深度神经网络的安全验证。 兹比尔1494.68166 黄晓伟;玛尔塔·奎亚特科夫斯卡;王森(Wang,Sen);吴敏 42 2017 通过积分进行数值微分。 兹比尔1298.65035 黄晓伟;吴传生;周军 4 2014 迭代正则化的一种快速收敛方法。 Zbl 1199.65427号 黄晓伟;吴传生;吴迪 1 2009 所有引用出版物 前5名被引用出版物 全部的 前5名163位作者引用 5 杨晓东 4 黄晓伟 4 泰勒·T·约翰逊。 4 阮文杰 4 Tran,Hoang-Dung村 三 凯兹,盖伊 三 帕特里克·穆索 三 项伟明 三 杨鹏飞 三 张丽君 2 斯坦利·巴克 2 克拉克·W·巴雷特。 2 陈广科 2 陈丽倩 2 陈、陶璐 2 杜冬蕾 2 巴德省霍克萨 2 黄成超 2 Marta Z.Kwiatkowska。 2 马丁·兰格 2 李仁觉 2 安德烈·利普塔吉 2 刘江超 2 迭戈·曼扎纳斯·洛佩兹 2 内拉尼亚娜·帕尔 2 布兰登·保尔森 2 丹尼尔·普罗霍罗夫。 2 马尔科·萨利泽 2 宋,傅 2 孙骏 2 斯塔夫罗斯·特里帕基斯 2 王超 2 王一静 2 吴浩泽 2 吴敏 2 徐大川 2 山口,富古屋 2 张业迪 2 赵哲 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 马吉德·阿里扎德 1 马蒂亚斯·阿尔霍夫 1 拉杰夫·阿鲁尔 1 毛里西奥·A·阿尔瓦雷斯。 1 盖伊·埃米尔 1 巴奇(Edoardo Bacci) 1 迈克尔·巴克斯 1 Bauer Marquart,法比安 1 萨德克·本萨勒姆 1 丹尼尔·宾斯托克 1 大卫·博埃蒂乌斯 1 Achim D.布鲁克。 1 伊戈尔·布辛斯基 1 泰勒·J·卡彭特。 1 史蒂文·卡尔 1 阿尔贝托·卡斯泰里尼 1 陈伟 1 Choi、Sungwoo 1 埃拉扎尔·科恩 1 丹尼斯,路易斯·阿比盖尔 1 Jyotirmoy V.德斯穆赫。 1 亚历山大·唐泽 1 托马索·德罗西 1 纳达尼埃拉·埃吉迪 1 伊扎克·伊斯雷尔·埃尔博尔 1 查里斯·埃利夫特里亚迪斯 1 亚历山德罗·法利内利 1 米尔科·贾科布 1 约瑟芬·贾科米尼 1 Eleonora Giunchiglia公司 1 埃里克·古堡 1 蒂莫·格罗斯(Timo P.Gros)。 1 凯瑟琳·格罗斯 1 纳撒尼尔·P·汉密尔顿。 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 霍尔格·赫尔曼斯 1 Hoang-Dung Tran公司 1 霍夫曼,约格 1 阿米罗尚Hoseinpour Dehkordi 1 拉多斯拉夫·伊万诺夫 1 尼尔斯·詹森 1 贾凯 1 姜燕军 1 凯尔·D·朱利安。 1 Katsaros,Panagiotis公司 1 尼古拉斯·凯卡托斯 1 迈克尔·克劳克 1 直纪小林 1 Mykel J.Kochenderfer。 1 丹尼尔·科宁 1 托拜厄斯·拉德纳 1 马蒂亚斯·莱切纳 1 李因苏普 1 斯特凡·洛伊 1 刘嘉祥 1 刘雯 1 Diago Manzanas洛佩兹 1 栾越元 1 托马斯·卢卡西维奇 1 马,冉 …还有63位作者 全部的 前5名20篇连载文章中引用 4 机器学习 2 应用数学与计算 2 理论计算机科学 2 计算的形式方面 2 人工智能研究杂志 1 人工智能 1 Automatica公司 1 伊朗数学学会公报 1 自动推理杂志 1 神经网络 1 INFORMS计算机杂志 1 组合优化期刊 1 计算机基础理论 1 数学建模与分析 1 系统科学与复杂性杂志 1 离散优化 1 对称 1 巴勒斯坦数学杂志 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在15个字段中引用 52 计算机科学(68至XX) 7 运筹学、数学规划(90-XX) 7 系统理论;控制(93至XX) 6 数值分析(65-XX) 4 统计学(62-XX) 2 数学逻辑和基础(03-XX) 2 代数几何(14-XX) 2 实际功能(26年X月X日) 2 凸几何和离散几何(52至XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 常微分方程(34-XX) 1 积分方程(45-XX) 1 概率论与随机过程(60-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文