编辑配置文件（在新选项卡中打开） 邱小成 合著者距离 作者ID： 邱秀成 发布日期： 邱小成;邱小成 已编制索引的文档： 18出版物自1993年起 合著者： 18位合著者具有17联合出版物 186位合作作者 全部的 前5名合著者 0 单作者的 8 魏恩根·钦 三 陈坤 三 王蒙 三 翁淑春 2 休·安德森 2 陈忠信 2 查尔斯·康塞尔 2 胡镇江 2 Le，Ton Chanh先生 2 Ta、Quang-Trung 2 Xu，Dana N。 1 萨斯瓦特·阿南德 1 安德烈·斯特凡 1 尼尔·D·琼斯。 1 林嘉茵 1 比阿特丽斯·卢卡 1 施坤 1 Masato Takeichi 全部的 前5名系列 三 高阶和符号计算 2 计算机程序设计科学 1 计算的形式方面 1 国际鲁棒非线性控制杂志 1 函数编程杂志 1 函数与逻辑程序设计杂志 1 计算机基础理论 领域 17 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用36中的次33文件 引用人▼ 年份▼ 一些非线性随机系统的连续有限时间状态反馈镇定器。 Zbl 1328.93211号 尹，J。;Khoo，S。 52 2015 正在计算大小类型。 Zbl 0994.68015号 魏恩根·钦;邱小成 8 2001 分离逻辑中的自动互显归纳证明。 Zbl 1427.68350号 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 5 2016 分离逻辑中的自动互感应证明。 Zbl 1425.68382号 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 4 2019 基于仿射的大小更改终止。 Zbl 1254.68070号 休·安德森;邱小成 三 2003 通过输出约束专门化进行程序调整。 Zbl 1075.68012号 邱小成;施坤 2 2004 PType系统：轻量级并行化检测器。 Zbl 1116.68389号 Xu，Dana N。;邱小成;胡镇江 2 2004 绘制价格历史模式。 Zbl 1323.91031号 萨斯瓦特·阿南德;魏恩根·钦;邱小成 2 2001 面向方面的多态类型函数语言的编译模型。 Zbl 1211.68062号 陈坤;翁淑春;王蒙;邱小成;陈忠信 2 2007 通过元组消除冗余调用。 Zbl 1096.68025号 魏恩根·钦;邱小成;尼尔·琼斯 2 2006 在线和离线部分评估：语义规范和正确性证明。 Zbl 0846.68062号 查尔斯·康塞尔;邱小成 1 1995 更好的程序专业化消费者。 兹比尔0924.68040 魏恩根·钦;邱小成 1 1996 Prolog编译器的语义导向生成。 Zbl 0801.68028号 查尔斯·康塞尔;邱小成 1 1993 派生数组绑定检查消除的前置条件。 Zbl 0984.68501号 魏恩根·钦;邱小成;Xu，Dana N。 1 2001 通过不变量导出并行代码。 兹伯利0966.68505 魏恩根·钦;邱小成;胡镇江;Masato Takeichi 1 2000 计算多项式运行时属性。 Zbl 1159.68361号 休·安德森;邱小成;斯特凡·安德烈;比阿特丽斯·卢卡 1 2005 分离逻辑中的自动互感应证明。 Zbl 1425.68382号 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 4 2019 分离逻辑中的自动互显归纳证明。 Zbl 1427.68350号 Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 5 2016 一些非线性随机系统的连续有限时间状态反馈镇定器。 Zbl 1328.93211号 尹，J。;Khoo，S。 52 2015 面向方面的多态类型函数语言的编译模型。 Zbl 1211.68062号 陈坤;翁淑春;王蒙;邱小成;陈忠信 2 2007 通过元组消除冗余调用。 Zbl 1096.68025号 魏恩根·钦;邱小成;琼斯，尼尔 2 2006 正在计算多项式运行时属性。 Zbl 1159.68361号 休·安德森;邱小成;斯特凡·安德烈;比阿特丽斯·卢卡 1 2005 通过输出约束专门化进行程序调整。 Zbl 1075.68012号 邱小成;施坤 2 2004 PType系统：轻量级并行化检测器。 Zbl 1116.68389号 Xu，Dana N。;Khoo，Siau Cheng先生;胡镇江 2 2004 基于仿射的大小更改终止。 Zbl 1254.68070号 休·安德森;邱小成 三 2003 正在计算大小类型。 Zbl 0994.68015号 魏恩根·钦;邱小成 8 2001 绘制价格历史模式。 Zbl 1323.91031号 萨斯瓦特·阿南德;魏恩根·钦;邱小成 2 2001 派生数组绑定检查消除的前置条件。 Zbl 0984.68501号 魏恩根·钦;邱小成;Xu，Dana N。 1 2001 通过不变量导出并行代码。 Zbl 0966.68505号 魏恩根·钦;邱小成;胡镇江;Masato Takeichi 1 2000 更好的程序专业化消费者。 Zbl 0924.68040号 魏恩根·钦;邱小成 1 1996 在线和离线部分评估：语义规范和正确性证明。 Zbl 0846.68062号 查尔斯·康塞尔;邱小成 1 1995 Prolog编译器的语义导向生成。 兹比尔0801.68028 查尔斯·康塞尔;邱小成 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名74位作者引用 三 弗雷德里克·布兰基 三 邱小成 2 玛丽亚·阿尔普特 2 黛米斯·巴利斯 2 吉尔·巴特 2 陈坤 2 魏恩根·钦 2 肯托·埃莫托 2 本杰明·格雷戈里 2 胡镇江 2 赤马森田 2 科林·里巴 2 朱莉娅·萨皮娜 2 广中Ta 2 王蒙 2 翁淑春 2 弗洛里安·祖勒格 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 艾尔维拉·阿尔伯特 1 陈忠信 1 穆纳乔·埃切宁 1 圣地亚哥埃斯科瓦尔 1 塞巴斯蒂安·费舍尔 1 D.加兰。 1 格雷姆·恒河 1 萨米尔·根奈姆 1 纪尧姆·杰内斯蒂尔 1 吉尔根·吉斯尔 1 劳尔·古铁雷斯 1 奥利维尔·赫曼特 1 苏珊·霍维茨 1 稻田，Kazuhiro 1 拉杜·奥西夫 1 罗伯特·贾卢塞克 1 Jean-Pierre Jouannaud 1 Kakehi、Kazuhiko 1 马丁·科提尔巴 1 维克多·昆卡 1 Kusakari、Keiichirou 1 Le，Quang Loc公司 1 Le，Ton Chanh先生 1 Le，Xuan-Bach D。 1 林嘉茵 1 克里斯托夫·Löding 1 朱塞佩·隆戈 1 帕塔萨拉西马杜苏丹 1 恩里克·马丁·马汀 1 克里斯托夫·马提亚 1 松田和川 1 阿迪蒂亚·穆拉利 1 中野圭介 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 阮，Thanh-Toan 1 詹斯·佩格尔 1 尼古拉斯·佩尔蒂埃 1 卢卡斯·佩尼亚 1 J.瓜达卢佩·拉莫斯 1 阿尔伯特·鲁比奥 1 Masahiko酒井 1 桑兹，大卫 1 彼得·沙切特 1 乔治·斯特凡·施密德 1 伊利亚·谢尔盖 1 奥哈·什卡拉夫斯卡 1 乔塞普·席尔瓦 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 Masato Takeichi 1 雷内·蒂曼 1 马克·范·埃克伦 1 罗恩·范凯斯特伦 1 德国维达尔 1 伊娃·沃尔纳 1 Yong、Suan Xi 全部的 前5名16篇连载文章中引用 2 计算的形式方面 2 工程、通信和计算中的应用代数 2 函数编程杂志 2 高阶和符号计算 2 逻辑程序设计的理论与实践 1 计算机与数学及其应用 1 信息处理信件 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 国际并行程序设计杂志 1 系统设计中的形式化方法 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 计算机科学中的数学 1 程序设计中的逻辑与代数方法杂志 在4个字段中引用 32 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文