编辑配置文件（在新选项卡中打开） 秦胜超 合著者距离 作者ID： 秦圣超 发布日期： 秦胜超 已编制索引的文档： 26出版物自1993年起 2作为编辑的贡献 合著者： 42位合著者具有26联合出版物 1483合著作者 全部的 前5名合著者 1 单作者的 10 魏恩根·钦 8 何继峰 5 朱慧彪 4 何冠华 4 阮秀海 三 弗罗林·克雷西恩 三 克里斯蒂娜·大卫 三 罗晨光 三 孙骏 2 Le，Quang Loc公司 2 邱宗燕 2 杰夫·桑德斯。 2 张乃晓 2 赵永新 1 乔纳森·鲍文（Jonathan P.Bowen）。 1 菲利普·布鲁克。 1 陈欣 1 安德烈亚·科斯蒂亚 1 董金松 1 顾斌 1 黄燕红 1 何继峰 1 李晓山 1 刘鹏 1 刘，杨 1 刘志明 1 明，钟 1 Pham、Long H。 1 Phan，Quoc Sang先生 1 浦、葛光 1 马丁·里纳德（Martin C.Rinard）。 1 阿德南·谢里夫 1 史建奇 1 史玲 1 越南Tran 1 王，郑 1 詹姆斯·C·P·伍德科克。 1 徐志武 1 杨，范 1 杨红丽 1 杨孟飞 1 张文辉 全部的 前5名系列 2 符号计算杂志 2 计算的形式方面 2 计算机科学课堂讲稿 1 澳大利亚数学学会杂志，B辑 1 计算机程序设计科学 1 计算机科学与技术杂志 1 逻辑与代数程序设计杂志 1 软件杂志 1 科学中国。信息科学 全部的 前5名领域 27 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用101中的次74文件 引用人▼ 年份▼ 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦；克里斯蒂娜·大卫；阮秀海；秦胜超 29 2012 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮秀海；克里斯蒂娜·大卫；秦胜超；魏恩根·钦 17 2007 使用分离逻辑增强模块化OO验证。 兹比尔1295.68082 魏恩根·钦；克里斯蒂娜·大卫；阮秀海；秦胜超 11 2008 概率定时共享变量语言的操作语义和代数语义的链接。 Zbl 1243.68208号 朱慧彪；杨，范；何继峰；乔纳森·鲍文（Jonathan P.Bowen）。；杰夫·桑德斯。；秦胜超 9 2012 OO程序的内存使用验证。 Zbl 1141.68364号 魏恩根·钦；阮秀海；秦胜超；马丁·里纳德 5 2005 二维反应扩散方程的数值研究。 兹比尔0807.65103 唐，S。；秦，S。；R.O.韦伯。 5 1993 事件驱动系统级语言的指称语义及其代数推导。 Zbl 1347.68039号 朱，H。；何继峰；秦胜超；菲利普·布鲁克 5 2015 一种UTP语义，用于与共享变量通信进程及其在PVS中的形式编码。 兹比尔1398.68373 史玲；赵永新；刘，杨；孙骏；董金松；秦胜超 4 2018 多重继承的分离逻辑。 Zbl 1286.68320号 罗晨光；秦胜超 4 2008 分离逻辑中归纳蕴涵证明的框架推理。 Zbl 1423.68104号 Le，Quang Loc公司；孙骏；秦胜超 三 2018 组合抽象域中的循环不变综合。 Zbl 1256.68044号 秦胜超；何冠华；罗晨光；魏恩根·钦；陈欣 三 2013 一种代数硬件/软件划分算法。 Zbl 1005.68182号 秦胜超；何继峰；邱宗燕；张乃晓 2 2002 统一编程理论。第三届国际研讨会，2010年UTP，中国上海，2010年11月15-16日。诉讼程序。 Zbl 1200.68018号 2 2010 Verilog中的硬件/软件分区。 兹比尔1015.68687 秦胜超；何继峰；邱宗燕；张乃晓 1 2002 验证具有未知调用的程序的指针安全性。 Zbl 1208.68149号 罗晨光；弗罗林·克雷西恩；秦胜超；何冠华；魏恩根·钦 1 2010 面向对象设计的关系模型。 Zbl 1116.68373号 何继峰；刘志明；李晓山；秦胜超 1 2004 使用Maude为Verilog连接操作语义和代数语义的机械方法。 Zbl 1452.68123号 朱慧彪；刘鹏；何继峰；秦胜超 1 2013 概率定时共享变量语言的表示语义。 Zbl 1452.68062号 朱慧彪；杰夫·桑德斯。；何继峰；秦胜超 1 2013 使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 Zbl 1437.68044号 Pham、Long H。；Le，Quang Loc公司；Phan，Quoc Sang先生；孙骏；秦胜超 1 2019 轻松通信协议的自动模块化验证。 Zbl 1519.68131号 安德烈亚·科斯蒂亚；魏恩根·钦；秦胜超；弗罗林·克雷西恩 1 2018 使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 Zbl 1437.68044号 Pham、Long H。；Le，Quang Loc公司；Phan，Quoc Sang先生；孙骏；秦胜超 1 2019 一种UTP语义，用于与共享变量通信进程及其在PVS中的形式编码。 兹比尔1398.68373 史玲；赵永新；刘，杨；孙骏；董金松；秦胜超 4 2018 分离逻辑中归纳蕴涵证明的框架推理。 Zbl 1423.68104号 Le，Quang Loc公司；孙骏；秦胜超 三 2018 轻松通信协议的自动模块化验证。 Zbl 1519.68131号 安德烈亚·科斯蒂亚；魏恩根·钦；秦胜超；弗罗林·克雷西恩 1 2018 事件驱动系统级语言的指称语义及其代数推导。 Zbl 1347.68039号 朱，H。；何继峰；秦胜超；菲利普·布鲁克 5 2015 组合抽象域中的循环不变综合。 Zbl 1256.68044号 秦胜超；何冠华；罗晨光；魏恩根·钦；陈欣 三 2013 使用Maude为Verilog连接操作语义和代数语义的机械方法。 Zbl 1452.68123号 朱慧彪；刘鹏；何继峰；秦胜超 1 2013 概率定时共享变量语言的表示语义。 Zbl 1452.68062号 朱慧彪；杰夫·桑德斯。；何继峰；秦胜超 1 2013 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦；克里斯蒂娜·大卫；阮秀海；秦胜超 29 2012 概率定时共享变量语言的操作语义和代数语义的链接。 Zbl 1243.68208号 朱慧彪；杨，范；何继峰；乔纳森·鲍文（Jonathan P.Bowen）。；杰夫·桑德斯。；秦胜超 9 2012 统一编程理论。第三届国际研讨会，2010年UTP，中国上海，2010年11月15-16日。诉讼程序。 Zbl 1200.68018号 2 2010 验证具有未知调用的程序的指针安全性。 Zbl 1208.68149号 罗晨光；弗罗林·克雷西恩；秦胜超；何冠华；魏恩根·钦 1 2010 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦；克里斯蒂娜·大卫；阮秀海；秦胜超 11 2008 多重继承的分离逻辑。 Zbl 1286.68320号 罗晨光；秦胜超 4 2008 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮秀海；克里斯蒂娜·大卫；秦胜超；魏恩根·钦 17 2007 OO程序的内存使用验证。 Zbl 1141.68364号 魏恩根·钦；阮秀海；秦胜超；马丁·里纳德 5 2005 面向对象设计的关系模型。 兹比尔1116.68373 何继峰；刘志明；李晓山；秦胜超 1 2004 一种代数硬件/软件划分算法。 Zbl 1005.68182号 秦胜超；何继峰；邱宗燕；张乃晓 2 2002 Verilog中的硬件/软件分区。 Zbl 1015.68687号 秦胜超；何继峰；邱宗燕；张乃晓 1 2002 二维反应扩散方程的数值研究。 兹比尔0807.65103 唐，S。；秦，S。；R.O.韦伯。 5 1993 所有引用出版物 前5名被引用出版物 全部的 前5名152位作者引用 9 汤姆·沃纳 8 魏恩根·钦 8 秦胜超 7 卢卡什，霍利克 7 Ondřej Lengál 7 朱慧彪 4 约翰·多夫兰 4 何继峰 4 埃纳尔·布罗赫·约翰森 4 Le，Quang Loc公司 三 克里斯托夫·马提亚 三 Owe、Olaf 三 马丁·斯特芬 三 Makoto Tatsuta 三 谢万玲 2 马哈穆杜尔·费萨尔·阿梅恩 2 乔纳森·鲍文（Jonathan P.Bowen）。 2 纳撒尼尔查尔顿 2 陈、陶璐 2 汤姆·菲多尔 2 彼得·哈贝梅尔 2 沃伊特·哈夫勒纳 2 何冠华 2 本·霍斯福尔 2 达格·霍夫兰 2 克莱门·赫林 2 维克多·昆卡 2 罗晨光 2 诺尔，托马斯 2 鲁齐卡皮斯卡 2 罗伊斯，伯恩哈德 2 亚当·罗加列维奇 2 伊利亚·谢尔盖 2 孙骏 2 Ta、Quang-Trung 2 吴志林 2 香，双清 2 徐启文 2 赵永新 2 弗洛里安·祖勒格 1 帕罗什·阿齐兹·阿卜杜拉 1 Nazareno M.阿吉雷。 1 安德鲁·W·阿佩尔。 1 马塞洛·阿罗约 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 C.A.R.Tony Hoare 1 马丁·霍夫曼 1 马丁·赫鲁斯卡 1 洪丹凡 1 雨果·伊利诺斯 1 拉杜·奥西夫 1 沙迦·伊扎基 1 朱利亚诺·伊奥达 1 彼得·扬克 1 克里斯蒂娜·詹森 1 马文·詹森 1 金，赵 1 本特·琼森 1 乔纳斯·卡斯伯格·辛里奇森 1 Jens Katelaan公司 1 Joost-Pieter卡托恩 1 弗洛里安·科勒 1 邱小成 1 罗伯特·克雷伯斯 1 Le，Ton Chanh先生 1 Le，Xuan-Bach D。 1 马蒂厄·莱梅尔 1 刘伟祥 …还有52位作者 全部的 前5名14篇连载文章中引用 6 计算的形式方面 5 理论计算机科学 4 信息学报 4 自动推理杂志 三 系统设计中的形式化方法 2 计算机程序设计科学 2 信息与计算 1 Studia Logica公司 1 符号计算杂志 1 计算机科学与技术杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 70 计算机科学（68至XX） 30 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 数论（11-XX） 按年份列出的引文