编辑配置文件（在新选项卡中打开） 布埃诺，弗朗西斯科 合著者距离 作者ID： 旧金山布埃诺 发布日期： 布埃诺，弗朗西斯科；布埃诺，F。 已编制索引的文档： 23出版物自1994年以来 合著者： 20位合著者具有22联合出版物 511合著作者 全部的 前5名合著者 1 单作者的 18 曼努埃尔五世（Manuel V.Hermenegildo）。 11 佩德罗·洛佩兹·加西亚 10 德国普埃布拉 4 玛丽亚·加西亚·德拉班达 三 卢特菲·达尔马万 2 曼纽尔·卡罗 2 金·万豪酒店 2 乌戈·蒙塔纳里。 2 何塞·弗朗西斯科·莫拉莱斯 2 弗朗西丝卡·罗西 2 彼得·詹姆斯·斯塔基 1 迈克尔·科迪什 1 科里亚斯，杰苏斯 1 马克西米利亚诺·克莱门 1 维塔利湖 1 乌默·利卡特 1 佩德罗·贝洛·洛佩兹 1 爱迪生·梅拉 1 卡利扬·穆图库马尔 1 克劳迪奥·沃切雷特 系列 2 计算机程序设计科学 2 逻辑程序设计杂志 2 逻辑程序设计理论与实践 1 新一代计算 领域 23 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用186中的次95文件 引用人▼ 年份▼ Ciao及其设计理念概述。 Zbl 1244.68019号 M.V.Hermenegildo。；布埃诺，F。；M.卡罗。；洛佩斯·加西亚。；E.梅拉。；J.F.莫拉莱斯。；G.普埃布拉。 45 2012 使用抽象解释（和Ciao系统预处理器）集成程序调试、验证和优化。 Zbl 1076.68540号 曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 39 2005 基于静态和动态断言的组合调试约束逻辑程序。 Zbl 0964.68016号 德国普埃布拉；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 20 2000 使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。 Zbl 0979.68554号 曼纽尔·赫尔梅内吉尔多；德国普埃布拉；布埃诺，弗朗西斯科 13 1999 针对受限、目标级、独立和并行的逻辑程序的编译时自动并行化。 兹伯利0927.68018 穆图库马尔，K。；布埃诺，F。；玛丽亚·加西亚·德拉班达；Hermenegildo，M。 12 1999 用于逻辑程序的更精确但有效的类型推断。 Zbl 1015.68033号 克劳迪奥·沃切雷特；布埃诺，弗朗西斯科 11 2002 逻辑程序共享分析的代数方法。 Zbl 0944.68029号 迈克尔·科迪什；维塔利湖；布埃诺，弗朗西斯科 6 2000 通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。 Zbl 1478.68170号 洛佩兹·加西亚，P。；Darmawan，L。；M.克莱门。；美国利卡特。；布埃诺，F。；M.V.Hermenegildo。 6 2018 使用模式和类型信息对逻辑程序进行确定性分析。 Zbl 1134.68334号 洛佩斯·加西亚。；布埃诺，F。；Hermenegildo，M。 6 2005 使用抽象解释（和Ciao系统预处理器）进行程序开发。 Zbl 1067.68544号 曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 5 2003 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 Zbl 1192.68130号 佩德罗·洛佩兹·加西亚；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 4 2010 原子和本地原子CC程序的部分顺序和上下文网络语义。 Zbl 0891.68057号 布埃诺，F。；Hermenegildo，M。；美国蒙塔纳里。；F.罗西。 4 1998 通过标准抽象解释进行多变量非失效分析。 兹比尔1122.68365 布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚；曼纽尔·赫尔梅内吉尔多 三 2004 验证和调试资源使用属性的框架：资源使用验证。 Zbl 1237.68045号 佩德罗·洛佩兹·加西亚；卢特菲·达尔马万；布埃诺，弗朗西斯科 2 2010 基于间隔的资源使用验证：形式化和原型。 Zbl 1367.68067号 佩德罗·洛佩兹·加西亚；卢特菲·达尔马万；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 2 2012 对共享而言，集合共享并不总是多余的。 Zbl 1122.68364号 布埃诺，弗朗西斯科；玛丽亚·加西亚·德拉班达 2 2004 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉；科里亚斯，杰苏斯；曼努埃尔五世（Manuel V.Hermenegildo）。；布埃诺，弗朗西斯科；玛丽亚·加西亚·德拉班达；金·万豪酒店；彼得·斯图基（Peter J.Stuckey）。 2 2004 模块间分析和优化编译的模型。 Zbl 1018.68501号 布埃诺，弗朗西斯科；玛丽亚·加西亚·德拉班达；曼纽尔·赫尔梅内吉尔多；金·万豪酒店；德国普埃布拉；彼得·斯图基（Peter J.Stuckey）。 1 2001 约束逻辑程序的抽象验证和调试。 Zbl 1023.68513号 曼纽尔·赫尔梅内吉尔多；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 1 2003 使用语义近似和部分规范进行程序调试和验证。 Zbl 1056.68509号 Hermenegildo，M。；普埃布拉，G。；布埃诺，F。；洛佩斯·加西亚。 1 2002 概述Ciao多半径语言和程序开发环境及其设计理念。 Zbl 1143.68379号 曼努埃尔五世（Manuel V.Hermenegildo）。；布埃诺，弗朗西斯科；曼纽尔·卡罗；佩德罗·洛佩兹；JoséF·莫拉莱斯。；普埃布拉，德国 1 2008 通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。 Zbl 1478.68170号 洛佩兹·加西亚，P。；达尔马万，L。；M.克莱门。；美国利卡特。；布埃诺，F。；M.V.Hermenegildo。 6 2018 Ciao及其设计理念概述。 Zbl 1244.68019号 M.V.Hermenegildo。；布埃诺，F。；M.卡罗。；洛佩斯·加西亚。；E.梅拉。；J.F.莫拉莱斯。；G.普埃布拉。 45 2012 基于间隔的资源使用验证：形式化和原型。 Zbl 1367.68067号 洛佩斯·加西亚，佩德罗；卢特菲·达尔马万；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 2 2012 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 Zbl 1192.68130号 佩德罗·洛佩兹·加西亚；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 4 2010 验证和调试资源使用属性的框架：资源使用验证。 Zbl 1237.68045号 佩德罗·洛佩兹·加西亚；卢特菲·达尔马万；布埃诺，弗朗西斯科 2 2010 概述Ciao多半径语言和程序开发环境及其设计理念。 Zbl 1143.68379号 曼努埃尔五世（Manuel V.Hermenegildo）。；布埃诺，弗朗西斯科；曼纽尔·卡罗；洛佩斯，佩德罗；JoséF·莫拉莱斯。；普埃布拉，德国 1 2008 使用抽象解释（和Ciao系统预处理器）集成程序调试、验证和优化。 Zbl 1076.68540号 曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 39 2005 使用模式和类型信息对逻辑程序进行确定性分析。 Zbl 1134.68334号 洛佩斯·加西亚。；布埃诺，F。；Hermenegildo，M。 6 2005 通过标准抽象解释进行多变量非失效分析。 Zbl 1122.68365号 布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚；曼纽尔·赫尔梅内吉尔多 三 2004 对共享而言，集合共享并不总是多余的。 Zbl 1122.68364号 布埃诺，弗朗西斯科；玛丽亚·加西亚·德拉班达 2 2004 模块化程序上下文敏感分析的通用框架。 兹比尔1080.68557 德国普埃布拉；科里亚斯，杰苏斯；曼努埃尔五世（Manuel V.Hermenegildo）。；布埃诺，弗朗西斯科；玛丽亚·加西亚·德拉班达；金·万豪酒店；彼得·斯图基（Peter J.Stuckey）。 2 2004 使用抽象解释（和Ciao系统预处理器）进行程序开发。 Zbl 1067.68544号 曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 5 2003 约束逻辑程序的抽象验证和调试。 Zbl 1023.68513号 曼纽尔·赫尔梅内吉尔多；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 1 2003 用于逻辑程序的更精确但有效的类型推断。 Zbl 1015.68033号 克劳迪奥·沃切雷特；布埃诺，弗朗西斯科 11 2002 使用语义近似和部分规范进行程序调试和验证。 Zbl 1056.68509号 Hermenegildo，M。；G.普埃布拉。；布埃诺，F。；洛佩斯·加西亚。 1 2002 模块间分析和优化编译的模型。 Zbl 1018.68501号 布埃诺，弗朗西斯科；玛丽亚·加西亚·德拉班达；曼纽尔·赫尔梅内吉尔多；金·万豪酒店；德国普埃布拉；彼得·斯图基（Peter J.Stuckey）。 1 2001 约束逻辑程序的基于静态和动态断言的组合调试。 Zbl 0964.68016号 德国普埃布拉；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 20 2000 逻辑程序共享分析的代数方法。 Zbl 0944.68029号 迈克尔·科迪什；维塔利湖；布埃诺，弗朗西斯科 6 2000 使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。 Zbl 0979.68554号 曼纽尔·赫尔梅内吉尔多；德国普埃布拉；布埃诺，弗朗西斯科 13 1999 针对受限、目标级、独立和并行的逻辑程序的编译时自动并行化。 兹伯利0927.68018 穆图库马尔，K。；布埃诺，F。；玛丽亚·加西亚·德拉班达；Hermenegildo，M。 12 1999 原子和局部原子CC程序的偏序和上下文网络语义。 Zbl 0891.68057号 布埃诺，F。；Hermenegildo，M。；美国蒙塔纳里。；F.罗西。 4 1998 所有引用出版物 前5名被引用出版物 全部的 前5名149位作者引用 34 曼努埃尔五世（Manuel V.Hermenegildo）。 15 何塞·弗朗西斯科·莫拉莱斯 12 曼纽尔·卡罗 12 佩德罗·洛佩兹·加西亚 8 约翰·加拉赫（John P.Gallagher）。 7 德国普埃布拉 5 艾尔维拉·阿尔伯特 5 华金·阿里亚斯 5 戈帕尔·古普塔 5 比肖克桑·卡夫 5 马克西米利亚诺·克莱门 4 伊莎贝尔·加西亚·孔特雷拉斯 4 阿尔贝托·佩特罗西 4 毛里齐奥·普罗埃蒂 三 阿里纳斯，普里 三 布埃诺，弗朗西斯科 三 阿马迪奥·卡萨斯 三 伊格纳西奥·卡索 三 维托尔·桑托斯·科斯塔 三 伊曼纽尔·德·安吉利斯 三 法比奥·菲奥拉万蒂 三 格雷姆·恒河 三 萨米尔·根奈姆 三 乌默·利卡特 三 豪尔赫·纳瓦斯（Jorge A.Navas）。 三 彼得·沙赫特 三 哈拉尔德·森德加德 三 彼得·詹姆斯·斯塔基 2 玛丽亚·阿尔普特 2 吉安卢卡·阿马托 2 保罗·巴尔丹 2 黛米斯·巴利斯 2 陈卓 2 德索特，贝诺特 2 马里奥弗洛里多 2 皮埃尔·甘蒂 2 罗伯塔·戈里 2 雷米·海默尔 2 马丁·霍夫曼 2 菲利普·科纳 2 Michael Leuschel先生 2 洛伦茨，Leutgeb 2 乔治·列维 2 乔治·莫瑟 2 恩里科·蓬泰利 2 朱莉娅·萨皮娜 2 汤姆·施里杰弗斯 2 弗朗西丝卡·斯科扎里 2 赫尔穆特·塞德尔 2 德国维达尔 2 拉尔夫·福格勒 2 弗洛里安·祖勒格 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 D.加兰。 1 迪帕克·加格 1 马可·加瓦内利 1 盖尔·乌斯，大卫 1 罗伯托·贾科巴齐 1 丹尼尔·卡贝扎（Daniel Cabeza），格拉斯（Gras） 1 顾天龙 1 阿里·古芬克尔 1 劳尔·古铁雷斯 1 迈克尔·哈纳斯 1 帕特里夏·M·希尔。 1 德拉甘·伊万诺维奇 1 伊桑·K·杰克逊。 1 安德鲁·肯尼迪。 1 迈克尔·基弗 1 塞巴斯蒂安·克林斯 1 维塔利湖 1 梁森林 …还有49位作者 全部的 前5名17篇连载文章中引用 38 逻辑程序设计理论与实践 6 理论计算机科学 4 新一代计算 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 1 计算 1 软件。实践与经验 1 计算机程序设计科学 1 自动推理杂志 1 国际近似推理杂志 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 函数编程杂志 1 约束条件 1 高阶和符号计算 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 94 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 按年份列出的引文