编辑配置文件(在新选项卡中打开) 高思春 合著者距离 作者ID: 高士根 发布日期: 高思春 外部链接: MGP公司 已编制索引的文档: 13出版物自2007年以来,包括1个附加arXiv预打印 合著者: 20位合著者具有11联合出版物 483位合作作者 全部的 前5名合著者 0 单作者的 6 克拉克(Edmund Melson jun Clarke)。 4 孔顺浩 2 杰里米·阿维加德 2 阿曼多·索拉勒扎马 1 尼科斯·阿雷奇加 1 Bae,Kyungmin先生 1 科茨,C.M。 1 杰塞克·西兰卡 1 Jyotirmoy V.德斯穆赫。 1 J.F.古德温。 1 拉杜·格罗苏 1 奥尔纳·格伦伯格 1 伊斯兰,马里兰州Ariful 1 詹姆斯·卡宾斯基 1 Kassa,恩德肖 1 威廉·克利伯 1 W.Andrew McMullan 1 Peter Csaba,Olveczky 1 安德烈·普拉泽 1 尼玛·鲁希 1 萨米尔·萨普拉 1 斯科特·斯莫尔卡。 1 达米安·祖弗里 1 保罗·祖利亚尼 系列 1 国际流体数值方法杂志 1 系统设计中的形式化方法 1 新物理学杂志 全部的 前5名领域 6 计算机科学(68至XX) 5 数理逻辑与基础(03-XX) 2 系统论;控制(93至XX) 1 历史和传记(01-XX) 1 场论与多项式(12-XX) 1 交换代数(13-XX) 1 流体力学(76-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用100中的次83文件 引用人▼ 年份▼ dReal:一个SMT解算器,用于实域上的非线性理论。 Zbl 1381.68268号 高思春;孔顺浩;埃德蒙·克拉克(Edmund M.Clarke)。 43 2013 \(delta)-完成reals上可满足性的决策过程。 Zbl 1358.03028号 高思春;杰里米·阿维加德;埃德蒙·克拉克(Edmund M.Clarke)。 22 2012 具有游戏状态学习功能的非Renex、非子句QBF解算器。 Zbl 1306.68161号 威廉·克利伯;萨米尔·萨普拉;高思春;埃德蒙·克拉克 19 2010 \(delta)-实域上的可判定性。 Zbl 1364.03065号 高思春;杰里米·阿维加德;埃德蒙·克拉克(Edmund M.Clarke)。 7 2012 使用大涡模拟对二维和三维空间发展混合层的流入条件进行比较研究。 Zbl 1388.76100号 西澳州麦克马伦。;高,S。;科茨,C.M。 5 2007 实域上非线性理论中的插值函数。 Zbl 1420.68187号 高思春;达米安·祖弗里 三 2016 基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号 Bae,Kyungmin先生;彼得·塞巴·奥维茨基;孔顺浩;高思春;埃德蒙·克拉克(Edmund M.Clarke)。 三 2016 存在的Delta决策程序——针对领域中的所有问题。 Zbl 1511.68252号 孔顺浩;阿曼多·索拉勒扎马;高思春 2 2018 使用Gröbner基消除有限域上的量词。 Zbl 1339.68321号 高思春;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 1 2011 存在的Delta决策程序——针对领域中的所有问题。 Zbl 1511.68252号 孔顺浩;阿曼多·索拉勒扎马;高思春 2 2018 实域上非线性理论中的插值函数。 Zbl 1420.68187号 高思春;达米安·祖弗里 三 2016 基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号 Bae,Kyungmin先生;彼得·塞巴·奥维茨基;孔顺浩;高思春;埃德蒙·克拉克(Edmund M.Clarke)。 三 2016 dReal:用于实数上非线性理论的SMT求解器。 Zbl 1381.68268号 高思春;孔顺浩;埃德蒙·克拉克(Edmund M.Clarke)。 43 2013 \(delta)-完成reals上可满足性的决策过程。 Zbl 1358.03028号 高思春;杰里米·阿维加德;埃德蒙·克拉克(Edmund M.Clarke)。 22 2012 \(delta)-实域上的可判定性。 Zbl 1364.03065号 高思春;杰里米·阿维加德;埃德蒙·克拉克(Edmund M.Clarke)。 7 2012 使用Gröbner基消除有限域上的量词。 Zbl 1339.68321号 高思春;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 1 2011 具有游戏状态学习功能的非Renex、非子句QBF解算器。 Zbl 1306.68161号 威廉·克利伯;萨米尔·萨普拉;高思春;埃德蒙·克拉克 19 2010 使用大涡模拟对二维和三维空间发展混合层的流入条件进行比较研究。 Zbl 1388.76100号 西澳州麦克马伦。;高,S。;科茨,C.M。 5 2007 所有引用的出版物 前5名被引用出版物 全部的 前5名183位作者引用 6 亚历山德罗·阿巴特 6 安德烈·普拉泽 4 Manuel jun,马祖。 4 斯特凡·米奇 4 马蒂娜·塞德尔 三 丹尼尔·艾哈迈德 三 亚历山德罗·西马蒂 三 阿尔贝托·格里乔 三 米科拉什·亚诺塔 三 弗洛里安·朗辛 三 米纳·马哈扬 三 安德烈亚·佩鲁福 三 罗伯托·塞巴斯蒂亚尼 三 Leander Tentrup公司 三 詹乃军 2 克拉克·W·巴雷特。 2 奥拉夫·拜尔斯多夫 2 乔舒亚·布林霍恩 2 Franz Brauße 2 达里奥·卡塔鲁扎 2 陈明帅 2 凯瑟琳·科德威尔 2 加布里埃尔·德·阿尔伯克基·格莱泽 2 吉安尼斯·德尔姆帕尔塔基斯 2 Jyotirmoy V.德斯穆赫。 2 埃格利,乌韦 2 拉杜·格罗苏 2 艾哈迈德·伊尔凡 2 伊斯兰,马里兰州Ariful 2 Khanh,To Van先生 2 威廉·克利伯 2 康斯坦丁·科洛文 2 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 2 基里恩·克莱默 2 丹尼尔·科宁 2 Lee,Joohyng先生 2 Joáo P.塞尔瓦侯爵。 2 Müller,Norbert Th。 2 小川,水井裕人 2 布兰登·保尔森 2 汤姆·佩特尔 2 斯特凡·拉特肖恩 2 马可·罗维里 2 桑卡拉纳拉亚南,斯里拉姆 2 彼得·施拉梅尔 2 弗里德里希·斯利沃夫斯基 2 斯科特·斯莫尔卡。 2 萨代赫·苏贾尼 2 斯泽德,斯特凡 2 Tan,Yong Kiam先生 2 塞萨尔·蒂内利 2 董武轩 2 范盖尔德,艾伦 2 王超 2 夏碧灿 2 马吉德·扎马尼 1 罗莎·阿巴斯 1 艾丽卡·阿尔布拉汉姆 1 沃尔夫冈·阿伦特 1 马蒂亚斯·阿尔霍夫 1 安、杰 1 尼科斯·阿雷奇加 1 杰里米·阿维加德 1 Bae,Kyungmin先生 1 马塞洛·巴尔杜奇尼 1 迈克尔·巴塞洛缪 1 费边·鲍尔·马尔夸特 1 安德烈亚·贝卡 1 纪尧姆·O·伯杰。 1 菲利波·比加雷拉 1 罗德里克·布洛姆 1 奥利维尔·布瓦索 1 尼古拉斯·布劳德·桑托尼 1 玛格丽特·查普曼。 1 亚历山大·查普托 1 陈日增 1 陈欣 1 克拉克(Edmund Melson jun Clarke)。 1 牧场克利夫兰 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 弗雷德里克·达尔奎斯特 1 戴丽云 1 伊娃·达鲁洛娃 1 阿德尔·贾巴拉 1 布鲁诺·杜特雷 1 亚伦·M·达特(Aaron M.Dutle)。 1 亚历克·爱德华兹 1 弗拉维奥·芬顿。 1 费雷特,杰罗姆 1 丹尼尔·拉特·菲格雷多 1 彼得·弗兰克 1 詹姆斯·加里奇奥 1 甘婷 1 米尔科·贾科布 1 亚历山大·戈德斯特恩 1 维达德·哈季奇 1 伊曼纽尔·海因里 1 一郎·哈索 1 赫金·哈布什,杰斯科 1 徐子建 …还有83位作者 全部的 前5名13篇连载文章中引用 7 自动推理杂志 5 人工智能 5 Automatica公司 5 系统设计中的形式化方法 三 理论计算机科学 2 逻辑程序设计理论与实践 2 可满足性、布尔建模与计算杂志 2 非线性分析。混合动力系统 1 符号计算杂志 1 信息与计算 1 控制科学档案 1 约束条件 1 动力系统的数学和计算机建模 全部的 前5名16个领域引用 68 计算机科学(68至XX) 18 系统论;控制(93至XX) 16 数理逻辑与基础(03-XX) 9 运筹学、数学规划(90-XX) 5 数值分析(65-XX) 5 生物学和其他自然科学(92-XX) 2 常微分方程(34-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实际功能(26年X月X日) 1 代数拓扑(55-XX) 1 粒子和系统力学(70-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文