编辑配置文件（在新选项卡中打开） 罗伯特·巴格纳拉 合著者距离 作者ID： 巴格纳拉罗伯托 发布日期： 罗伯特·巴格纳拉 外部链接： 管理程序 已编制索引的文档： 30份出版物自1995年起 合著者： 19位合著者具有28联合出版物 142位合作作者 全部的 前5名合著者 2 单作者的 24 埃纳州扎法内拉 22 帕特里夏·M·希尔。 5 罗伯塔·戈里 三 伊丽莎·里奇 2 弗雷德·梅斯纳德 1 阿布拉莫·巴格纳拉 1 法比奥·比塞利 1 卡利埃、马蒂厄 1 米歇尔·齐亚里 1 迈克尔·科文顿。 1 凯蒂·多布森 1 阿尔诺·哥特利布 1 埃琳娜·马兹 1 马修·蒙代尔 1 理查德·奥基夫。 1 安德烈亚·佩切蒂 1 西蒙·普莱斯 1 恩里克·罗德里格斯-卡博内尔 1 Wielemaker，简 全部的 前5名系列 6 逻辑程序设计理论与实践 2 理论计算机科学 2 计算机程序设计科学 2 信息与计算 1 计算的形式方面 1 计算几何 1 SIAM审查 1 系统设计中的形式化方法 1 约束条件 1 信息计算杂志 领域 28 计算机科学（68至XX） 5 凸和离散几何（52至XX） 4 数值分析（65-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用198中的次124文件 引用人▼ 年份▼ 一种改进的整数八边形约束的紧闭包算法。 Zbl 1138.68474号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 17 2008 数字抽象的弱关联形状：改进的算法和正确性证明。 兹比尔1185.68405 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 16 2009 可能不是闭合凸多面体和Parma多面体库。 Zbl 1015.68215号 罗伯特·巴格纳拉；伊丽莎·里奇；埃纳州扎法内拉；帕特里夏·M·希尔。 15 2002 凸多面体的精确加宽算子。 兹比尔1088.68173 罗伯特·巴格纳拉；帕特里夏·M·希尔。；伊丽莎·里奇；埃纳州扎法内拉 15 2005 不一定是闭凸多面体和双重描述方法。 Zbl 1101.68674号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 15 2005 基于约束逻辑的语言的数据流分析的约束系统层次结构。 Zbl 0891.68056号 罗伯特·巴格纳拉 12 1998 弱关系数值抽象的加宽运算符。 Zbl 1141.68445号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃琳娜·马兹；埃纳州扎法内拉 11 2005 多面体计算在硬件和软件系统分析和验证中的应用。 Zbl 1187.68311号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 10 2009 使用凸多面体生成基本半代数不变量。 Zbl 1141.68446号 罗伯特·巴格纳拉；恩里克·罗德里格斯-卡博内尔；埃纳州扎法内拉 8 2005 集共享对于对共享来说是多余的。 Zbl 0997.68021号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 8 2002 线性排序函数自动合成的新观点。 兹比尔1251.68073 罗伯特·巴格纳拉；弗雷德·梅斯纳德；安德烈亚·佩切蒂；埃纳州扎法内拉 8 2012 增强的共享分析技术：综合评估。 Zbl 1093.68015号 罗伯特·巴格纳拉；埃纳州扎法内拉；帕特里夏·M·希尔。 7 2005 cTI：用于ISO-PROLOG的基于约束的终止推理工具。 Zbl 1093.68559号 弗雷德·梅斯纳德；罗伯特·巴格纳拉 7 2005 网格：用于分析数值分布的域。 Zbl 1196.68042号 罗伯特·巴格纳拉；凯蒂·多布森；帕特里夏·M·希尔。；马修·蒙代尔；埃纳州扎法内拉 6 2007 集共享、自由和线性的正确、精确和高效集成，用于分析有限树语言和有理树语言。 Zbl 1088.68027号 帕特里夏·M·希尔。；埃纳州扎法内拉；罗伯特·巴格纳拉 6 2004 扩展powerset域的运营商。 Zbl 1202.68242号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 6 2004 凸多面体的精确加宽运算符。 Zbl 1067.68578号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；伊丽莎·里奇；埃纳州扎法内拉 5 2003 Jacobi方法和Gauss-Seidel方法收敛性的统一证明。 Zbl 0824.65013号 罗伯特·巴格纳拉 5 1995 集共享的稳健性、幂等性和交换性。 Zbl 1087.68530号 帕特里夏·M·希尔。；罗伯特·巴格纳拉；埃纳州扎法内拉 4 2002 扩大共享。 Zbl 0956.68023号 埃纳州扎法内拉；罗伯特·巴格纳拉；帕特里夏·M·希尔。 4 1999 利用二进制浮点表示进行约束传播。 Zbl 1357.68010号 罗伯特·巴格纳拉；卡利埃、马蒂厄；罗伯塔·戈里；阿尔诺·哥特利布 三 2016 凸多面体和其他数值抽象的精确连接检测。 Zbl 1187.65018号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 2 2010 Prolog的编码指南。 Zbl 1255.68049号 迈克尔·科文顿。；罗伯特·巴格纳拉；理查德·奥基夫。；Wielemaker，简；西蒙·普莱斯 2 2012 基于约束逻辑的语言的有限元树分析。 兹比尔1088.68025 罗伯特·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2004 基于约束逻辑的语言的有限元树分析。 Zbl 0997.68510号 罗伯特·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2001 实际CLP语言的有效结构信息分析。 Zbl 0988.68035号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2000 通过互补分解非冗余共享。 Zbl 1087.68535号 埃纳州扎法内拉；帕特里夏·M·希尔。；罗伯特·巴格纳拉 1 2002 用于有限树依赖关系的布尔函数。 Zbl 1275.68043号 罗伯特·巴格纳拉；埃纳州扎法内拉；罗伯塔·戈里；帕特里夏·M·希尔。 1 2001 通过互补分解非冗余共享。 Zbl 0957.68057号 埃纳州扎法内拉；帕特里夏·M·希尔。；罗伯特·巴格纳拉 1 1999 利用二进制浮点表示进行约束传播。 Zbl 1357.68010号 罗伯特·巴格纳拉；卡利埃、马蒂厄；罗伯塔·戈里；阿尔诺·哥特利布 三 2016 对线性排序函数的自动合成进行了新的研究。 Zbl 1251.68073号 罗伯特·巴格纳拉；弗雷德·梅斯纳德；安德烈亚·佩切蒂；埃纳州扎法内拉 8 2012 Prolog的编码指南。 Zbl 1255.68049号 迈克尔·科文顿。；罗伯特·巴格纳拉；运营；理查德·基夫（Richard A.Keefe）。；Wielemaker，简；西蒙·普莱斯 2 2012 凸多面体和其他数值抽象的精确连接检测。 Zbl 1187.65018号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 2 2010 数字抽象的弱关联形状：改进的算法和正确性证明。 兹比尔1185.68405 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 16 2009 多面体计算在硬件和软件系统分析和验证中的应用。 Zbl 1187.68311号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 10 2009 一种改进的整数八边形约束的紧闭包算法。 Zbl 1138.68474号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 17 2008 网格：用于分析数值分布的一个领域。 Zbl 1196.68042号 罗伯特·巴格纳拉；凯蒂·多布森；帕特里夏·M·希尔。；马修·蒙代尔；埃纳州扎法内拉 6 2007 凸多面体的精确加宽算子。 兹比尔1088.68173 罗伯特·巴格纳拉；帕特里夏·M·希尔。；伊丽莎·里奇；埃纳州扎法内拉 15 2005 不一定是闭凸多面体和双重描述方法。 Zbl 1101.68674号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 15 2005 弱关系数值抽象的加宽运算符。 Zbl 1141.68445号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃琳娜·马兹；埃纳州扎法内拉 11 2005 使用凸多面体生成基本半代数不变量。 Zbl 1141.68446号 罗伯特·巴格纳拉；恩里克·罗德里格斯-卡博内尔；埃纳州扎法内拉 8 2005 增强共享分析技术：全面评估。 Zbl 1093.68015号 罗伯特·巴格纳拉；埃纳州扎法内拉；帕特里夏·M·希尔。 7 2005 cTI：用于ISO-PROLOG的基于约束的终止推理工具。 Zbl 1093.68559号 弗雷德·梅斯纳德；罗伯特·巴格纳拉 7 2005 集共享、自由和线性的正确、精确和高效集成，用于分析有限树语言和有理树语言。 Zbl 1088.68027号 帕特里夏·M·希尔。；埃纳州扎法内拉；罗伯特·巴格纳拉 6 2004 扩展powerset域的运营商。 Zbl 1202.68242号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 6 2004 基于约束逻辑的语言的有限元树分析。 兹比尔1088.68025 罗伯特·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2004 凸多面体的精确加宽算子。 Zbl 1067.68578号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；伊丽莎·里奇；埃纳州扎法内拉 5 2003 可能不是封闭凸多面体和Parma多面体库。 Zbl 1015.68215号 罗伯特·巴格纳拉；伊丽莎·里奇；埃纳州扎法内拉；帕特里夏·M·希尔。 15 2002 集共享对于对共享来说是多余的。 Zbl 0997.68021号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 8 2002 集共享的稳健性、幂等性和交换性。 Zbl 1087.68530号 帕特里夏·M·希尔。；罗伯特·巴格纳拉；埃纳州扎法内拉 4 2002 通过互补分解非冗余共享。 Zbl 1087.68535号 埃纳州扎法内拉；帕特里夏·M·希尔。；罗伯特·巴格纳拉 1 2002 基于约束逻辑的语言的有限元树分析。 Zbl 0997.68510号 罗伯特·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2001 用于有限树依赖关系的布尔函数。 Zbl 1275.68043号 罗伯特·巴格纳拉；埃纳州扎法内拉；罗伯塔·戈里；帕特里夏·M·希尔。 1 2001 实际CLP语言的有效结构信息分析。 Zbl 0988.68035号 罗伯特·巴格纳拉；帕特里夏·M·希尔。；埃纳州扎法内拉 1 2000 扩大共享。 Zbl 0956.68023号 埃纳州扎法内拉；罗伯特·巴格纳拉；帕特里夏·M·希尔。 4 1999 通过互补分解非冗余共享。 Zbl 0957.68057号 埃纳州扎法内拉；帕特里夏·M·希尔。；罗伯特·巴格纳拉 1 1999 基于约束逻辑的语言的数据流分析的约束系统层次结构。 Zbl 0891.68056号 罗伯特·巴格纳拉 12 1998 Jacobi和Gauss-Seidel方法收敛性的统一证明。 Zbl 0824.65013号 罗伯特·巴格纳拉 5 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名230位作者引用 12 埃纳州扎法内拉 9 罗伯特·巴格纳拉 8 国王，安迪 7 吉安卢卡·阿马托 7 克里希纳·苏布拉马尼 7 Wojciechowski，Piotr J。 6 帕特里夏·M·希尔。 6 弗朗西丝卡·斯科扎里 5 埃克塞尔·西蒙 4 萨米尔·根奈姆 4 曼努埃尔五世（Manuel V.Hermenegildo）。 4 安托万·米内 4 桑卡拉纳拉亚南，斯里拉姆 三 阿米尔·本·阿姆拉姆。 三 Jörg Brauer 三 查克拉波蒂，苏普拉特克 三 帕特里克·库索特 三 丹尼·德·施雷耶 三 约翰·加拉赫（John P.Gallagher）。 三 罗伯塔·戈里 三 巴加夫·古拉瓦尼。 2 艾尔维拉·阿尔伯特 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 拉玛斯瓦米·钱德拉塞卡兰 2 阿齐姆·查德哈里 2 陈丽倩 2 马可·科米尼 2 阿戈斯蒂诺·科尔特斯 2 玛丽亚·德尔马·加拉多 2 曼努埃尔·Fähndrich 2 尼古拉斯·哈尔巴赫斯 2 雅各布·M·豪。 2 菲利普·科纳 2 斯特凡·科瓦列夫斯基 2 金·古德斯特兰·拉森 2 莱姆，迪迪埃 2 弗朗西斯科·洛戈佐 2 鲁，齐 2 Maria Chiara Meo女士 2 大卫·莫尼奥（David P.Monniaux）。 2 哈桑·莫塔列比 2 阿迪蒂亚·维塔尔·诺里 2 Rajamani，Sriram K。 2 奥利维尔·H·鲁克斯。 2 赫尔穆特·塞德尔 2 夏洛特·塞纳 2 劳拉·蒂托洛 2 艾丽西亚·维拉纽埃娃 2 Voets，院长 2 王，季 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 Matthieu Carlier先生 1 胡安·安东尼奥·卡拉斯科 1 米歇尔·齐亚里 1 A.V.丘尔金。 1 乔瓦尼·西亚托 1 亚历山德罗·西马蒂 1 迈克尔·科隆。 1 维托尔·桑托斯·科斯塔 1 朱利娅·科斯坦蒂尼 1 拉迪亚·库索特 1 维罗妮卡·达尔 1 Thao Dang先生 1 伊娃·达鲁洛娃 1 丹尼尔·迪亚兹 1 杜梅内克，杰苏斯·J·。 1 阿戈斯蒂诺·多维尔 1 德拉本特，Włodzimierz 1 利昂·埃夫勒 1 长者，马修 1 马可·费拉 1 乌里·法伦贝格 1 方、斌 1 杰罗姆·费雷特 1 皮埃特罗·费拉拉 1 安德烈亚·福米萨诺 1 斯蒂芬妮·福雷斯特 …还有130多名作者 全部的 前5名36篇连载文章中引用 10 系统设计中的形式化方法 9 理论计算机科学 7 信息与计算 7 逻辑程序设计理论与实践 三 高阶和符号计算 2 应用数学与计算 2 计算机程序设计科学 2 符号计算杂志 2 算法 2 自动推理杂志 2 计算机语言、系统和结构 2 计算机科学中的逻辑方法 1 人工智能 1 计算机和流体 1 离散应用数学 1 信息处理信件 1 计算物理学杂志 1 ACM数学软件汇刊 1 最优化理论与应用杂志 1 计算的形式方面 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 SIAM科学计算杂志 1 数学与人工智能年鉴 1 约束条件 1 信息计算杂志 1 优化方法和软件 1 组合优化期刊 1 美国计算机学会期刊 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑汇刊 1 计算机科学中的数学 1 非线性分析。混合动力系统 1 计算机科学前沿 全部的 前5名在14个字段中引用 108 计算机科学（68至XX） 17 运筹学、数学规划（90-XX） 13 数值分析（65-XX） 11 凸和离散几何（52至XX） 5 数学逻辑和基础（03-XX） 4 系统论；控制（93至XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 常微分方程（34-XX） 1 变分法与最优控制；最优化（49至XX） 1 概率论与随机过程（60-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 按年份列出的引文