编辑配置文件（在新选项卡中打开） 魏恩根·钦 合著者距离 作者ID: 秦伟根 发布日期： 魏恩根·钦;Chin、Wei Ngan;Chin，W.N。 更多。。。较少的 编入索引的文档： 44出版物自1995年起 2作为编辑的贡献 合著者： 44位合著者具有45联合出版物 556位合作作者 全部的 前5名合著者 1 单作者的 10 秦胜超 8 邱小成 6 安德烈·特凡 6 阮虎海 4 克里斯蒂娜·大卫 4 何冠华 4 Ta、Quang-Trung 三 弗罗林·克雷西恩 三 胡镇江 三 Le，Quang Loc公司 三 Makoto Tatsuta 2 马哈穆杜尔·费萨尔·阿梅恩 2 萨尔瓦多·瓦莱里奥·卡瓦迪尼 2 安德烈亚·科斯蒂亚 2 格里戈拉什 2 Masami Hagiya 2 Le，Ton Chanh先生 2 罗晨光 2 阮，Thanh-Toan 2 宋亚辉 2 孙骏 2 Masato武一 2 Teo，Yong Meng先生 1 瓦西里·阿拉伊巴 1 萨斯瓦特·阿南德 1 艾哈迈德·博阿贾尼 1 陈欣 1 大流士福 1 尼尔·D·琼斯。 1 维克多·昆卡 1 勒·杜·坎赫 1 本笃·李 1 克里斯蒂安·马萨拉古 1 科尼利亚·亚历山大·波皮亚 1 阿迪Prabawa 1 广乐路 1 马丁·里纳德（Martin C.Rinard）。 1 伊利亚·谢尔盖 1 阿桑卡亚·夏尔马 1 越南Tran 1 Minh-Thai Trinh 1 王胜毅 1 Xu，Dana N。 1 杨红丽 全部的 前5名系列 三 符号计算杂志 2 信息学报 2 计算机程序设计科学 2 计算的形式方面 2 Anale tiințifice ale University \539'ii Al.I.Cuza din IașI。努瓦里。信息化 2 函数与逻辑程序设计杂志 2 计算机科学课堂讲稿 1 理论计算机科学 1 信息与计算 1 高阶和符号计算 1 计算机基础理论 全部的 前5名领域 45 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 2 总体主题；集合（00-XX） 1 复变量的函数（30年XX月） 1 差分和函数方程（39至XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物被引用130中的次90文件 引用人▼ 年份▼ 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 29 2012 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮虎海;克里斯蒂娜·大卫;秦胜超;魏恩根·钦 17 2007 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 11 2008 正在计算大小类型。 Zbl 0994.68015号 魏恩根·钦;邱小成 8 2001 使用引理增强程序验证。 Zbl 1155.68443号 阮虎海;魏恩根·钦 7 2008 带有归纳谓词和算术的分离逻辑中的可判定片段。 Zbl 1497.03048号 广乐路;Makoto Tatsuta;孙骏;魏恩根·钦 7 2017 基于堆的程序的可满足性模。 Zbl 1411.68028号 Le，Quang Loc公司;孙骏;魏恩根·钦 5 2016 OO程序的内存使用验证。 Zbl 1141.68364号 秦伟彦;阮虎海;秦胜超;马丁·里纳德 5 2005 分离逻辑中的自动互显归纳证明。 Zbl 1427.68350号 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 5 2016 分离逻辑中的自动互感证明。 兹比尔1425.68382 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 4 2019 带有归纳定义和Presburger算法的分离逻辑的决策过程。 兹比尔1485.03078 Makoto Tatsuta;Le，Quang Loc公司;魏恩根·钦 三 2016 一种新的正则化单字母上下文无关文法的算法。 Zbl 1059.68052号 安德烈·特凡;萨尔瓦多·瓦莱里奥·卡瓦迪尼;魏恩根·钦 三 2003 组合抽象域中的循环不变综合。 Zbl 1256.68044号 秦胜超;何冠华;罗晨光;魏恩根·钦;陈欣 三 2013 双重分析，用于证明安全性和发现漏洞。 Zbl 1264.68065号 科内留·波皮亚;魏恩根·钦 2 2013 自嵌入上下文无关文法和常规对应文法。 Zbl 1072.68050号 斯特凡·安德烈;魏恩根·钦;萨尔瓦多·瓦莱里奥·卡瓦迪尼 2 2004 通过元组消除冗余调用。 Zbl 1096.68025号 魏恩根·钦;邱小成;尼尔·琼斯 2 2006 运行时检查分离逻辑。 Zbl 1138.68456号 阮虎海;维克多·昆卡;魏恩根·钦 2 2008 绘制价格历史模式。 Zbl 1323.91031号 萨斯瓦特·阿南德;魏恩根·钦;邱小成 2 2001 具有纯属性的双向约简，用于规范推理。 Zbl 1426.68067号 Minh-Thai Trinh;Le，Quang Loc公司;克里斯蒂娜·大卫;魏恩根·钦 2 2013 使用形式验证和表达式模板自动修复程序。 Zbl 1522.68159号 阮，Thanh-Toan;Ta、Quang-Trung;秦伟彦 2 2019 通过不变量导出并行代码。 Zbl 0966.68505号 魏恩根·钦;邱小成;胡镇江;Masato Takeichi 1 2000 分离逻辑指针程序验证的完整性和表达性。 Zbl 1422.68038号 Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 1 2019 派生数组绑定检查消除的前置条件。 Zbl 0984.68501号 秦伟彦;邱小成;Xu，Dana N。 1 2001 验证具有未知调用的程序的指针安全性。 Zbl 1208.68149号 罗晨光;弗罗林·克雷西恩;秦胜超;何冠华;魏恩根·钦 1 2010 更好的程序专业化消费者。 Zbl 0924.68040号 魏恩根·钦;邱小成 1 1996 编程语言和系统。第二届亚洲研讨会，2004年APLAS，台湾台北，2004年11月4-6日。诉讼程序。 Zbl 1063.68002号 1 2004 使用演绎合成自动修复堆操作程序。 Zbl 1472.68040号 阮，Thanh-Toan;Ta、Quang-Trung;伊利亚·谢尔盖;魏恩根·钦 1 2021 纯酯醇时间验证的同步效应逻辑。 Zbl 1472.68020号 宋亚辉;魏恩根·钦 1 2021 轻松通信协议的自动模块化验证。 Zbl 1519.68131号 安德烈亚·科斯蒂亚;魏恩根·钦;秦胜超;弗罗林·克雷西恩 1 2018 使用演绎合成自动修复堆操作程序。 Zbl 1472.68040号 阮，Thanh-Toan;Ta、Quang-Trung;伊利亚·谢尔盖;魏恩根·钦 1 2021 纯酯醇时间验证的同步效应逻辑。 Zbl 1472.68020号 宋亚辉;秦伟彦 1 2021 分离逻辑中的自动互感证明。 兹比尔1425.68382 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 4 2019 使用形式验证和表达式模板自动修复程序。 Zbl 1522.68159号 阮，Thanh-Toan;Ta、Quang-Trung;秦伟彦 2 2019 通过分离逻辑验证指针程序的完整性和表达性。 Zbl 1422.68038号 Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 1 2019 轻松通信协议的自动模块化验证。 兹比尔1519.68131 安德烈亚·科斯蒂亚;魏恩根·钦;秦胜超;弗罗林·克雷西恩 1 2018 带有归纳谓词和算术的分离逻辑中的可判定片段。 Zbl 1497.03048号 广乐路;Makoto Tatsuta;孙骏;魏恩根·钦 7 2017 基于堆的程序的可满足性模。 Zbl 1411.68028号 Le，Quang Loc公司;孙骏;魏恩根·钦 5 2016 分离逻辑中的自动互显归纳证明。 Zbl 1427.68350号 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 5 2016 带有归纳定义和Presburger算法的分离逻辑的决策过程。 Zbl 1485.03078号 Makoto Tatsuta;Le，Quang Loc公司;魏恩根·钦 三 2016 组合抽象域中的循环不变综合。 Zbl 1256.68044号 秦胜超;何冠华;罗晨光;魏恩根·钦;陈欣 三 2013 双重分析，用于证明安全性和发现漏洞。 Zbl 1264.68065号 科内留·波皮亚;魏恩根·钦 2 2013 具有纯属性的双向约简，用于规范推理。 Zbl 1426.68067号 Minh-Thai Trinh;Le，Quang Loc公司;克里斯蒂娜·大卫;魏恩根·钦 2 2013 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 29 2012 验证具有未知调用的程序的指针安全性。 Zbl 1208.68149号 罗晨光;弗罗林·克雷西恩;秦胜超;何冠华;秦伟彦 1 2010 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 11 2008 使用引理增强程序验证。 Zbl 1155.68443号 阮虎海;魏恩根·钦 7 2008 运行时检查分离逻辑。 兹比尔1138.68456 阮虎海;维克多·昆卡;魏恩根·钦 2 2008 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮虎海;克里斯蒂娜·大卫;秦胜超;魏恩根·钦 17 2007 通过元组消除冗余调用。 Zbl 1096.68025号 秦伟彦;邱小成;尼尔·琼斯 2 2006 OO程序的内存使用验证。 Zbl 1141.68364号 魏恩根·钦;阮虎海;秦胜超;马丁·里纳德 5 2005 自嵌入上下文无关文法和常规对应文法。 Zbl 1072.68050号 斯特凡·安德烈;魏恩根·钦;萨尔瓦多·瓦莱里奥·卡瓦迪尼 2 2004 编程语言和系统。第二届亚洲研讨会，2004年APLAS，台湾台北，2004年11月4-6日。诉讼程序。 Zbl 1063.68002号 1 2004 一种新的正则化单字母上下文无关文法的算法。 Zbl 1059.68052号 安德烈·特凡;萨尔瓦多·瓦莱里奥·卡瓦迪尼;魏恩根·钦 三 2003 正在计算大小类型。 Zbl 0994.68015号 魏恩根·钦;邱小成 8 2001 绘制价格历史模式。 Zbl 1323.91031号 萨斯瓦特·阿南德;魏恩根·钦;邱小成 2 2001 派生数组绑定检查消除的前置条件。 Zbl 0984.68501号 魏恩根·钦;邱小成;Xu，Dana N。 1 2001 通过不变量导出并行代码。 Zbl 0966.68505号 魏恩根·钦;邱小成;胡镇江;Masato武一 1 2000 更好的程序专业化消费者。 Zbl 0924.68040号 魏恩根·钦;邱小成 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名188位作者引用 9 魏恩根·钦 9 托马斯·沃伊纳尔 7 卢卡什·霍利克 7 Ondřej Lengál 5 秦胜超 4 Le，Quang Loc公司 三 弗雷德里克·布兰基 三 约翰·多夫兰 三 拉杜·奥西夫 三 埃纳尔·布罗赫·约翰森 三 维克多·昆卡 三 克里斯托夫·马提亚 三 Owe、Olaf 三 马丁·斯特芬 三 Makoto Tatsuta 三 弗洛里安·祖勒格 2 马哈穆杜尔·费萨尔·阿梅恩 2 吉尔·巴特 2 曹永志 2 纳撒尼尔·查尔顿 2 陈、陶璐 2 托马斯·费多尔 2 本杰明·格雷戈里 2 彼得·哈伯梅尔 2 沃伊特·哈夫勒纳 2 何冠华 2 本·霍斯福尔 2 达格·霍夫兰 2 克莱门·赫林 2 金，赵 2 罗晨光 2 帕塔萨拉西马杜苏丹 2 恩里克·马丁·马汀 2 诺尔，托马斯 2 詹斯·佩格尔 2 鲁齐卡皮斯卡 2 罗伊斯，伯恩哈德 2 科林·里巴 2 亚当·罗加列维奇 2 伊利亚·谢尔盖 2 彼得·索西克 2 Ta、Quang-Trung 2 王汉平 2 吴志林 2 张博文 1 帕罗什·阿齐兹·阿卜杜拉 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 Nazareno M.阿吉雷。 1 艾尔维拉·阿尔伯特 1 安德鲁·W·阿佩尔。 1 马塞洛·阿罗约 1 克什蒂吉·班萨尔 1 凯文·巴茨 1 杰斯珀·本特森 1 Lennart贝林格 1 马克·贝泽姆 1 尼古拉·S·比约纳。 1 雷米·布罗赫宁 1 詹姆斯兄弟斯顿 1 拉斐尔·卡巴列罗（Rafael E.Caballero）。 1 克里斯蒂亚诺·加尔卡尼奥 1 曹勤祥 1 曹天岳 1 Luděk市Cienciala 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 稻田，Kazuhiro 1 沙迦·伊扎基 …还有88位作者 全部的 前5名22篇连载文章中引用 4 信息学报 4 理论计算机科学 4 自动推理杂志 4 系统设计中的形式化方法 2 计算机程序设计科学 2 信息与计算 2 计算的形式方面 2 国际计算机科学基础杂志 2 函数编程杂志 2 逻辑程序设计理论与实践 1 计算机与数学及其应用 1 信息处理信件 1 Studia Logica公司 1 符号计算杂志 1 新一代计算 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 86 计算机科学（68至XX） 44 数理逻辑与基础（03-XX） 1 数论（11-XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文