编辑配置文件（在新选项卡中打开） 邱宗燕 合著者距离 作者ID： 邱宗岩 发布日期： 邱宗彦;邱宗燕 已编制索引的文档： 16出版物自1992年起 合著者： 17合著者具有14联合出版物 466位合作作者 全部的 前5名合著者 1 单作者的 5 何继峰 4 王淑玲 三 龙，权 三 浦、葛光 2 雷，锦江 2 刘一静 2 刘志明 2 秦胜超 2 舒、秦 2 张乃晓 1 伯格伦德 1 约翰·理查德·埃利斯 1 阿隆·法拉吉（Alon E.Faraggi）。 1 洪丹凡 1 刘晓建 1 Dimitri V.纳米普洛斯。 1 邵玲霜 1 徐殿燕 1 易、王 1 赵亮 1 赵祥鹏 全部的 前5名系列 2 计算的形式方面 1 国际现代物理杂志A 1 国际理论物理杂志 1 计算机科学与技术杂志 1 计算机科学科学年鉴 1 中国计算机科学前沿 1 计算机科学前沿 全部的 前5名字段 13 计算机科学（68至XX） 2 相对论和引力理论（83至XX） 1 数学逻辑和基础（03-XX） 1 代数几何（14-XX） 1 微分几何（53至XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用13次11文件 引用人▼ 年份▼ 关于将自由费米子（mathbb Z_2）orbifolds模型提升为F理论的紧化。 Zbl 1049.81579号 伯格伦德，P。;J·埃利斯。;法拉吉，A.E。;Nanopoulos，D.V.公司。;邱，Z。 12 2000 类似BPEL4WS的故障和补偿处理的语义。 Zbl 1120.68324号 邱宗燕;王淑玲;浦、葛光;赵祥鹏 5 2005 面向对象优化的图形转换。 Zbl 1165.68025号 赵亮;刘晓建;刘志明;邱宗燕 三 2009 一种代数硬件/软件划分算法。 Zbl 1005.68182号 秦胜超;何继峰;邱宗燕;张乃晓 2 2002 限制和局部性定理的语义模型。 Zbl 1267.68091号 王淑玲;蜀、秦;刘一静;邱宗燕 1 2010 Verilog中的硬件/软件分区。 Zbl 1015.68687号 秦胜超;何继峰;邱宗燕;张乃晓 1 2002 FJ和FGJ的类型安全。 Zbl 1168.68346号 王淑玲;龙、泉;邱宗燕 1 2006 限制和局部性定理的语义模型。 Zbl 1267.68091号 王淑玲;舒、秦;刘一静;邱宗燕 1 2010 面向对象优化的图形转换。 Zbl 1165.68025号 赵亮;刘晓建;刘志明;邱宗燕 三 2009 FJ和FGJ的类型安全。 Zbl 1168.68346号 王淑玲;龙，权;邱宗燕 1 2006 类似BPEL4WS的故障和补偿处理的语义。 Zbl 1120.68324号 邱宗燕;王淑玲;浦、葛光;赵祥鹏 5 2005 一种代数硬件/软件划分算法。 Zbl 1005.68182号 秦胜超;何继峰;邱宗彦;张乃晓 2 2002 Verilog中的硬件/软件分区。 Zbl 1015.68687号 秦胜超;何继峰;邱宗彦;张乃晓 1 2002 关于将自由费米子（mathbb Z_2）orbifolds模型提升为F理论的紧化。 Zbl 1049.81579号 伯格伦德，P。;J·埃利斯。;法拉吉，A.E。;Nanopoulos，D.V.公司。;邱，Z。 12 2000 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 三 刘志明 三 王淑玲 2 柯伟 2 邱宗燕 2 赵亮 1 瓦西里·阿拉伊巴 1 安德烈·特凡 1 蔡超 1 魏恩根·钦 1 董汝珍 1 约翰·法伯 1 何继峰 1 杨洪丽 1 朱利亚诺·伊尤达 1 亚历山德罗·拉帕杜拉 1 刘熙 1 克里斯蒂安·马萨拉古 1 胡安·伊格纳西奥·佩尔纳 1 罗萨里奥·普格利泽 1 秦胜超 1 奥古斯托·桑帕约。 1 舒、秦 1 弗朗西斯科·蒂埃齐 1 詹姆斯·C·P·伍德科克。 1 赵祥鹏 1 徐启文 1 杨绍发 1 张乃晓 1 赵永新 1 朱慧彪 1 朱龙飞 1 邱宗燕 5篇连载文章中引用 2 计算的形式方面 2 计算机科学前沿 1 信息学报 1 计算机科学与技术杂志 1 系统设计中的形式化方法 在3个字段中引用 11 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文