编辑配置文件（在新选项卡中打开） 阮秀海 合著者距离 作者ID： nguyen.huu-hai先生 发布日期： 阮秀海 已编制索引的文档： 17出版物自1977年起 合著者： 5位合著者具有8联合出版物 148位合作作者 全部的 前5名合著者 1 单作者的 6 魏恩根·钦 4 秦胜超 三 克里斯蒂娜·大卫 三 维克多·昆卡 三 雷宁，J。 三 马丁·里纳德（Martin C.Rinard）。 2 Z.安达利比。 2 Salt，J.埃里克 1 J·阿尔维。 1 弗兰克·卡里迪 1 奥斯蒂古伊，G.L。 全部的 前5名系列 2 IET通信 1 应用力学与工程中的计算机方法 1 Godishnik na Vishite Uchebni Zavedeniya。Tekhnicheska Mekhanika公司 1 乌克兰数学杂志 1 计算机程序设计科学 1 自动推理杂志 全部的 前5名领域 8 计算机科学（68至XX） 4 流体力学（76-XX） 三 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 变分法与最优控制；最优化（49-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用101次77文件 引用人▼ 年份▼ 对流扩散方程的时空最小二乘有限元格式。 Zbl 0517.76089号 Nguyen，H。;雷恩，J。 37 1984 Burgers方程的时空有限元方法。 Zbl 0574.76053号 Nguyen，H。;雷恩，J。 35 1984 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 29 2012 用Presburger算法判定布尔代数。 Zbl 1112.03011号 维克多·昆卡;阮秀海;马丁·里纳德 19 2006 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮秀海;克里斯蒂娜·大卫;秦胜超;魏恩根·钦 17 2007 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦;大卫，克里斯蒂娜;阮秀海;秦胜超 11 2008 一种判定BAPA的算法：布尔代数与普雷斯伯格算法。 Zbl 1102.03303号 维克多·昆卡;阮秀海;马丁·里纳德 11 2005 使用引理增强程序验证。 Zbl 1155.68443号 阮秀海;魏恩根·钦 7 2008 OO程序的内存使用情况验证。 Zbl 1141.68364号 魏恩根·钦;阮虎海;秦胜超;马丁·里纳德 5 2005 运行时检查分离逻辑。 Zbl 1138.68456号 阮秀海;维克多·昆卡;魏恩根·钦 2 2008 基于时空有限元的两相通道流动分析。 Zbl 0506.76106号 Nguyen，H。;雷恩，J。 1 1982 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 29 2012 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 11 2008 使用引理增强程序验证。 Zbl 1155.68443号 阮秀海;魏恩根·钦 7 2008 运行时检查分离逻辑。 Zbl 1138.68456号 阮秀海;维克多·昆卡;魏恩根·钦 2 2008 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮秀海;克里斯蒂娜·大卫;秦胜超;魏恩根·钦 17 2007 用Presburger算法判定布尔代数。 Zbl 1112.03011号 维克多·昆卡;阮虎海;马丁·里纳德 19 2006 一种判定BAPA的算法：布尔代数与普雷斯伯格算法。 Zbl 1102.03303号 维克多·昆卡;阮秀海;马丁·里纳德 11 2005 OO程序的内存使用验证。 Zbl 1141.68364号 魏恩根·钦;阮秀海;秦胜超;马丁·里纳德 5 2005 对流扩散方程的时空最小二乘有限元格式。 兹比尔0517.76089 Nguyen，H。;雷恩，J。 37 1984 Burgers方程的时空有限元方法。 Zbl 0574.76053号 Nguyen，H。;雷恩，J。 35 1984 基于时空有限元的两相通道流动分析。 Zbl 0506.76106号 Nguyen，H。;雷恩，J。 1 1982 所有引用出版物 前5名被引用出版物 全部的 前5名147位作者引用 10 维克多·昆卡 8 魏恩根·钦 8 汤姆·沃纳 6 卢卡什·霍利克 6 Ondřej Lengál 6 鲁齐卡皮斯卡 5 秦胜超 三 克什蒂吉·班萨尔 三 纳撒尼尔·查尔顿 三 约翰·多夫兰 三 西尔维奥·吉拉尔迪 三 拉杜·奥西夫 三 埃纳尔·布罗赫·约翰森 三 克里斯托夫·马提亚 三 Owe、Olaf 三 埃琳娜·帕加尼 三 安德鲁·雷诺兹 三 马丁·斯特芬 三 Makoto Tatsuta 2 马哈穆杜尔·费萨尔·阿梅恩 2 弗朗西斯科·阿尔贝蒂 2 克拉克·W·巴雷特。 2 陈、陶璐 2 汤姆·菲多尔 2 彼得·哈贝梅尔 2 沃伊特·哈夫勒纳 2 何冠华 2 本·霍斯福尔 2 达格·霍夫兰 2 克莱门·赫林 2 Le，Quang Loc公司 2 罗晨光 2 阮秀海 2 诺尔，托马斯 2 罗德里戈·拉亚 2 罗伊斯，伯恩哈德 2 马丁·里纳德（Martin C.Rinard）。 2 伊利亚·谢尔盖 2 Ta、Quang-Trung 2 塞萨尔·蒂内利 2 托马斯·维斯 2 吴志林 2 弗洛里安·祖勒格 1 帕罗什·阿齐兹·阿卜杜拉 1 Nazareno M.阿吉雷。 1 安德鲁·W·阿佩尔。 1 马塞洛·阿罗约 1 安妮迪亚·班纳吉 1 凯文·巴茨 1 伦纳特·贝林格 1 马克·贝泽姆 1 尼古拉·S·比约纳。 1 查尔斯·布伊拉盖 1 马里乌斯·博兹加 1 雷米·布罗赫宁 1 詹姆斯·布罗瑟斯顿 1 克里斯蒂亚诺·加尔卡尼奥 1 曹钦祥 1 曹天岳 1 曹永志 1 安德烈亚·科斯蒂亚 1 弗罗林·克雷西恩 1 马克西米利亚诺·克里斯蒂亚 1 丹·杜赫 1 克里斯蒂娜·大卫 1 多米尼克·德夫里塞 1 迪诺·迪斯特法诺 1 乔赛亚·多兹 1 康斯坦丁·埃纳 1 伊拉·费塞费尔特 1 普拉纳夫加尔格 1 霍尔格·加斯特 1 阿里尔·戈迪奥 1 尼科斯·戈罗甘尼斯 1 塞缪尔·格吕特 1 顾新才 1 克里斯蒂安·哈克 1 伊曼纽尔·海因里 1 马丁·霍夫曼 1 洪丹凡 1 雨果·伊利诺斯 1 沙迦·伊扎基 1 彼得·扬克 1 克里斯蒂娜·詹森 1 马文·詹森 1 金，赵 1 本特·琼森 1 Jens Katelaan公司 1 Joost-Pieter卡托恩 1 弗洛里安·科勒 1 邱小成 1 罗马人孔查科夫 1 亚历山·拉萨鲁克 1 Le，Ton Chanh先生 1 马蒂厄·莱梅尔 1 刘伟祥 1 艾蒂安·洛兹 1 帕塔萨拉西马杜苏丹 1 佐哈尔·曼纳 1 贝特朗·梅耶 …还有47位作者 全部的 前5名15篇连载文章中引用 6 自动推理杂志 4 系统设计中的形式化方法 三 信息学报 三 理论计算机科学 三 信息与计算 2 计算机程序设计科学 2 计算的形式方面 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 Studia Logica公司 1 符号计算杂志 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 在3个字段中引用 74 计算机科学（68至XX） 44 数学逻辑和基础（03-XX） 1 数论（11-XX） 按年份列出的引文