编辑配置文件（在新选项卡中打开） 王超 合著者距离 作者ID： 王超3 发布日期： 王超 主页： https://sites.usc.edu/chaowang网站/ 外部链接： 谷歌学者·数据库管理程序 已编制索引的文档： 45出版物自2001年以来，包括5个附加arXiv预打印 3作为编辑的贡献 合著者： 27位合著者具有23联合出版物 714合著作者 全部的 前5名合著者 2 单作者的 9 阿尔蒂·古普塔 4 罗德里克·布洛姆 4 马来K·加奈。 三 加里·哈赫特尔（Gary D.Hachtel）。 三 弗兰乔·伊万契奇 三 拉希里、舒文杜·库马尔 三 法比奥·萨蒙齐 三 杨紫江 2 戴云飞 2 金、星 2 卡隆，葡萄园 2 贝蒂娜·柯尼霍费尔 2 罗伯特·Könighfer 2 利马耶·里希克什 2 布兰登·保尔森 2 卡维塔·拉维 2 王景瑞 2 王玉娟 2 王震（Wang，Zhen） 1 穆罕默德·阿尔谢赫 1 安、天波 1 张广宝 1 Jyotirmoy V.德斯穆赫。 1 杜新宇 1 哈桑·埃尔迪布 1 高鹏飞 1 高泽宇 1 葛、韩斌 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 韩文哲 1 黄凯文 1 劳拉·汉弗莱。 1 亚历山大·伊林 1 贾英奇 1 蒋维康 1 Sudipta昆都 1 李冰 1 李波 1 李凌志 1 李彦南 1 吕、蔡甸 1 陆、周道 1 马，于 1 阿列克谢·马特维耶夫。 1 萨拉·穆罕默德·内贾德 1 荣建华 1 安德烈·萨夫金。 1 阿列克谢·什切格洛夫 1 沈月龙 1 史振浩 1 宋，傅 1 宋振宇 1 Tabaei Befrouei，米特拉 1 谭莹 1 陶宇晨 1 田伟 1 乌富克托普库 1 王晶波 1 王磊 1 王天泽 1 王伟标 1 王永恒 1 王玉明 1 魏培军 1 格奥尔格·魏森巴赫 1 翁、顺 1 夏勇 1 杨瑜（Yang，Yu） 1 姚、郭 1 张慧珍 1 张静 1 张瑞福 1 张，叶 1 张周阳 1 朱红萍 1 朱建阳 1 朱天一 全部的 前5名系列 三 系统设计中的形式化方法 三 计算机科学课堂讲稿 三 国际结构稳定性与动力学杂志 2 应用数学与计算 2 国际鲁棒与非线性控制杂志 1 机械学报 1 应用科学中的数学方法 1 核物理。B类 1 信息科学 1 计算的形式方面 1 应用数学建模 1 统计传播。理论与方法 1 欧洲力学杂志。B.流体 1 非线性科学与数值模拟中的通信 1 数学科学学报。A辑（中文版） 1 国际计算方法杂志 1 应用数学与力学进展 全部的 前5名领域 26 计算机科学（68至XX） 7 可变形固体力学（74-XX） 三 总体主题；集合（00-XX） 2 概率论与随机过程（60-XX） 2 数值分析（65-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 数学逻辑和基础（03-XX） 1 实际功能（26年X月X日） 1 常微分方程（34-XX） 1 欧氏空间的调和分析（42至XX） 1 功能分析（46倍X倍） 1 变分法与最优控制；最优化（49至XX） 1 流形和细胞复合体（57至XX） 1 统计学（62-XX） 1 流体力学（76-XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用87中的次67文件 引用人▼ 年份▼ 屏蔽合成：反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆；贝蒂娜·科尼霍费尔；罗伯特·Könighfer；王超 16 2015 剥离部分顺序减少。 Zbl 1134.68421号 王超；杨紫江；维尼特·卡隆；阿尔蒂·古普塔 11 2008 屏蔽合成。 Zbl 1386.68101号 贝蒂娜·科尼霍费尔；穆罕默德·阿尔谢赫；罗德里克·布洛姆；劳拉·汉弗莱；罗伯特·Könighfer；乌富克托普库；王超 11 2017 单调部分降阶：一种最佳符号部分降阶技术。 Zbl 1242.68166号 维尼特·卡隆；王超；阿尔蒂·古普塔 9 2009 创作灵感？反例的因果分析。 Zbl 1161.68588号 王超；杨紫江；弗兰乔·伊万契奇；阿尔蒂·古普塔 6 2006 SCInfer公司：基于细化的验证软件对抗副通道攻击的对策。 兹比尔1511.68173 张军；高鹏飞；宋，傅；王超 4 2018 通过SAT和增量负循环消除确定分离逻辑公式。 Zbl 1143.68583号 王超；弗兰乔·伊万契奇；马来加奈；阿尔蒂·古普塔 4 2005 针对侧通道攻击的掩蔽对策合成。 Zbl 1445.68058号 哈桑·埃尔迪布；王超 4 2014 利用反例提高多面体可达性计算的精度。 Zbl 1135.68370号 王超；杨子江；阿尔蒂·古普塔；弗兰乔·伊万契奇 4 2007 并发程序的符号预测分析。 Zbl 1242.68187号 王超；Sudipta昆都；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 4 2011 原子性违规的基于痕迹的符号分析。 Zbl 1284.68418号 王超；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 三 2010 语言空虚的成分SCC分析。 Zbl 1100.68059号 王超；罗德里克·布洛姆；加里·哈赫特尔（Gary D.Hachtel）。；卡维塔·拉维；法比奥·萨蒙齐 三 2006 划分和组合：SCC对语言空白的细化。 Zbl 1006.68531号 王超；罗德里克·布洛姆；加里·哈赫特尔（Gary D.Hachtel）。；卡维塔·拉维；法比奥·萨蒙齐 2 2001 用于语言空性检查的尖锐析取分解。 Zbl 1019.68631号 王超；加里·哈赫特尔（Gary D.Hachtel）。 2 2002 用于验证和分析的自动化技术。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。 Zbl 1396.68018号 2 2018 基于SAT的验证方法及其在硬件验证中的应用。 Zbl 1182.68119号 阿尔蒂·古普塔；马来K·加奈。；王超 2 2006 使用属性驱动修剪的动态模型检查来检测竞争条件。 兹比尔1183.68383 王超；杨瑜（Yang，Yu）；阿尔蒂·古普塔；加内什·戈帕拉克里什南 1 2008 抽象和挖掘跟踪以解释并发错误。 Zbl 1380.68107号 Tabaei Befrouei，米特拉；王超；格奥尔格·魏森巴赫 1 2016 计算机辅助验证。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分。 Zbl 1453.68017号 1 2020 DiffRNN：递归神经网络的微分验证。 Zbl 07498004号 萨拉·穆罕默德·内贾德；布兰登·保尔森；Jyotirmoy V.德斯穆赫。；王超 1 2021 输出约束和未知控制方向下严格反馈非线性系统的事件触发自适应控制。 Zbl 07816363号 王超；王玉娟；戴云飞；马，于 1 2023 基于灵敏度的有限元模型修正，采用动态凝聚方法。 Zbl 07838800号 朱天一；田伟；翁、顺；葛、韩斌；夏勇；王超 1 2018 输出约束和未知控制方向下严格反馈非线性系统的事件触发自适应控制。 Zbl 07816363号 王超；王玉娟；戴云飞；马，于 1 2023 DiffRNN：递归神经网络的微分验证。 Zbl 07498004号 萨拉·穆罕默德·内贾德；布兰登·保尔森；Jyotirmoy V.德斯穆赫。；王超 1 2021 计算机辅助验证。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分。 Zbl 1453.68017号 1 2020 SCInfer公司：基于细化的验证软件对抗副通道攻击的对策。 Zbl 1511.68173号 张军；高鹏飞；宋，傅；王超 4 2018 用于验证和分析的自动化技术。2018年10月7日至10日，美国加利福尼亚州洛杉矶，第16届国际研讨会，ATVA 2018。诉讼程序。 兹比尔1396.68018 2 2018 基于灵敏度的有限元模型修正，采用动态凝聚方法。 Zbl 07838800号 朱天一；田伟；翁、顺；葛、韩斌；夏勇；王超 1 2018 屏蔽合成。 Zbl 1386.68101号 贝蒂娜·科尼霍费尔；穆罕默德·阿尔谢赫；罗德里克·布洛姆；劳拉·汉弗莱；罗伯特·Könighfer；乌富克托普库；王超 11 2017 抽象和挖掘跟踪以解释并发错误。 Zbl 1380.68107号 Tabaei Befrouei，米特拉；王超；格奥尔格·魏森巴赫 1 2016 屏蔽合成：反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆；贝蒂娜·科尼霍费尔；罗伯特·Könighfer；王超 16 2015 针对侧通道攻击的掩蔽对策合成。 Zbl 1445.68058号 哈桑·埃尔迪布；王超 4 2014 并发程序的符号预测分析。 Zbl 1242.68187号 王超；Sudipta昆都；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 4 2011 原子性违规的基于痕迹的符号分析。 Zbl 1284.68418号 王超；利马耶·里希克什；马来加奈；阿尔蒂·古普塔 三 2010 单调部分降阶：一种最佳符号部分降阶技术。 Zbl 1242.68166号 维尼特·卡隆；王超；阿尔蒂·古普塔 9 2009 剥离部分顺序减少。 Zbl 1134.68421号 王超；杨紫江；维尼特·卡隆；阿尔蒂·古普塔 11 2008 使用属性驱动剪枝进行动态模型检查以检测竞争条件。 兹比尔1183.68383 王超；杨瑜（Yang，Yu）；阿尔蒂·古普塔；戈帕拉克里什南 1 2008 利用反例提高多面体可达性计算的精度。 Zbl 1135.68370号 王超；杨紫江；阿尔蒂·古普塔；弗兰乔·伊万契奇 4 2007 创作灵感？反例的因果分析。 Zbl 1161.68588号 王超；杨紫江；弗兰乔·伊万契奇；阿尔蒂·古普塔 6 2006 语言空虚的成分SCC分析。 兹比尔1100.68059 王超；罗德里克·布洛姆；加里·哈赫特尔（Gary D.Hachtel）。；卡维塔·拉维；法比奥·萨蒙齐 三 2006 基于SAT的验证方法及其在硬件验证中的应用。 Zbl 1182.68119号 阿尔蒂·古普塔；马来K·加奈。；王超 2 2006 通过SAT和增量负循环消除确定分离逻辑公式。 Zbl 1143.68583号 王超；弗兰乔·伊万契奇；马来加奈；阿尔蒂·古普塔 4 2005 用于语言空性检查的尖锐析取分解。 Zbl 1019.68631号 王超；加里·哈赫特尔（Gary D.Hachtel）。 2 2002 划分和组合：SCC对语言空白的细化。 Zbl 1006.68531号 王超；罗德里克·布洛姆；加里·哈赫特尔（Gary D.Hachtel）。；卡维塔·拉维；法比奥·萨蒙齐 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名205位作者引用 5 王超 4 Aceto，卢卡 4 伊恩·卡萨尔 4 阿德里安·弗兰卡兰扎 三 罗德里克·布洛姆 三 Anna Ingólfsdóttir 三 塞巴斯蒂安·荣格斯 2 艾尔维拉·阿尔伯特 2 博什纳奇·德拉甘 2 科宁，诺琳 2 伊利耶斯·法尔科内 2 安斯加·芬克 2 伯恩德·芬克贝纳 2 阿尔蒂·古普塔 2 克里斯托弗·哈恩 2 尼尔斯·詹森 2 贝蒂娜·柯尼霍费尔 2 马杜里，卡梅什 2 帕里托什·K·潘迪亚。 2 Doron A.Peled。 2 斯里尼瓦斯·皮尼塞蒂 2 罗德里格斯，塞萨尔·马林 2 阿尔伯特·鲁比奥 2 桑吉特·阿伦库马尔·塞希亚 2 沙尔马，苏博德·K·。 2 克里希南·苏布拉马尼 2 斯塔夫罗斯，特里帕基斯 2 莫西·亚亚科夫·瓦尔迪 2 阿莫尔·瓦坎卡尔 2 格奥尔格·魏森巴赫 2 安东·威伊斯（Anton J.Wijs）。 1 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 1 巴沙尔·拉维 1 侯赛因·阿贾扎尔 1 穆罕默德·阿尔谢赫 1 加尔阿姆拉姆 1 克什蒂吉班萨尔 1 苏古曼·班萨尔 1 克拉克·W·巴雷特。 1 塔马斯·巴塔 1 吉尔·巴特 1 啤酒，伊兰 1 肖姆·本·达维德 1 阿明·比尔 1 布洛特，亚瑟 1 雷米·波顿 1 马可·卡卡莫 1 曹宏鹏 1 埃泽奎尔·卡斯特拉诺 1 阿尔贝托·卡斯泰里尼 1 查克拉波蒂，苏普拉特克 1 Manuel M.T.查克拉瓦蒂。 1 托马斯·查泰恩 1 哈娜·乔克勒 1 亚历山德罗·西马蒂 1 克拉克（Edmund Melson jun Clarke）。 1 卡米尔·科蒂 1 雷蒙·达赫塞特 1 达尼尔·达瓦斯 1 德波尔（Frank S。 1 希切姆·黛比 1 弗洛里斯·登·亨斯特 1 罗尔夫·德雷克斯勒 1 乔里·杜布罗文 1 弗朗索瓦州杜普斯托尔 1 斯特凡·爱德坎普 1 亚历山德罗·法利内利 1 塞巴斯蒂安·浮士德 1 文森特·弗朗索瓦·勒维特 1 哈达尔·弗兰克尔 1 油炸，Dror 1 马来K·加奈。 1 巴巴拉·吉格尔 1 Gómez Zamaloa，米格尔 1 巴勃罗·戈迪略 1 本杰明·格雷戈里 1 安德烈亚斯·格雷斯迈耶 1 拉杜格罗苏 1 顾，明 1 Bhargav S.古拉瓦尼。 1 亨宁·Günther 1 加里·哈赫特尔（Gary D.Hachtel）。 1 尼古拉斯·哈尔巴赫斯 1 西尔万·霍尔 1 一郎·哈索 1 克劳斯·哈维隆德 1 何开多 1 凯乔·赫尔扬科 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 亚历杭德罗·埃尔南德斯·塞雷佐 1 贾娜·霍夫曼 1 马克·胡根登 1 汤姆·霍拉克 1 黄晓婉 1 汉弗莱，劳拉·R。 1 拉尔夫·休克 1 Anna Ingófsdóttir，安娜 1 米盖尔·伊莎贝尔 1 蒂埃里·杰伦 1 埃纳尔·布罗赫·约翰森 …还有105位作者 全部的 前5名17篇连载文章中引用 12 系统设计中的形式化方法 三 计算的形式方面 2 计算 1 信息学报 1 人工智能 1 信息处理信件 1 应用数学与计算 1 SIAM计算机杂志 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 自动推理杂志 1 机器学习 1 浙江大学学报。科学A 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 程序设计中的逻辑与代数方法杂志 全部的 前5名在7个字段中引用 62 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 2 系统论；控制（93至XX） 按年份列出的引文